Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Thomas J. Weigert, Jeffrey J. P. Tsai	A Computationally Tractable Nonmonotonic Logic.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	computationally tractable nonmonotonic logic, nonmonotonic reasoning procedures, proof theoretically, semantic characteristics, Herbrand subset, knowledge representation, logic programming, logic programming, reasoning, nonmonotonic reasoning, incomplete information, formal logic, first-order predicate logic
22	Darrell Conklin, Suzanne Fortier, Janice I. Glasgow	Knowledge Discovery in Molecular Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	chemical information retrieval, spatial concepts, structured concept formation, molecular databases, machine learning paradigm, symbolic images, molecular knowledge base, high resolution electron density map, factographic databases, learning (artificial intelligence), relational databases, indexing, knowledge discovery, description logics, knowledge base, case-based reasoning, case-based reasoning, deductive databases, spatial reasoning, visual databases, relational models, scene analysis, conceptual clustering, chemistry computing
22	Shujun Zhang, Geoffrey D. Sullivan, Keith D. Baker	The Automatic Construction of a View-Independent Relational Model for 3-D Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	view-independent relational model, single monochromatic images, statistical interference, primitive 2-D features, hyperedges, procedural constraints, covisibility measures, computer vision, graph theory, CAD, statistics, spatial reasoning, spatial reasoning, hypergraph, relational model, vision system, CAD model, geometric reasoning, best-first search, 3-D object recognition
22	Raghu Karinthi, Dana S. Nau	An Algebraic Approach to Feature Interactions.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	geometric interactions, Protosolid solid modeling system, EFHA process planning system, solid modelling, algebra, spatial reasoning, spatial reasoning, feature interactions, CAD/CAM, CAD/CAM, geometric reasoning, algebraic approach, CAD systems
22	Kaibo Xu, Junkang Feng, Malcolm K. Crowe	Defining the notion of 'Information Content' and reasoning about it in a database.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Semantic information theory, Reasoning, Inference rules, Information content, Data semantics
22	Paul-Eric Dossou, Philip Mitchell	Implication of Reasoning in GRAIXPERT for Modeling Enterprises.	IWANN (2)	2009	DBLP DOI BibTeX RDF	performance, Expert system, Case-Based Reasoning, rules, reference models, enterprise modelling
22	Kenneth L. Knowles, Cormac Flanagan	Compositional reasoning and decidable checking for dependent contract types.	PLPV	2009	DBLP DOI BibTeX RDF	refinement types, abstraction, dependent types, compositional reasoning
22	Anna Queralt, Ernest Teniente	Reasoning on UML Conceptual Schemas with Operations.	CAiSE	2009	DBLP DOI BibTeX RDF	operation contracts, Conceptual modeling, automatic reasoning
22	Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin	Precise pointer reasoning for dynamic test generation.	ISSTA	2009	DBLP DOI BibTeX RDF	pointer reasoning, software testing, program verification, automatic test generation
22	Seungmin Rho, Seheon Song, Eenjun Hwang, Minkoo Kim	COMUS: Ontological and Rule-Based Reasoning for Music Recommendation System.	PAKDD	2009	DBLP DOI BibTeX RDF	Ontology, Reasoning, Music Recommendation
22	A. Prasanna Jagadeesan, A. Lynn, Jonathan R. Corney, Xiu-Tian Yan 0001, Jan Wenzel, Andrew Sherlock, William C. Regli	Geometric reasoning via internet CrowdSourcing.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	2D strip packing, 3D similarity, canonical view, mTurk, micro-outsourcing, crowdsourcing, geometric reasoning
22	Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer	Children's Application of Theory of Mind in Reasoning and Language.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	False belief, Second-order reasoning, Sentence comprehension, Theory of Mind, Strategic game
22	Antony Tang, Minh H. Tran, Jun Han 0004, Hans van Vliet	Design Reasoning Improves Software Design Quality.	QoSA	2008	DBLP DOI BibTeX RDF	Design Reasoning, Usability, Software Architecture Design
22	Emanuele Della Valle, Stefano Ceri, Davide Francesco Barbieri, Daniele Braga, Alessandro Campi	A First Step Towards Stream Reasoning.	FIS	2008	DBLP DOI BibTeX RDF	Real-time, Pervasive Computing, Data Streams, Reasoning, Urban Computing, Throughput-efficiency
22	Hiromi Miyajima, Noritaka Shigei, Shinya Fukumoto, Toshiaki Miike	Parallel Fuzzy Reasoning Models with Ensemble Learning.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Fuzzy reasoning model, AdaBoost, Ensemble learning, Parallel model
22	Kayo Sakamoto, Masanori Nakagawa	A Computational Model of Risk-Context-Dependent Inductive Reasoning Based on a Support Vector Machine.	LKR	2008	DBLP DOI BibTeX RDF	corpus-based conceptual clustering, Support Vector Machines, context, natural language processing, risk, inductive reasoning
22	José Viterbo Filho, Markus Endler	A strategy for cooperative reasoning in ubiquitous computing environments.	MPAC	2008	DBLP DOI BibTeX RDF	cooperative reasoning, ubiquitous computing, middleware
22	Arda Goknil, Ivan Kurtev, Klaas van den Berg	A Metamodeling Approach for Reasoning about Requirements.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	requirements metamodels, model customization, reasoning
22	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
22	Dong-Her Shih, Hsiu-Sen Chiang, Binshan Lin	A Generalized Associative Petri Net for Reasoning.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Data mining, Ontology, Petri net, Association rule, Reasoning
22	Minghu Ha 0001, Yan Li 0003, Xiao-Feng Wang	Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning
22	Jeroen Keppens	Towards qualitative approaches to Bayesian evidential reasoning.	ICAIL	2007	DBLP DOI BibTeX RDF	qualitative probabilistic networks, evidential reasoning
22	Thomas F. Gordon	Constructing arguments with a computational model of an argumentation scheme for legal rules: interpreting legal rules as reasoning policies.	ICAIL	2007	DBLP DOI BibTeX RDF	computational models of legal reasoning and argumentation, legal knowledge-based systems
22	Yalin Zheng, Huaqiang Yuan, Jing Zheng, Guang Yang 0002, Yongcheng Bai	Similarity Mass and Approximate Reasoning.	ICFIE	2007	DBLP DOI BibTeX RDF	Formula Mass, Knowledge Mass, ??logic, ??algorithm, ??completeness, Approximate Reasoning
22	Lin Lin, Xue-Hai Yuan	A Method of Intuitionistic Fuzzy Reasoning Based on Inclusion Degree and Similarity Measure.	ICFIE	2007	DBLP DOI BibTeX RDF	Intuitionistic fuzzy reasoning, Inclusion degree, Similarity measure, Intuitionistic fuzzy sets
22	Alberto Fernández 0001, Salvador García 0001, Francisco Herrera, María José del Jesus	An Analysis of the Rule Weights and Fuzzy Reasoning Methods for Linguistic Rule Based Classification Systems Applied to Problems with Highly Imbalanced Data Sets.	WILF	2007	DBLP DOI BibTeX RDF	rule weight, Fuzzy Reasoning Method, Imbalanced Data-sets, Over-sampling, Fuzzy Rule Based Classification Systems
22	Kayo Sakamoto, Masanori Nakagawa	Risk Context Effects in Inductive Reasoning: An Experimental and Computational Modeling Study.	CONTEXT	2007	DBLP DOI BibTeX RDF	corpus-based conceptual clustering, Support Vector Machines, natural language processing, categorization, risk, inductive reasoning
22	Rosella Gennari, Ornella Mich	Constraint-Based Temporal Reasoning for E-Learning with LODE.	CP	2007	DBLP DOI BibTeX RDF	automated temporal reasoning, e-learning, assistive technology, constraint programming
22	Tuan Trung Nguyen	Outlier Detection: An Approximate Reasoning Approach.	RSEISP	2007	DBLP DOI BibTeX RDF	rough set, Outlier, granular computing, approximate reasoning, concept approximation
22	Todor Dimitrov, Josef Pauli, Edwin Naroska	A probabilistic reasoning framework for smart homes.	MPAC	2007	DBLP DOI BibTeX RDF	man-in-the-loop analysis, pervasive computing, ambient intelligence, Bayesian inference, probabilistic reasoning
22	Clemens Holzmann	Rule-based reasoning about qualitative spatiotemporal relations.	MPAC	2007	DBLP DOI BibTeX RDF	rule-based reasoning, spatial context, spatiotemporal relations, qualitative representation
22	Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.	ICFP	2006	DBLP DOI BibTeX RDF	languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
22	Yuli Gao, Jianping Fan 0001	Incorporating concept ontology to enable probabilistic concept reasoning for multi-level image annotation.	Multimedia Information Retrieval	2006	DBLP DOI BibTeX RDF	hierarchical probabilistic image concept reasoning, multi-level image annotation, bayesian network, concept ontology
22	Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits	Reasoning about evolving nonmonotonic knowledge bases.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
22	Jianmin Pang, Paul Callaghan, Zhaohui Luo	LFTOP: An LF-Based Approach to Domain-Specific Reasoning.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	type theory, logical framework, proof assistant, domain-specific, formal reasoning
22	Quoc Bao Vo, Norman Y. Foo, Joe Thurbon	Semantics for a theory of defeasible reasoning.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	argument-based systems, argumentation-theoretic semantics, defeat, justification, defeasible reasoning
22	Hung Son Nguyen	Approximate Boolean Reasoning Approach to Rough Sets and Data Mining.	RSFDGrC (2)	2005	DBLP DOI BibTeX RDF	boolean reasoning, data mining, Rough sets
22	Qing Liu, Qianying Wang	Granular Logic with Closeness Relation "~lambda" and Its Reasoning.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	Closeness relation, Granular logic, closeness degree, Deductive Reasoning
22	Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen, Jan Treur	An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning.	AOIS	2005	DBLP DOI BibTeX RDF	Meta-reasoning, intelligent agent systems, planning
22	Zhaohao Sun, Gavin R. Finnie	MEBRS: A Multiagent Architecture for an Experience Based Reasoning System.	KES (1)	2005	DBLP DOI BibTeX RDF	Experience-based reasoning, knowledge-based system, multiagent system, experience management
22	Wiebe van der Hoek, Wojciech Jamroga, Michael J. Wooldridge	A logic for strategic reasoning.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent systems, game theory, modal logic, strategic reasoning
22	Daowu Pei	On the strict logic foundation of fuzzy reasoning.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Fuzzy predicate logic, First-order system K, Many-sort system Kms, Triple I inference method, Fuzzy reasoning
22	Leiguang Gong	Can web-based recommendation systems afford deep models: a context-based approach for efficient model-based reasoning.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	model, recommendation systems, context, reasoning, semantic network
22	Changlin Sun	Empirical reasoning about quality of service of component-based distributed systems.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	quality of service, component-based development, compositional reasoning
22	Zaiyue Zhang, Yuefei Sui, Cungen Cao	Fuzzy Reasoning Based on Propositional Modal Logic.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	propositional modal logic, fuzzy assertion, fuzzy reasoning
22	Lech Polkowski	Rough Mereology: A Survey of New Developments with Applications to Granular Computing, Spatial Reasoning and Computing with Words.	RSFDGrC	2003	DBLP DOI BibTeX RDF	rough sets, spatial reasoning, granular computing, Rough mereology, computing with words
22	Mohamed Chachoua, Daniel Pacholczyk	Qualitative Reasoning Under Ignorance and Information-Relevant Extraction.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Informational relevance, Symbolic entropy, Artificial intelligence, Knowledge representation, Many-valued logic, Qualitative reasoning, Uncertainty management, Ignorance
22	Emilia Mendes, Nile Mosley, Ian D. Watson	A comparison of case-based reasoning approaches.	WWW	2002	DBLP DOI BibTeX RDF	web effort prediction, web hypermedia, web hypermedia metrics, case-based reasoning, prediction models
22	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
22	Mohand-Said Hacid, Jean-Marc Petit, Farouk Toumani	Representing and Reasoning on Database Conceptual Schemas.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Artificial intelligence in databases, Information capacity, Conceptual modeling, Description logics, Reasoning
22	Churn-Jung Liau, Y. Y. Yao	Information Retrieval by Possibilistic Reasoning.	DEXA	2001	DBLP DOI BibTeX RDF	Similarity-based reasoning, Description logic, Possibilistic logic, Boolean models
22	Jos Lehmann	Towards the Formalization of Legal Causal Reasoning.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	AI&Law, legal knowledge systems, agent causation, formal ontology, causal reasoning
22	Lina Khatib, Robert A. Morris 0001	Generating Scenarios for Periodic Events with Binary Constraints.	TIME	1999	DBLP DOI BibTeX RDF	knowledge representation, constraint satisfaction, temporal reasoning
22	Stefano A. Cerri, Vincenzo Loia	A Concurrent, Distributed Architecture for Diagnostic Reasoning.	User Model. User Adapt. Interact.	1997	DBLP DOI BibTeX RDF	ABCL/1 programming language, actors, student modeling, concurrent object-oriented programming, diagnostic reasoning, actor model
22	Didar Zowghi, Ray Offen	A Logical Framework for Modeling and Reasoning About the Evolution of Requirements.	RE	1997	DBLP DOI BibTeX RDF	meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution
22	Todd Law, Hidenori Itoh, Hirohisa Seki	Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	edge detection, filtering, tracing, joins, Fuzzy reasoning
22	Shin Nakamura, Eiji Uchino, Takeshi Yamakawa	Fuzzy reasoning method for smooth interpolation.	ANNES	1995	DBLP DOI BibTeX RDF	smooth interpolation, fuzzy reasoning method, neighboring data, data pairs, practical data, simulation, interpolation, digital simulation, inference mechanisms, fuzzy set theory, computer simulations, fuzzy rule, humans, fluctuation
22	Raj Bhatnagar, Laveen N. Kanal	Structural and Probabilistic Knowledge for Abductive Reasoning.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	structural knowledge, qualitative relationships learning, probabilistic knowledge, learning (artificial intelligence), knowledge engineering, inference mechanisms, explanation, probabilistic logic, abductive reasoning, conditional entropy
22	Isabelle Bloch	Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning.	ECSQARU	2009	DBLP DOI BibTeX RDF	Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations
22	Stephen Lee-Urban, Héctor Muñoz-Avila	Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions.	ICCBR	2009	DBLP DOI BibTeX RDF	adaptation, planning, retrieval, cased-based reasoning, trade-offs
22	Albert Fornells, Juan A. Recio-García, Belén Díaz-Agudo, Elisabet Golobardes, Eduard Fornells	Integration of a Methodology for Cluster-Based Retrieval in jColibri.	ICCBR	2009	DBLP DOI BibTeX RDF	CBR Tools, Cluster Based Memory, Case Memory Organization, Soft Case-Based Reasoning, Textual CBR, jCOLIBRI
22	Dominik Lücke, Till Mossakowski, Diedrich Wolter	Qualitative Reasoning about Convex Relations.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	Qualitative spatio-temporal reasoning, relative orientation calculi, consistency
22	Marios N. Avraamides, Stephanie Pantelidou	Does Body Orientation Matter When Reasoning about Depicted or Described Scenes?.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	body orientation, sensorimotor interference, spatial reasoning, perspective-taking
22	Petra Perner	Case-Based Reasoning and the Statistical Challenges.	ECCBR	2008	DBLP DOI BibTeX RDF	CBR Meta-learning, Image Processing, Signal Processing, Similarity, Case-Based Reasoning, Incremental Learning, Memory Organization
22	Pedro Almeida, Marco Jorge, Luís Cortesão, Filipe Martins, Marco Vieira, Paulo Gomes	Supporting Fraud Analysis in Mobile Telecommunications Using Case-Based Reasoning.	ECCBR	2008	DBLP DOI BibTeX RDF	telecommunication fraud, case-based reasoning, fraud detection
22	Marios N. Avraamides, Melina-Nicole Kyranidou	Sensorimotor Interference When Reasoning About Described Environments.	Spatial Cognition	2006	DBLP DOI BibTeX RDF	alignment effect, sensorimotor interference, Spatial reasoning
22	Reinhard Moratz, Bernhard Nebel, Christian Freksa	Qualitative Spatial Reasoning about Relative Position: The Tradeoff between Strong Formal Properties and Successful Reasoning about Route Graphs.	Spatial Cognition	2003	DBLP DOI BibTeX RDF	Cognitive Modelling, Robot Navigation, Qualitative Spatial Reasoning
22	Mazen El-Sayed, Daniel Pacholczyk	Reasoning under Vagueness Expressed by Nuanced Statements.	ECSQARU	2003	DBLP DOI BibTeX RDF	multiset theory, many-valued logic, vagueness, knowledge representation and reasoning, imprecision
22	Nicoleta Neagu, Boi Faltings	Exploiting Interchangeabilities for Case Adaptation.	ICCBR	2001	DBLP DOI BibTeX RDF	case adaptation, case-based reasoning, constraint satisfaction problems, interchangeability
22	Ján Sefránek	Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning
22	Robert A. Morris 0001, Lina Khatib	Optimization in Constraint Reasoning about Repeating Events.	TIME	1999	DBLP DOI BibTeX RDF	knowledge representation, constraint satisfaction, temporal reasoning
22	Michael J. Almeida	A System for Reasoning with Nonconvex Intervals.	TIME	1999	DBLP DOI BibTeX RDF	convex interval, nonconvex interval, temporal reasoning
22	Mario Lenz	Defining Knowledge Layers for Textual Case-Based Reasoning.	EWCBR	1998	DBLP DOI BibTeX RDF	Textual CBR, Case-Based Reasoning, Intelligent Information Retrieval
21	Ron Rood	The Logic of Geometric Proof.	Diagrams	2006	DBLP DOI BibTeX RDF
21	Wei Wang 0266, Thomas E. Daniels	Building Evidence Graphs for Network Forensics Analysis.	ACSAC	2005	DBLP DOI BibTeX RDF
21	Mal-Rey Lee, Jae Wan Lee	A Fuzzy Inference Network Model for Search Strategy Using Neural Logic Network.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	neural logic network, propagation rules, fuzzy inference network, expert system, search strategy
21	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte	A programming model for concurrent object-oriented programs.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
21	Radha Jagadeesan, Corin Pitcher, James Riely	Open bisimulation for aspects.	AOSD	2007	DBLP DOI BibTeX RDF	open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
21	Patrick W. Yaner, Ashok K. Goel 0001	Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning
21	Maysa Rezende, Ricardo Luís de Freitas, Gilberto Shigueo Nakamiti	HINT- A Hybrid Intelligent System for Telecommunications.	HIS	2006	DBLP DOI BibTeX RDF	Data Mining, Application, Case-Based Reasoning, Rule-Based Reasoning
21	Lionel Paris, Belaid Benhamou, Pierre Siegel	A Boolean Encoding Including SAT and n-ary CSPs.	AIMSA	2006	DBLP DOI BibTeX RDF	Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning
21	Marco Cadoli, Thomas Eiter, Georg Gottlob	Complexity of propositional nested circumscription and nested abnormality theories.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription
21	Bernhard Heinemann	The Topological Effect of Improving Knowledge Acquisition.	MICAI	2005	DBLP DOI BibTeX RDF	modal logic and topology, completeness, spatial reasoning, Reasoning about knowledge
21	Bernhard Heinemann	Algebras as Knowledge Structures.	MFCS	2005	DBLP DOI BibTeX RDF	modal and hybrid logic, knowledge and algebras, decidability, topological reasoning, reasoning about knowledge
21	Liliana Ironi, Stefania Tentoni	Electrocardiographic Imaging: Towards Automated Interpretation of Activation Maps.	AIME	2005	DBLP DOI BibTeX RDF	electrocardiology, imaging, spatial reasoning, qualitative reasoning
21	Jan-R. Sieckmann	Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments.	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF	internal point of view, normative arguments, weighing and balancing, argumentation, legal reasoning, defeasible reasoning
21	Kenneth D. Forbus, Jeffrey M. Usher, Vernell Chapman	Sketching for military courses of action diagrams.	IUI	2003	DBLP DOI BibTeX RDF	nuSketch, multimodal interfaces, spatial reasoning, analogy, qualitative reasoning, sketch understanding
21	Yan Zangh, Yun Bai	G-STRIPS - A Generalized STRIPS System for Handling State Change over Dynamic Domains.	ISMIS	2003	DBLP DOI BibTeX RDF	Reasoning about change, logic of AI, knowledge representation, commonsense reasoning
21	Joseph Aguilar-Martin, Núria Agell, Mónica Sánchez, Francesc Prats	Analysis of Tensions in a Population Based on the Adequacy Concept.	CCIA	2002	DBLP DOI BibTeX RDF	knowledge representation, fuzzy reasoning, qualitative reasoning, classification algorithms
21	Jeremy E. Dawson, Rajeev Goré	Machine-Checking the Timed Interval Calculus.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Reasoning about time, theorem proving, automated reasoning
21	B. Chandrasekaran 0001, John R. Josephson	Function in Device Representation.	Eng. Comput.	2000	DBLP DOI BibTeX RDF	Device ontology, Device simulation, Functional reasoning, Compositional modeling, Functional representation, Causal reasoning
21	Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui	Logical models of argument.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	argumentative systems, argumentation, reasoning, defeasible reasoning, defeasible argumentation
21	Gonzalo Escalada-Imaz	A Temporal Many-Valued Logic for Real Time Control Systems.	AIMSA	2000	DBLP DOI BibTeX RDF	Computational Complexity, Real Time, Temporal Reasoning, Automated Reasoning, Control Systems, Many-valued Logic
21	Yang Xiang 0004	Temporally Invariant Junction Tree for Interference in Dynamic Bayesian Network.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	knowledge representation, temporal reasoning, dynamic Bayesian networks, Probabilistic reasoning
21	Alexandra Musto, Klaus Stein, Kerstin Schill, Andreas Eisenkolb, Wilfried Brauer	Qualitative Motion Representation in Egocentric and Allocentric Frames of Reference.	COSIT	1999	DBLP DOI BibTeX RDF	Representation of Spatio-Temporal Knowledge, Spatial Reference Frames, Spatial Reasoning, Qualitative Reasoning
21	Paolo Bison, Carlo Ferrari, Enrico Pagello, L. Stocchiero	A heuristic approach to automatic grasp planning for a 3-fingered hand.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Grasp modelling, functional reasoning, heuristic reasoning, articulated hand, implicit programming, grasp planning, task planning
21	Peter D. Holmes, Erland Jungert	Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	symbolic connectivity, geometric connectivity graph methods, 2D route planning, heuristic symbolic processing, computational geometry, graph theory, planning (artificial intelligence), search problems, spatial reasoning, spatial reasoning, obstacle avoidance, heuristic programming, inference rules, symbol manipulation, digitized maps, hierarchical data structure, knowledge structure, A* search, route planning
21	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
21	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
21	John Yearwood, Andrew Stranieri	Deliberative discourse and reasoning from generic argument structures.	AI Soc.	2009	DBLP DOI BibTeX RDF