The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for abduction with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1990 (19) 1991 (21) 1992-1993 (34) 1994 (31) 1995 (32) 1996-1997 (27) 1998-1999 (34) 2000 (42) 2001 (19) 2002 (30) 2003 (28) 2004 (35) 2005 (35) 2006 (35) 2007 (35) 2008 (36) 2009 (33) 2010 (24) 2011 (39) 2012 (28) 2013 (26) 2014 (22) 2015 (24) 2016 (28) 2017 (28) 2018 (20) 2019 (17) 2020 (22) 2021 (19) 2022 (29) 2023 (22) 2024 (6)
Publication types (Num. hits)
article(288) book(5) incollection(36) inproceedings(540) phdthesis(10) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(47) Log. J. IGPL(27) AAAI(23) Description Logics(23) ECAI(22) IJCAI(19) Artif. Intell.(16) Abduction, Belief and Context ...(15) Deductive Databases / Abductio...(14) ICLP(11) KR(10) AAMAS(9) AI*IA(9) Synth.(9) FLAP(8) ILP(8) More (+10 of total 404)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 248 occurrences of 158 keywords

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