Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	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
25	Chitta Baral, Tran Hoai Nam	Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions.	Stud Logica	2005	DBLP DOI BibTeX RDF	triggered evolutions, probabilistic triggers, triggers, linear temporal logic, reasoning about actions, randomized strategies
25	Maroua Bouzid	On-line transportation Scheduling using Spatio-Temporal Reasoning.	TIME	2003	DBLP DOI BibTeX RDF	Temporal Representation and Reasoning in IA, Temporal aspects of agent-based system
25	Farida Zehraoui, Rushed Kanawati, Sylvie Salotti	Case Base Maintenance for Improving Prediction Quality.	ICCBR	2003	DBLP DOI BibTeX RDF	Case base maintenance, Large data bases, Prediction, Case based reasoning
25	Andrea Formisano 0001, 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
25	Christiane Gresse von Wangenheim, Andre Bortolon, Aldo von Wangenheim	A Hybrid Approach for the Management of FAQ Documents in Latin Languages.	ICCBR	2001	DBLP DOI BibTeX RDF	Knowledge Management, Natural Language Processing, Case-based Reasoning, Text Retrieval
25	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
24	Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin	Logical Consequences in Partial Knowledge Bases.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences
24	Yongning Tang, Ehab S. Al-Shaer, Raouf Boutaba	Active integrated fault localization in communication networks.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
24	Jingde Cheng	Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems.	ICTAI	2005	DBLP DOI BibTeX RDF
24	Floris Bex, Trevor J. M. Bench-Capon, Katie Atkinson	Did he jump or was he pushed?	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Abductive reasoning, Practical reasoning, Argumentation schemes
24	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
24	Harald Brandl, Franz Wotawa	Test Case Generation from QR Models.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Embedded Systems, Model-based Testing, Qualitative Reasoning, Model-based Reasoning
24	Esmeralda Ramos, Haydemar Núñez, Roberto Casañas	A Fuzzy Hybrid Intelligent System for Human Semen Analysis.	IBERAMIA	2008	DBLP DOI BibTeX RDF	human semen analysis, Case based reasoning, rule based reasoning, hybrid intelligent systems, fuzzy similarity measure
24	Ivan López-Arévalo, René Bañares-Alcántara, Arantza Aldea, A. Rodríguez-Martínez	A hierarchical approach for the redesign of chemical processes.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Design and redesign of processes, Case-based reasoning, Model-based reasoning
24	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
24	Sa'adah Hassan, David McSherry, David W. Bustard	Autonomic self healing and recovery informed by environment knowledge.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Fault diagnosis, Autonomic computing, Case based reasoning, Self healing, Fault management, Rule based reasoning
24	Maurice Pagnucco	Knowledge Compilation for Belief Change.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	belief revision and update, common-sense reasoning, knowledge representation and reasoning
24	Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge	Intentions and Strategies in Game-Like Scenarios.	EPIA	2005	DBLP DOI BibTeX RDF	Multi-agent systems, common sense reasoning, strategic reasoning
24	Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano 0001	Programming Rational Agents in a Modal Action Logic.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	logic-based agents, modal and multimodal logic, reasoning with incomplete knowledge, logic programming, reasoning about actions
24	Pål Skalle, Agnar Aamodt	Knowledge-Based Decision Support in Oil Well Drilling.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	Petroleum Engineering, Ontologies, Prediction, Case-Based Reasoning, Knowledge Engineering, Model-Based Reasoning
24	Giovani Pieri, Michel R. Klein, Mario Milanese	A Knowledge Based System for the Maintenance of Chemical Plants and Its Implementation Using OPTRANS.	IEA/AIE	2001	DBLP DOI BibTeX RDF	chemical plant construction & maintenance, coupling case-base and deductive reasoning, expert-system, case-base reasoning, knowledge based DSS
24	Dan I. Moldovan, Chung-I Wu	A Hierarchical Knowledge Based System for Airplane Classification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	hierarchical knowledge based system, airplane classification, reasoning process, RuBICS, Rule-Based Image Classification System, computer vision, computer vision, complexity, knowledge based systems, knowledge engineering, aerospace computing, aircraft, hierarchical reasoning
24	Ning Zhong 0001	A unified study on human and Web granular reasoning.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
24	Takahiro Koh, Yuichi Goto, Jingde Cheng	A Fast Duplication Checking Algorithm for Forward Reasoning Engines.	KES (2)	2008	DBLP DOI BibTeX RDF
24	Zhou Shengming, Liao Yuanxiu	Sensing Action and Knowledge Reasoning Independent of Designer.	CSSE (1)	2008	DBLP DOI BibTeX RDF
24	Qingquan Wang, Lili Rong, Kai Yu	Visual Knowledge Reasoning on Typed Categorical Structure.	FSKD (4)	2008	DBLP DOI BibTeX RDF
24	Klaus Ostermann	Reasoning about aspects with common sense.	AOSD	2008	DBLP DOI BibTeX RDF
24	Riccardo Rosati 0001	On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.	RR	2008	DBLP DOI BibTeX RDF
24	Jirapond Tadrat, Veera Boonjing, Puntip Pattaraintakorn	A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning.	IRI	2007	DBLP DOI BibTeX RDF
24	Philip David Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones	A Framework for Combining Rules and Geo-ontologies.	RR	2007	DBLP DOI BibTeX RDF
24	Jingde Cheng, Junichi Miura	Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance.	ARES	2006	DBLP DOI BibTeX RDF
24	Fei Xie, Guowu Yang, Xiaoyu Song	Compositional Reasoning for Hardware/Software Co-verification.	ATVA	2006	DBLP DOI BibTeX RDF
24	Manabu Shimakawa	Calculus of Interpolated Fuzzy Relation Type Fuzzy Reasoning Method.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
24	Naoki Matsushita, Takashi Yoshino 0001, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome	Proposal of Visualization of Reasoning Processes in Sensor Network Environment.	UIC	2006	DBLP DOI BibTeX RDF
24	Qun Song 0002, Nikola K. Kasabov	NFI: a neuro-fuzzy inference method for transductive reasoning.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
24	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Representing Paraconsistent Reasoning via Quantified Propositional Logic.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
24	Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu	Reasoning Technique for Extended Fuzzy Description Logics.	ICTAI	2005	DBLP DOI BibTeX RDF
24	Yalin Zheng, Changshui Zhang, Xin Yao 0003	Type-I Topological Logic C1I and Approximate Reasoning.	FSKD (1)	2005	DBLP DOI BibTeX RDF
24	Szilveszter Kovács	Interpolative Fuzzy Reasoning in Behaviour-Based Control.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
24	Jingde Cheng	Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
24	Ofer Arieli, Marc Denecker	Modeling Paraconsistent Reasoning by Classical Logic.	FoIKS	2002	DBLP DOI BibTeX RDF
24	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
24	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler	Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.	TACAS	2001	DBLP DOI BibTeX RDF
24	Karl Christoph Klauer	Visuelle und räumliche Interferenzen beim Schlußfolgern / Visual and Spatial Interference in Deductive Reasoning.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
24	Claudio Delrieux	Nonmonotonic Reasoning under Uncertain Evidence.	AIMSA	1998	DBLP DOI BibTeX RDF
24	Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski	Infinitary Default Logic for Specification of Nonmonotonic Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF	infinitary default logic, representability, extensions, default logic
24	Ilkka Niemelä	Towards Automatic Autoepistemic Reasoning.	JELIA	1990	DBLP DOI BibTeX RDF
24	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
24	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
24	Juan Carlos Augusto, Guillermo Ricardo Simari	Temporal Defeasible Reasoning.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Knowledge representation, Temporal reasoning, Defeasible reasoning
24	Silvano Mussi	Strategic Reasoning Under Trade-Offs Between Action Costs and Advantages.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	strategic knowledge, heuristic reasoning, expert systems, trade-off, Strategic reasoning
24	Keith Vanderveen, C. V. Ramamoorthy	Anytime Reasoning in First-Order Logic.	ICTAI	1997	DBLP DOI BibTeX RDF	anytime reasoning, best-effort answers, bounded reasoning resources, S/sub 1/ approximation, S/sub 3/ approximation, most likely solution, first-order logic, formal logic, theorem provers, algorithm performance
24	Bernhard Nebel, Hans-Jürgen Bürckert	Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.	J. ACM	1995	DBLP DOI BibTeX RDF	constraint satisfaction, temporal reasoning, qualitative reasoning, interval algebra
24	Jan H. Vandenbrande, Aristides A. G. Requicha	Spatial Reasoning for the Automatic Recognition of Machinable Features in Solid Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	automatic feature recognition, machinable features, volumetric features, generate-and-test strategy, OPS-5 production rules, pattern recognition, computational geometry, computational geometry, planning, planning (artificial intelligence), solid models, solid modelling, manufacturability, spatial reasoning, spatial reasoning, CAD/CAM, blackboard, machining
24	Thomas Eiter, Magdalena Ortiz 0001, Mantas Simkus	Reasoning Using Knots.	LPAR	2008	DBLP DOI BibTeX RDF
24	Antonis Bikakis, Grigoris Antoniou	Local and Distributed Defeasible Reasoning in Multi-Context Systems.	RuleML	2008	DBLP DOI BibTeX RDF
24	Xiaowang Zhang, Zuoquan Lin	Paraconsistent Reasoning with Quasi-classical Semantic in .	RR	2008	DBLP DOI BibTeX RDF
24	Ralph Bergmann, Babak Mougouie	Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge.	ECCBR	2006	DBLP DOI BibTeX RDF
24	Benjamin Aminof, Thomas Ball, Orna Kupferman	Reasoning About Systems with Transition Fairness.	LPAR	2004	DBLP DOI BibTeX RDF
24	Isabelle Bichindaritz	Mémoire: Case Based Reasoning Meets the Semantic Web in Biology and Medicine.	ECCBR	2004	DBLP DOI BibTeX RDF
24	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning.	ECSQARU	2001	DBLP DOI BibTeX RDF
24	Vladimir Ryabov, Seppo Puuronen	Probabilistic Reasoning about Uncertain Relations between Temporal Points.	TIME	2001	DBLP DOI BibTeX RDF
24	David B. Leake, Raja Sooriamurthi	When Two Case Bases Are Better than One: Exploiting Multiple Case Bases.	ICCBR	2001	DBLP DOI BibTeX RDF
24	Riccardo Rosati 0001	Towards First-Order Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF
24	Jaap Hage	Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF
23	Maarten Marx	Logical Foundations of XML and XQuery.	Reasoning Web	2009	DBLP DOI BibTeX RDF
23	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner	Answer Set Programming: A Primer.	Reasoning Web	2009	DBLP DOI BibTeX RDF
23	Juan M. Corchado, Jim Aiken, Javier Bajo	A CBR Agent for Monitoring the Carbon Dioxide Exchange Rate from Satellite Images.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
23	Linda G. Shapiro, Indriyati Atmosukarto, Hansang Cho, H. Jill Lin, Salvador Ruiz-Correa, Jenny Yuen	Similarity-Based Retrieval for Biomedical Applications.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
23	Michael M. Richter	Similarity.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
23	Riccardo Viale, Andrea Pozzali	Cognitive Aspects of Tacit Knowledge and Cultural Diversity.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
23	Lorenzo Magnani	Animal Abduction.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
23	Walter Alexandre Carnielli	Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
23	Claudio Pizzi	Abductive Inference and Iterated Conditionals.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
23	Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann	SharedLife: Towards Selective Sharing of Augmented Personal Memories.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
23	James Pustejovsky, Jessica Littman, Roser Saurí	Arguments in TimeML: Events and Entities.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
23	Mario Lenz, Eric Auriol, Michel Manago	Diagnosis and Decision Support.	Case-Based Reasoning Technology	1998	DBLP DOI BibTeX RDF
23	Gerd Kamp, Steffen Lange, Christoph Globig	Related Areas.	Case-Based Reasoning Technology	1998	DBLP DOI BibTeX RDF
23	Hua Li 0002, Héctor Muñoz-Avila, Diane Bramsen, Chad Hogg, Rafael Alonso	Spatial Event Prediction by Combining Value Function Approximation and Case-Based Reasoning.	ICCBR	2009	DBLP DOI BibTeX RDF	spatial prediction, case-based prediction, function value approximation
23	Maria Frucci, Petra Perner, Gabriella Sanniti di Baja	Watershed Segmentation Via Case-Based Reasoning.	ICCBR	2007	DBLP DOI BibTeX RDF
23	Colleen M. Seifert	Cased-Based Reasoning by Human Experts.	ICCBR	2005	DBLP DOI BibTeX RDF
23	Solveig Bjørnestad	Analogical Reasoning for Reuse of Object-Oriented Specifications.	ICCBR	2003	DBLP DOI BibTeX RDF
23	Michael Redmond, Cynthia Blackburn Line	Empirical Analysis of Case-Based Reasoning and Other Prediction Methods in a Social Science Domain: Repeat Criminal Victimization.	ICCBR	2003	DBLP DOI BibTeX RDF
23	Ioannis Iglezakis	The Conflict Graph for Maintaining Case-Based Reasoning Systems.	ICCBR	2001	DBLP DOI BibTeX RDF
23	Conor Hayes, Padraig Cunningham, Barry Smyth	A Case-Based Reasoning View of Automated Collaborative Filtering.	ICCBR	2001	DBLP DOI BibTeX RDF
23	Josep Lluís Arcos	T-Air: A Case-Based Reasoning System for Designing Chemical Absorption Plants.	ICCBR	2001	DBLP DOI BibTeX RDF
23	Kristian J. Hammond	Reasoning as Search: Supporting Reasoning with Distributed Memory.	ICCBR	2011	DBLP DOI BibTeX RDF
23	Joeri Engelfriet, Jan Treur	A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.	ECSQARU-FAPR	1997	DBLP DOI BibTeX RDF
23	Maurice A. Finocchiaro	Reasoning About Reasoning.	FAPR	1996	DBLP DOI BibTeX RDF
23	Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz	Principles and Clusters in Human Syllogistic Reasoning.	Bridging@CogSci	2017	DBLP BibTeX RDF
23	Ana-Maria Olteteanu	Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning.	Bridging@CogSci	2017	DBLP BibTeX RDF
23	Ilir Kola, Marco Ragni	Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering.	Bridging@CogSci	2017	DBLP BibTeX RDF
23	William T. Niu, Judy Kay	Location Conflict Resolution with an Ontology.	Pervasive	2008	DBLP DOI BibTeX RDF	location conflict resolution, ontological algorithms, Ontological reasoning
23	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
23	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
23	George Antoniou	Relating Defeasible Logic to Extended Logic Programs.	SETN	2002	DBLP DOI BibTeX RDF	knowledge representation, logic programming, nonmonotonic reasoning
23	Yusuf Pisan	Extending requirement specifications using analogy.	ICSE	2000	DBLP DOI BibTeX RDF	specification-reuse, analogical reasoning
22	H. Joe Steinhauer	Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions.	KI	2008	DBLP DOI BibTeX RDF	Spatial Reasoning, Qualitative Reasoning, Diagrammatic Reasoning
22	Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe	A Conceptual Clustering Algorithm for Database Schema Design.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning