Search results for "Reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Jingde Cheng	Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space.	ISICA	2008	DBLP DOI BibTeX RDF	Relevant and truth-preserving reasoning, Ampliative reasoning, Paracomplete and paraconsistent reasoning, Three-dimensional spatio-temporal relevant logic, Spatio-temporal reasoning
6	Li Shuguang, Jiang Qing, Chris George	Combining case-based and model-based reasoning: a formal specification.	APSEC	2000	DBLP DOI BibTeX RDF	generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism
6	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Combining heuristics for default logic reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	default logic reasoning systems, theoretical complexity, local search techniques, automated default reasoning system, genetic algorithms, genetic algorithms, computational complexity, artificial intelligence, knowledge representation, knowledge representation, heuristics, nonmonotonic reasoning, nonmonotonic reasoning, expressive power
5	Natsumi Kitajima, Yuichi Goto, Jingde Cheng	Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems.	ARES	2008	DBLP DOI BibTeX RDF	computing anticipatory systems, action reasoning engine, decision-making, qualitative reasoning, reasoning about actions
5	John Howse	Diagrammatic Reasoning Systems.	ICCS	2008	DBLP DOI BibTeX RDF	information visualization, automated reasoning, software specification, diagrammatic reasoning, Visual formalisms
5	Yalin Zheng, Huaqiang Yuan, Ning Wang, Guang Yang 0002, Yongcheng Bai	Knowledge Mass and Automatic Reasoning System in Similarity Logic CQ.	ICFIE	2007	DBLP DOI BibTeX RDF	Formula Mass, Knowledge Mass, ??logic, ??automatic Reasoning System, Extended ??automatic Reasoning System, Level (k and j) Perfection of Extended Knowledge Base, Approximate Reasoning
5	Jean Lieber	Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation.	ICCBR	2007	DBLP DOI BibTeX RDF	knowledge-intensive case-based reasoning, conservative adaptation, theory of revision, logical representation of cases, application to oncology, adaptation, case-based reasoning
5	Andrzej Skowron, Piotr Synak	Planning Based on Reasoning About Information Changes.	RSCTC	2006	DBLP DOI BibTeX RDF	approximate reasoning schemes, reasoning about changes, rough sets, concept approximation, hierarchical reasoning
5	Zhaohao Sun, Gavin R. Finnie	A Unified 2D Representation of Fuzzy Reasoning, CBR, and Experience Based Reasoning.	KES	2006	DBLP DOI BibTeX RDF	experience-based reasoning, 2-dimensional (2D) representation, case-based reasoning, abduction, Fuzzy reasoning, experience management
5	Yun Ji Na, Il Seok Ko, Jong Min Kwak	A Sales Agent Using Case-Based Reasoning and Rule-Based Reasoning for E-Commerce System.	ICCSA	2006	DBLP DOI BibTeX RDF	Hybrid Reasoning, Intelligent Agent, Case base reasoning, Rule base reasoning
5	Katie Atkinson, Trevor J. M. Bench-Capon	Legal Case-based Reasoning as Practical Reasoning.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	intermediate legal concepts, legal decision making, teleological reasoning, argumentation, case based reasoning, practical reasoning
5	Tetsuya Murai, Masayuki Sanada, Yasuo Kudo, Yoshiharu Sato	Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems.	KES	2004	DBLP DOI BibTeX RDF	Zoom reasoning System, Monotonic reasoning, Pawlak rough sets, Ziarko variable precision rough set model, Nonmonotonic reasoning
5	Isabel Navarrete, Abdul Sattar, Roque Marín	Deciding consistency of a point-duration network with metric constraints. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF	Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
5	Zili Zhang, Chengqi Zhang	Reasoning with Multimedia Information Using Symbolic Projection.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF	Symbolic Projection, Multimedia, Spatial Reasoning, Automated Reasoning, Geometric Reasoning
5	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient defeasible reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining
5	William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi	A smart object approach to hybrid knowledge representation and reasoning strategies.	HICSS	1995	DBLP DOI BibTeX RDF	smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation
5	Xudong He	A method for analyzing properties of hierarchical predicate transition nets. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
5	Yang Xiang	Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks.	ISMIS	1994	DBLP DOI BibTeX RDF	distributed reasoning, Bayesian networks, distributed artificial intelligence, approximate reasoning, probabilistic reasoning, knowledge representation and integration
4	Giovanni Casini, Hykel Hosni	A Note on Cumulative Stereotypical Reasoning.	ECSQARU	2009	DBLP DOI BibTeX RDF	cumulative reasoning, default-assumption logic, prototypes, Stereotypes, nonmonotonic logic
4	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
4	Xinyu Feng	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
4	Rohani Binti Abu Bakar, Junzo Watada	Evidential Reasoning Based on DNA Computation.	KES	2009	DBLP DOI BibTeX RDF	Reasoning, DNA computing, Belief function, Evidential reasoning, Plausibility
4	Natsumi Kitajima, Yuichi Goto, Jingde Cheng	Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control.	HAIS	2009	DBLP DOI BibTeX RDF	Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions
4	Jiaxin Han	Conceptual Space and Reasoning Method of Intelligent System.	FSKD	2009	DBLP DOI BibTeX RDF	Abstract concept degree, Longitudinal reasoning, Decision-making reasoning, Recollection reasoning
4	Kevin D. Ashley	Ontological requirements for analogical, teleological, and hypothetical legal reasoning.	ICAIL	2009	DBLP DOI BibTeX RDF	legal ontologies, analogical reasoning, hypothetical reasoning
4	Kevin D. Ashley, Collin Lynch, Niels Pinkwart, Vincent Aleven	Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples.	ICCBR	2009	DBLP DOI BibTeX RDF	Case-based adaptation, Legal reasoning, Hypothetical reasoning
4	Mozhgan Tavakolifard	Situation-aware trust management.	RecSys	2009	DBLP DOI BibTeX RDF	conditional reasoning, ontology, trust, recommender systems, context, case-based reasoning, semantic similarity, analogical reasoning
4	Qing Liu, Lan Liu	Rough Logic and Its Reasoning.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning
4	Adam Zachary Wyner	An ontology in OWL for legal case-based reasoning.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal cases, Ontology, OWL, Case-based reasoning, Legal reasoning
4	Petra Perner	Introduction to Case-Based Reasoning for Signals and Images.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	Maria Frucci, Petra Perner, Gabriella Sanniti di Baja	Case-Based Reasoning for Image Segmentation by Watershed Transformation.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	Isabelle Bichindaritz	Memory Structures and Organization in Case-Based Reasoning.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	Peter Funk, Ning Xiong	Extracting Knowledge from Sensor Signals for Case-Based Reasoning with Longitudinal Time Series Data.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	Leon Bobrowski, Magdalena Topczewska	Induction of Similarity Measures for Case Based Reasoning Through Separable Data Transformations.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	Rainer Schmidt, Tina Waligora, Olga Vorobieva	Prototypes and Case-Based Reasoning for Medical Applications.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	Bir Bhanu, Rong Wang	Learning a Statistical Model for Performance Prediction in Case-Based Reasoning.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	David C. Wilson, Dympna O'Sullivan	Medical Imagery in Case-Based Reasoning.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
4	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
4	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
4	David McSherry, Sa'adah Hassan, David W. Bustard	Conversational Case-Based Reasoning in Self-healing and Recovery.	ECCBR	2008	DBLP DOI BibTeX RDF	Autonomic computing, case-based reasoning, transparency, explanation, self-healing, fault management, environment awareness
4	Hailin Feng, Chenxi Shao, Yi Xu	Fuzzy Reasoning Approach for Conceptual Design.	ISNN	2008	DBLP DOI BibTeX RDF	Mechanical configuration, Spatial reasoning, Conceptual design, Fuzzy reasoning
4	Tao Gu, Hung Keng Pung, Daqing Zhang	Peer-to-Peer Context Reasoning in Pervasive Computing Environments.	PerCom	2008	DBLP DOI BibTeX RDF	P2P reasoning, context reasoning
4	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
4	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
4	Ha Manh Tran, Jürgen Schönwälder	Fault Resolution in Case-Based Reasoning.	PRICAI	2008	DBLP DOI BibTeX RDF	Fault Resolution, Case-Based Reasoning, Probabilistic Reasoning, Fault Management
4	Georgios Meditskos, Nick Bassiliades	Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF	Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
4	Grigoris Antoniou, Antonis Bikakis	DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Semantic Web reasoning, Rules, nonmonotonic reasoning
4	Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider	Optimizing Terminological Reasoning for Expressive Description Logics.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Reasoning systems, Optimizations, Description logic
4	Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno	A logical expression of reasoning.	Synthese	2007	DBLP DOI BibTeX RDF	Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
4	Sundari Krishnamurthy	An Examination of Model-Based Reasoning in Science and Medicine in India.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
4	Pasi Pohjola	Ontology, Artefacts, and Models of Reasoning.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
4	Maria Eunice Quilici Gonzalez, Mariana Claudia Broens, Fabricio Loffredo D'Ottaviano	Abductive Reasoning, Information, and Mechanical Systems.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
4	Zhikang Wang	Model-Based Reasoning and Diagnosis in Traditional Chinese Medicine (TCM).	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
4	Hatem Hamza, Yolande Belaïd, Abdel Belaïd	Case-Based Reasoning for Invoice Analysis and Recognition.	ICCBR	2007	DBLP DOI BibTeX RDF	document case, structure case, invoice analysis, invoice interpretation, structure extraction, Case-based reasoning
4	Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic	Reasoning in Semantic Wikis.	Reasoning Web	2007	DBLP DOI BibTeX RDF
4	Ulrike Sattler	Reasoning in Description Logics: Basics, Extensions, and Relatives.	Reasoning Web	2007	DBLP DOI BibTeX RDF
4	Stefan Schleipen, Marco Ragni, Thomas Fangmeier	Negation in Spatial Reasoning.	KI	2007	DBLP DOI BibTeX RDF	Cognitive modeling, Spatial Reasoning, Knowledge Representation and Reasoning
4	Hisao Ishibuchi, Takashi Yamamoto, Tomoharu Nakashima	An approach to fuzzy default reasoning for function approximation.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy number-valued function, Fuzzy modeling, Fuzzy reasoning, Genetics-based machine learning, Default reasoning
4	Boris Galitsky	Merging deductive and inductive reasoning for processing textual descriptions of inter-human conflicts.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Hybrid reasoning system, Multiagent conflict, Deterministic machine learning, Reasoning about action
4	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
4	Christian Prehofer	Semantic reasoning about feature composition via multiple aspect-weavings.	GPCE	2006	DBLP DOI BibTeX RDF	feature composition, semantic reasoning and refinement, aspect-oriented programming, feature interaction, feature-oriented programming, modular reasoning, aspect weaving
4	Jae Sik Lee, Jin Chun Lee	Music for My Mood: A Music Recommendation System Based on Context Reasoning.	EuroSSC	2006	DBLP DOI BibTeX RDF	Data Mining, Context-Awareness, Case-based Reasoning, Music Recommendation System, Context Reasoning
4	Alberto Martelli, Laura Giordano	Reasoning About Web Services in a Temporal Action Logic.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
4	Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits	Reasoning with Rules and Ontologies.	Reasoning Web	2006	DBLP DOI BibTeX RDF
4	Mathieu d'Aquin, Jean Lieber, Amedeo Napoli	Case-Based Reasoning Within Semantic Web Technologies.	AIMSA	2006	DBLP DOI BibTeX RDF	description logic reasoning, semantic Web, OWL, Case-based reasoning, oncology
4	Silvie Spreeuwenberg, Rik Gerrits	Business Rules in the Semantic Web, Are There Any or Are They Different?	Reasoning Web	2006	DBLP DOI BibTeX RDF	Rule standards, Reasoning languages, Semantic Web, Specification languages, Business rules, SBVR
4	Jürgen Dix, Sarit Kraus, V. S. Subrahmanian	Heterogeneous temporal probabilistic agents.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	multiagent reasoning, logic programming, uncertainty, temporal reasoning, Probabilistic reasoning
4	Alison Chorley, Trevor J. M. Bench-Capon	An empirical investigation of reasoning with legal cases through theory construction and application.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	factors and dimensions, theory construction, Case Based Reasoning, legal reasoning, legal knowledge based systems
4	Frank Schilder, Graham Katz, James Pustejovsky	Annotating, Extracting and Reasoning About Time and Events.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
4	Frank Schilder	Event Extraction and Temporal Reasoning in Legal Documents.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
4	Larry Wos	The Flowering of Automated Reasoning.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
4	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
4	Hajar Mat Jani, Sai Peck Lee	Applying Machine Learning Using Case-Based Reasoning (CBR) and Rule-Based Reasoning (RBR) Approaches to Object-Oriented Application Framework Documentation.	ICITA	2005	DBLP DOI BibTeX RDF	case-based reasoning, rule-based reasoning, learning curve, Object-oriented application framework, framework documentation
4	Inderjeet Mani	Chronoscopes : A Theory of Underspecified Temporal Representations.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	temporal information extraction, abstraction, temporal reasoning, granularity
4	Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo	Obtaining a Bayesian Map for Data Fusion and Failure Detection Under Uncertainty.	IEA/AIE	2005	DBLP DOI BibTeX RDF	Autonomous Agents, Spatial Reasoning, Model-based Reasoning, Reasoning Under Uncertainty
4	Eva Armengol, Francesc Esteva, Lluis Godo, Vicenç Torra	On Learning Similarity Relations in Fuzzy Case-Based Reasoning.	T. Rough Sets	2004	DBLP DOI BibTeX RDF	case–base reasoning, fuzzy case–base reasoning, aggregation, similarity relation
4	Mingyang Gu, Agnar Aamodt, Xin Tong	Component Retrieval Using Conversational Case-Based Reasoning.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Conversational Case-Based Reasoning, Knowledge-Intensive Case-Based Reasoning, Semantic Similarity Calculation, Incrementally Query Acquisition, Software Component Retrieval
4	José Carlos Loureiro Ralha, Célia Ghedini Ralha	Towards a Natural Way of Reasoning.	SBIA	2004	DBLP DOI BibTeX RDF	argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
4	Bernhard Heinemann	A Hybrid Logic of Knowledge Supporting Topological Reasoning.	AMAST	2004	DBLP DOI BibTeX RDF	logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization
4	Maroua Bouzid	On-line transportation Scheduling using Spatio-Temporal Reasoning. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF	Temporal Representation and Reasoning in IA, Temporal aspects of agent-based system
4	Amir M. Anvar	Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF	intelligent navigation, fuzzy logic, temporal reasoning, Autonomous Underwater Vehicle
4	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
4	Fei Xie, James C. Browne, Robert P. Kurshan	Translation-Based Compositional Reasoning for Software Systems.	FME	2003	DBLP DOI BibTeX RDF	Translation-based compositional reasoning, model checking, compositional reasoning, model translation
4	Mal-Rey Lee	An Exception Handling of Rule-Based Reasoning Using Case-Based Reasoning.	Journal of Intelligent and Robotic Systems	2002	DBLP DOI BibTeX RDF	knowledge acquisition, exception handling, case-based reasoning, rule-based reasoning
4	Yugyung Lee, James Geller	Efficient Transitive Closure Reasoning in a Combined Class-Part-Containment Hierarchy.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	IS-A hierarchies, Materialized transitive closure, Parallel artificial intelligence, Parallel reasoning, Part hierarchies, Transitive closure reasoning
4	Kenneth D. Forbus, James V. Mahoney, Kevin Dill	How Qualitative Spatial Reasoning Can Improve Strategy Game AIs.	IEEE Intelligent Systems	2002	DBLP DOI BibTeX RDF	knowledge representation, Qualitative spatial reasoning, visual reasoning
4	Bartlomiej Sniezynski	Basic Semantics of the Logic of Plausible Reasoning.	ISMIS	2002	DBLP DOI BibTeX RDF	logic of plausible reasoning, uncertain knowledge representation, semantics of the logic of plausible reasoning
4	Marc Aiguier, Diane Bahrami, Catherine Dubois	On a Generalised Logicality Theorem.	AISC	2002	DBLP DOI BibTeX RDF	semi-commutation, abstract rewrite tree, abstract convertibility relation, logicality Topics: Term Rewriting, Integration of Logical Reasoning and Computer Algebra, Reasoning, Formal system
4	Rolf Nossum, Luciano Serafini	Multicontext Logic for Semigroups of Contexts.	AISC	2002	DBLP DOI BibTeX RDF	Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning
4	Julio Pacheco, M. Teresa Escrig, Francisco Toledo	Integrating 3D Orientation Models.	CCIA	2002	DBLP DOI BibTeX RDF	Qualitative Orientation, Spatial Reasoning, Qualitative Reasoning, Model-Based Reasoning
4	Bernhard Heinemann	A Hybrid Treatment of Evolutionary Sets.	MICAI	2002	DBLP DOI BibTeX RDF	modal logic, temporal reasoning, hybrid logic, topological reasoning, reasoning about knowledge
4	Juan Carlos Augusto, Guillermo Ricardo Simari	Temporal Defeasible Reasoning.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Knowledge representation, Temporal reasoning, Defeasible reasoning
4	Andrea Formisano, Eugenio G. Omodeo, Marco Temperini	Instructing Equational Set-Reasoning with Otter.	IJCAR	2001	DBLP DOI BibTeX RDF	Set reasoning, map algebra, first-order theorem proving
4	Thomas Roth-Berghofer, Thomas Reinartz	MAMA: A Maintenance Manual for Case-Based Reasoning Systems.	ICCBR	2001	DBLP DOI BibTeX RDF	CBR process, maintenance manual, methodology, process model, maintenance, Case-Based Reasoning
4	Gerard Ligozat	When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings.	COSIT	2001	DBLP DOI BibTeX RDF	weak representation, complete theory, relation algebra, temporal reasoning, spatial reasoning
4	Malek Mouhoub	Reasoning about numeric and symbolic time information.	ICTAI	2000	DBLP DOI BibTeX RDF	symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra
4	Alessandra Raffaetà, Chiara Renso	Temporal Reasoning in Geographical Information Systems. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language
4	Ján Sefránek	A Kripkean Semantics for Dynamic Logic Programming.	LPAR	2000	DBLP DOI BibTeX RDF	dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution
4	Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom	Modeling software quality: the Software Measurement Analysis and Reliability Toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	Software Measurement Analysis and Reliability Toolkit, reliability enhancement activities, high risk modules, automated reasoning processes, CBR systems, CBR classification, module-order models, rank-order, military command control and communications, software developers, software tools, software quality, software metrics, software reliability, cluster analysis, case-based reasoning, case based reasoning, software performance evaluation, software product, life cycle, software quality modeling, software quality models, fault predictions, process metrics, SMART, fault prone modules, quality factor, classification models, command and control systems, research tool
4	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription