Search results for "Abduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Thomas Eiter, Georg Gottlob	The Complexity of Logic-Based Abduction.	J. ACM	1995	DBLP DOI BibTeX RDF	diagnosis, reasoning, abduction, complexity analysis, propositional logic
87	Thomas Eiter, Georg Gottlob	The Complexity of Logic-Based Abduction.	STACS	1993	DBLP DOI BibTeX RDF
82	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Compositional shape analysis by means of bi-abduction.	POPL	2009	DBLP DOI BibTeX RDF	program analysis, abduction, proof theory
78	Bernard Walliser, Denis Zwirn, Hervé Zwirn	Abductive Logics in a Belief Revision Framework.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	explanation, belief revision, Abduction, non-monotonic reasoning
75	Andrei Doncescu, Katsumi Inoue	Automated Abduction for Computer Forensics.	ATC	2006	DBLP DOI BibTeX RDF
75	Katsumi Inoue	Automated Abduction.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
71	Enrico Maim	Recognizing Objects from Constraints.	SEKE	1992	DBLP DOI BibTeX RDF
70	Michael Abraham, Dov M. Gabbay, Uri J. Schild	Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.	Stud Logica	2009	DBLP DOI BibTeX RDF	Matrix Abduction, Talmudic logic, Argumentum A Fortiori, Qal-Vachomer, argumentation
70	Paolo Liberatore, Marco Schaerf	Compilability of propositional abduction.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	automated diagnosis, computational complexity, artificial intelligence, knowledge representation, Abduction
70	Sai Kiran Lakkaraju, Yan Zhang 0003	Rule Based Abduction.	ISMIS	2000	DBLP DOI BibTeX RDF	knowledge representation, nonmonotonic reasoning, Abduction
66	Viorel Ariton, Vasile Palade	Human-like fault diagnosis using a neural network implementation of plausibility and relevance.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Incremental diagnosis, Abduction problem, Neural networks, Fuzzy logic, Fault diagnosis
63	Miki Hermann, Reinhard Pichler	Counting Complexity of Minimal Cardinality and Minimal Weight Abduction.	JELIA	2008	DBLP DOI BibTeX RDF
63	Henning Christiansen 0001, Verónica Dahl	HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.	ICLP	2005	DBLP DOI BibTeX RDF
63	Michael J. Maher	Abduction of Linear Arithmetic Constraints.	ICLP	2005	DBLP DOI BibTeX RDF
63	Kathrin Konczak, Ralf Vogel 0001	Abduction and Preferences in Linguistics.	LPNMR	2005	DBLP DOI BibTeX RDF
63	Ken Satoh	An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report.	CLIMA	2004	DBLP DOI BibTeX RDF
63	William F. Punch III, Michael C. Tanner, John R. Josephson, Jack W. Smith	Peirce: A Tool for Experimenting with Abduction.	IEEE Expert	1990	DBLP DOI BibTeX RDF
60	Philip Neal	Abduction and induction.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
60	Knut Hinkelmann	Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
58	Moritz Y. Becker, Sebastian Nanz	The Role of Abduction in Declarative Authorization Policies.	PADL	2008	DBLP DOI BibTeX RDF	authorization language, access control, Datalog, abduction
58	Mohamed K. Saad, Syed V. Ahamed	Vulnerabilities of RFID systems in infant abduction protection and patient wander prevention.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	infant abduction, RFID, vulnerabilities, protection
58	Thomas Eiter, Kazuhisa Makino	Abduction and the Dualization Problem.	Discovery Science	2003	DBLP DOI BibTeX RDF	monotone dualization, Horn functions, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, hypergraph transversals
58	Hendrik Decker	Abduction for Knowledge Assimilation in Deductive Databases.	SCCC	1997	DBLP DOI BibTeX RDF	integrity maintenance, knowledge assimilation, SLDAI, SLD-based proof procedure, update request, hypothetical fact insertions, hypothetical fact deletions, base predicates, abductive logic programming, deductive databases, deductive databases, abduction
54	Atanas Radenski	Digital support for abductive learning in introductory computing courses.	SIGCSE	2007	DBLP DOI BibTeX RDF	Java, active learning, Python, abduction, laboratory, CS1/2
51	Shawn T. Chivers, Gene A. Tagliarini, Ashraf M. Abdelbar	An Evolutionary Optimization Approach to Cost-Based Abduction, with Comparison to PSO.	IJCNN	2007	DBLP DOI BibTeX RDF
51	Henning Christiansen 0001	On the Implementation of Global Abduction.	CLIMA	2006	DBLP DOI BibTeX RDF
51	Michael J. Maher	Herbrand Constraint Abduction.	LICS	2005	DBLP DOI BibTeX RDF
51	Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen H. Muggleton, Florencio Pazos	Modelling Inhibition in Metabolic Pathways Through Abduction and Induction.	ILP	2004	DBLP DOI BibTeX RDF
51	Lorenzo Magnani, Matteo Piazza, Riccardo Dossena	The Extra-Theoretical Dimension of Discovery. Extracting Knowledge by Abduction.	Discovery Science	2002	DBLP DOI BibTeX RDF
51	Taisuke Sato, Yoshitaka Kameya	Statistical Abduction with Tabulation.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
51	Nicola Leone, Simona Perri, Francesco Scarcello	Abduction with Penalization in Logic Programming.	AI*IA	2001	DBLP DOI BibTeX RDF
51	Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré	An Efficient Algorithm for Temporal Abduction.	TIME	1997	DBLP DOI BibTeX RDF
48	Marenglen Biba, Stefano Ferilli, Floriana Esposito	Towards Multistrategic Statistical Relational Learning.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
48	Mark E. Stickel	Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation.	Natural Language and Logic	1989	DBLP DOI BibTeX RDF
46	Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro	Inference of abduction theories for handling incompleteness in first-order learning.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Incomplete knowledge, Inductive Logic Programming, Abduction
46	Chiaki Sakama, Katsumi Inoue	Negotiation by abduction and relaxation.	AAMAS	2007	DBLP DOI BibTeX RDF	extended abduction, logic programming, negotiation, relaxation
46	Silvio do Lago Pereira, Leliane Nunes de Barros	Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.	SBIA	2004	DBLP DOI BibTeX RDF	planning, theorem proving, abduction, event calculus
46	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini	Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.	ICEC	2004	DBLP DOI BibTeX RDF	concept abduction, concept contraction, negotiable constraints, semantic web, e-commerce, description logics, matchmaking
46	Chandrabose Aravindan, Phan Minh Dung	Belief Dynamics, Abduction, and Database.	JELIA	1994	DBLP DOI BibTeX RDF	belief dynamics, rationality postulates, databases, abduction, epistemology, view updates
46	Béatrice Duval	Abduction and Induction for Explanation-Based Learning.	EWSL	1991	DBLP DOI BibTeX RDF	Analogy, Abduction, Explanation-Based Learning
44	Ralph Meyer	A conceptual modelling approach to the implementation of beliefs and intentions.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Jens Allwood	An activity-based approach to pragmatics.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Ahmed Guessoum, John P. Gallagher	Abductive reasoning with knowledge bases for context modelling.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Elias Thijsse	The doxastic-epistemic force of declarative utterances.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Harry Bunt	Dialogue pragmatics and context specification.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Martin M. Taylor, David A. Waugh	Dialogue analysis using layered protocols.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Gisela Redeker	Coherence and structure in text and discourse.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Harry Bunt, William Black	The ABC of Computational Pragmatics.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Allan Ramsay	Speech act theory and epistemic planning.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Elizabeth A. Hinkelman, Stephen P. Spackman	Abductive speech act recognition, corporate agents, and the COSMA system.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Robbert-Jan Beun	Context and form.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	David Carter	Discourse focus tracking.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Gérard Sabah	Pragmatics in language understanding and cognitively motivated architectures.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Jon Oberlander, Alex Lascarides	Laconic discourses and total eclipses.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
44	Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (eds.)	Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel	An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Ernest Teniente	An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Henning Christiansen 0001	Alternative Reasoning in a Metaprogramming System.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo	Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye	Using Event Calculus for Protocol Specification: An Experiment.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Michael Leuschel, Bern Martens	Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Cristian Papp	Alternating Fixpoint Semantics for Disjunctive Logic Programs.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Alex Kean, George K. Tsiknis	A Computational System for Symbolic Belief Revision.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Liviu-Virgil Ciortuz, Mihaela Juganaru	Towords a Constraint-based Implementation of F-Logic.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Xiaoyong Du 0001, Naohiro Ishii	Reducing the Arity of Recursive Predicates by Realigning Some Predicates.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Paulo Jorge de Sousa Azevedo, Danilo Montesi	An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
44	Tomi Janhunen	Cautious Models for General Logic Programs.	Deductive Databases / Abduction in Deductive Databases	1995	DBLP BibTeX RDF
42	Zhaohao Sun, Gavin R. Finnie	A Unified 2D Representation of Fuzzy Reasoning, CBR, and Experience Based Reasoning.	KES (1)	2006	DBLP DOI BibTeX RDF	experience-based reasoning, 2-dimensional (2D) representation, case-based reasoning, abduction, Fuzzy reasoning, experience management
42	Thomas Eiter, Kazuhisa Makino	Generating All Abductive Explanations for Queries on Propositional Horn Theories.	CSL	2003	DBLP DOI BibTeX RDF	Horn theories, polynomial total time computation, NP-hardness, abduction, propositional logic, Computational logic
42	Francis Alexandre, Khaled Bsaïes, Moussa Demba	Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.	LOPSTR	2003	DBLP DOI BibTeX RDF	Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
42	Andrea Omicini, Antonio Natali	Object-Oriented Computations in Logic Programming.	ECOOP	1994	DBLP DOI BibTeX RDF	Integration of object-oriented and logic paradigms, state configuration, partially configured instances, meta-level constraints, abduction
42	Connie Loggia Ramsey, Victor R. Basili	An Evaluation of Expert Systems for Software Engineering Management.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	expert systems evaluation, prototype expert systems, software engineering management, abnormal patterns, expert system methods, rule-based deduction, frame-based abduction, simple rules, performance evaluation, software engineering, expert systems, knowledge acquisition, knowledge acquisition, software project, bottom-up approach, top-down approach
40	Marta Cialdea Mayer	Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.	TABLEAUX	2009	DBLP DOI BibTeX RDF
40	Lorenzo Magnani, Emanuele Bardone	Sharing Representations and Creating Chances through Cognitive Niche Construction. The Role of Affordances and Abduction.	Communications and Discoveries from Multidisciplinary Data	2008	DBLP DOI BibTeX RDF
40	Michael J. Maher, Ge Huang	On Computing Constraint Abduction Answers.	LPAR	2008	DBLP DOI BibTeX RDF
40	Gianluigi Greco	Solving abduction by computing joint explanations.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30
40	Augusto Ponzio	Abduction and Modeling in Biosemiotics and Sociosemiotics.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
40	Lorenzo Magnani	Animal Abduction.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
40	Shyamanta M. Hazarika	Pattern Mining as Abduction: From Snapshots to Spatio-Temporal Sequential Patterns.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
40	Viorel Ariton, Doinita Ariton	Neural Network Models for Abduction Problems Solving.	KES (1)	2007	DBLP DOI BibTeX RDF
40	Gianluigi Greco	Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results.	FoIKS	2006	DBLP DOI BibTeX RDF
40	Thomas Eiter	Abduction and the Dualization Problem.	ALT	2003	DBLP DOI BibTeX RDF
40	Luca Console, Paolo Terenziani, Daniele Theseider Dupré	Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	computing explanations, knowledge-based systems, temporal reasoning, efficient algorithms, Abductive reasoning, knowledge compilation
40	Taisuke Sato	EM Learning for Symbolic-Statistical Models in Statistical Abduction.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
40	Katsumi Inoue	A Simple Characterization of Extended Abduction.	Computational Logic	2000	DBLP DOI BibTeX RDF
40	Kewen Wang 0001, Huowang Chen	Abduction, Argumentation and Bi-Disjunctive Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
40	Luca Console, Attilio Giordana, Lorenza Saitta	Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.	ISMIS	1991	DBLP DOI BibTeX RDF
36	Raúl Monroy	Concept Formation via Proof Planning Failure.	LPAR	2001	DBLP DOI BibTeX RDF
34	Fangzhen Lin, Jia-Huai You	Recycling computed answers in rewrite systems for abduction.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	partial stable model semantics, logic programming, abduction, rewrite systems, recycling, Stable model semantics
34	Tim Menzies, Robert F. Cohen, Sam Waugh, Simon Goss	Applications of Abduction: Testing Very Long Qualitative Simulations.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	complexity, Validation, abduction, qualitative reasoning
31	Lorenzo Magnani	The eco-cognitive model of abduction: Ἀπαγωγή now: Naturalizing the logic of abduction.	J. Appl. Log.	2015	DBLP DOI BibTeX RDF
31	Lorenzo Magnani	The Eco-Cognitive Model of Abduction (EC-Model). Is Abduction Really Ignorance-Preserving?	CogSci	2015	DBLP BibTeX RDF
31	Kouichi Hirata	A classification of abduction: abduction for logic programming.	Machine Intelligence 14	1993	DBLP BibTeX RDF
30	Budhitama Subagdja, Liz Sonenberg, Iyad Rahwan	Intentional learning agent architecture.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	BDI agent architecture, Machine learning, Plans, Autonomous agents, Abduction
30	Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark	DARE: a system for distributed abductive reasoning.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Distributed inference, Multi-thread Prolog, Abduction
30	Jianzhong Chen, Stephen H. Muggleton, José Carlos Almeida Santos	Learning probabilistic logic models from probabilistic examples.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Probabilistic inductive logic programming, Stochastic logic programs, Probabilistic examples, Abduction
30	Hristo Koshutanski, Fabio Massacci	Interactive access control for autonomic systems: From theory to implementation.	ACM Trans. Auton. Adapt. Syst.	2008	DBLP DOI BibTeX RDF	Interactive access control, nonmonotonic policy, logic programming, autonomic systems, abduction, disclosure control
30	Christian M. Jones	Online games-based child safety environment.	IE	2008	DBLP DOI BibTeX RDF	anti-abduction, child safety, sexual abuse prevention, social and psychological evaluation, animation, games-based learning
30	Thomas Eiter, Kazuhisa Makino	On computing all abductive explanations from a propositional Horn theory.	J. ACM	2007	DBLP DOI BibTeX RDF	Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms
30	Akinori Abe, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure	Scenario Violation in Nursing Activities: Nursing Risk Management from the Viewpoint of Chance Discovery.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Nursing risk management, Scenario violation, Scenario, Abduction, Chance Discovery