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 |