Search results for "abduction"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.	Description Logics	2004	DBLP BibTeX RDF
16	Alexander Bochman	Production Inference, Nonmonotonicity and Abduction.	AI&M	2004	DBLP BibTeX RDF
16	Michael Carl, Ecaterina Rascu, Johann Haller	Using Weighted Abduction to Align Term Variant Translations in Bilingual Texts.	LREC	2004	DBLP BibTeX RDF
16	Ioannis Xanthakos	Semantic integration of information by abduction.		2004	RDF
16	Hans Tompits	Expressing default abduction problems as quantified Boolean formulas.	AI Commun.	2003	DBLP BibTeX RDF
16	Bruno Zanuttini	New Polynomial Classes for Logic-Based Abduction.	J. Artif. Intell. Res.	2003	DBLP DOI BibTeX RDF
16	José Júlio Alferes, Luís Moniz Pereira, Terrance Swift	Abduction in Well-Founded Semantics and Generalized Stable Models	CoRR	2003	DBLP BibTeX RDF
16	Toshio Itoh	Abduction for creativity.	Int. J. Technol. Manag.	2003	DBLP DOI BibTeX RDF
16	Akinori Abe	Abduction and Analogy in Chance Discovery.	Chance Discovery	2003	DBLP BibTeX RDF
16	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni	Interpreting Abduction in CLP.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
16	Ashraf M. Abdelbar, M. Mokhtar	A k-elitist max-min ant system approach to cost-based abduction.	IEEE Congress on Evolutionary Computation	2003	DBLP DOI BibTeX RDF
16	Andrea Bobbio, Stefania Montani, Luigi Portinale	Parametric Dependability Analysis through Probabilistic Horn Abduction.	UAI	2003	DBLP BibTeX RDF
16	Horacio L. Arló-Costa	Iterated abduction and conditional coherence.	TARK	2003	DBLP DOI BibTeX RDF
16	Peter J. F. Lucas	Quality Checking of Medical Guidelines through Logical Abduction.	SGAI Conf.	2003	DBLP DOI BibTeX RDF
16	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	Concept Abduction and Contraction in Description Logics.	Description Logics	2003	DBLP BibTeX RDF
16	Fangzhen Lin, Jia-Huai You	Recycling Computed Answers in Rewrite Systems for Abduction.	IJCAI	2003	DBLP BibTeX RDF
16	Makoto Kikuchi, Ichiro Nagasaka	On the Three Forms of Non-deductive Inferences: Induction, Abduction, and Design.	Applied Informatics	2003	DBLP BibTeX RDF
16	David Al-Dabass, David J. Evans 0001, Siva Sivayoganathan	Hierarchical Causal Parameter Abduction in Integral-Hybrid Logic Nets.	FLAIRS	2003	DBLP BibTeX RDF
16	Akinori Abe	The Role of Abduction in Chance Discovery.	New Gener. Comput.	2002	DBLP DOI BibTeX RDF
16	Jürg Kohlas, Dritan Berzati, Rolf Haenni	Probabilistic Argumentation Systems and Abduction.	Ann. Math. Artif. Intell.	2002	DBLP DOI BibTeX RDF
16	Fangzhen Lin, Jia-Huai You	Abduction in logic programming: A new definition and an abductive procedure based on rewriting.	Artif. Intell.	2002	DBLP DOI BibTeX RDF
16	John R. Josephson, Susan G. Josephson	Abduction, Reason and Science: Processes of Discovery and Explanation - Lorenzo Magnani (Ed.), Kluwer Academic/Plenum Publishers, New York, 2001, ISBN 0-306-46514-0.	Artif. Intell. Medicine	2002	DBLP DOI BibTeX RDF
16	Atocha Aliseda-Llera	Abduction, Reason, and Science: A Review.	AI Mag.	2002	DBLP DOI BibTeX RDF
16	Piero A. Bonatti	Abduction, ASP and Open Logic Programs	CoRR	2002	DBLP BibTeX RDF
16	Paolo Liberatore, Marco Schaerf	Compilability of Abduction	CoRR	2002	DBLP BibTeX RDF
16	Piero A. Bonatti	Abduction, ASP and open logic programs.	NMR	2002	DBLP BibTeX RDF
16	Ken Satoh	Speculative computation and abduction for an autonomous agent.	NMR	2002	DBLP BibTeX RDF
16	Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello	Abduction with Penalization in Logic Programming	CoRR	2001	DBLP BibTeX RDF
16	Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe	Coherent Composition of Distributed Knowledge-Bases Through Abduction.	LPAR	2001	DBLP DOI BibTeX RDF
16	Jonathan Corcoran, Ian D. Wilson, Owen M. Lewis, J. Andrew Ware	Data Clustering and Rule Abduction to Facilitate Crime Hot Spot Prediction.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
16	Bert Van Nuffelen, Antonis C. Kakas	A-system: Declarative Programming with Abduction.	LPNMR	2001	DBLP DOI BibTeX RDF
16	David Pearce 0001, Agustín Valverde	Abduction in equilibrium logic.	Answer Set Programming	2001	DBLP BibTeX RDF
16	Fangzhen Lin, Jia-Huai You	Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting.	IJCAI	2001	DBLP BibTeX RDF
16	Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker	A-System: Problem Solving through Abduction.	IJCAI	2001	DBLP BibTeX RDF
16	Ian Ruthven	Abduction, explanation and relevance feedback.		2001	RDF
16	Kewen Wang 0001	Argumentation-based abduction in disjunctive logic programming.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
16	Noboru Iwayama, Ken Satoh	Computing abduction by using TMS with top-down expectation.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
16	Alvaro del Val	On some tractable classes in deduction and abduction.	Artif. Intell.	2000	DBLP DOI BibTeX RDF
16	Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli	Multistrategy Theory Revision: Induction and Abduction in INTHELEX.	Mach. Learn.	2000	DBLP DOI BibTeX RDF
16	Antonis C. Kakas	ACLP: Integrating Abduction and Constraint Solving	CoRR	2000	DBLP BibTeX RDF
16	Maroua Bouzid, Antoni Ligeza	Temporal Causal Abduction.	Constraints An Int. J.	2000	DBLP DOI BibTeX RDF
16	Harry Bunt, William Black (eds.)	Abduction, Belief and Context in Dialogue		2000	DBLP DOI BibTeX RDF
16	Slim Abdennadher, Henning Christiansen 0001	An Experimental CLP Platform for Integrity Constraints and Abduction.	FQAS	2000	DBLP DOI BibTeX RDF
16	Dov M. Gabbay	Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures.	ARW	2000	DBLP BibTeX RDF
16	Olivier de Mouzon, Didier Dubois, Henri Prade	Using consistency and abduction based indices in possibilistic causal diagnosis.	FUZZ-IEEE	2000	DBLP DOI BibTeX RDF
16	Akinori Abe	The Role of Abduction in Internet-Based Applications.	PRICAI	2000	DBLP DOI BibTeX RDF
16	Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama	Speculative Computation by Abduction under Incomplete Communication Environments.	ICMAS	2000	DBLP DOI BibTeX RDF
16	Paolo Liberatore, Marco Schaerf	Compilability of Abduction.	AAAI/IAAI	2000	DBLP BibTeX RDF
16	Alvaro del Val	The Complexity of Restricted Consequence Finding and Abduction.	AAAI/IAAI	2000	DBLP BibTeX RDF
16	Paolo Liberatore, Francesco M. Donini	Verification Programs for Abduction.	ECAI	2000	DBLP BibTeX RDF
16	Raúl Monroy	The Use of Abduction and Recursion-Editor Techniques for the Correction of Faulty Conjectures.	ASE	2000	DBLP DOI BibTeX RDF
16	Ramón Pino Pérez, Carlos Uzcátegui	Ordering explanations and the structural rules for abduction.	KR	2000	DBLP BibTeX RDF
16	Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	Semantics of Communicating Agents Based on Deduction and Abduction.	Issues in Agent Communication	2000	DBLP DOI BibTeX RDF
16	Bart Demoen	Prolog and abduction 4 writing garbage collectors.	LOPSTR	2000	DBLP BibTeX RDF
16	Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi	Integrating Induction and Abduction in Logic Programming.	Inf. Sci.	1999	DBLP DOI BibTeX RDF
16	Katsumi Inoue, Chiaki Sakama	Computing Extended Abduction Through Transaction Programs.	Ann. Math. Artif. Intell.	1999	DBLP DOI BibTeX RDF
16	Robert G. Burton	A Neurocomputational Approach to Abduction.	Minds Mach.	1999	DBLP DOI BibTeX RDF
16	Bashar Nuseibeh, Alessandra Russo	Using Abduction to Evolve Inconsistent Requirements Specification.	Australas. J. Inf. Syst.	1999	DBLP BibTeX RDF
16	José Júlio Alferes, Luís Moniz Pereira, Terrance Swift	Well-founded Abduction via Tabled Dual Programs.	ICLP	1999	DBLP BibTeX RDF
16	Jacinto A. Dávila	OPENLOG: A Logic Programming Language Based on Abduction.	PPDP	1999	DBLP DOI BibTeX RDF
16	Peter Vojtás	Fuzzy logic abduction.	EUSFLAT-ESTYLF Joint Conf.	1999	DBLP BibTeX RDF
16	Antonis C. Kakas, Antonia Michael	Air-Crew Scheduling through Abduction.	IEA/AIE	1999	DBLP DOI BibTeX RDF
16	Shohei Kato, Satoru Oono, Hirohisa Seki, Hidenori Itoh	Cost-Based Abduction Using Binary Decision Diagrams.	IEA/AIE	1999	DBLP DOI BibTeX RDF
16	Agnès Voisard	Abduction and Deduction in Geologic Hypermaps.	SSD	1999	DBLP DOI BibTeX RDF
16	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
16	Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi	Intuitive minimal abduction in sequent calculi.	J. Comput. Sci. Technol.	1998	DBLP DOI BibTeX RDF
16	Ashraf M. Abdelbar	An Algorithm for Finding MAPs for Belief Networks Through Cost-Based Abduction.	Artif. Intell.	1998	DBLP DOI BibTeX RDF
16	Béchir el Ayeb, Shengrui Wang, Jifeng Ge	A unified model for abduction-based reasoning.	IEEE Trans. Syst. Man Cybern. Part A	1998	DBLP DOI BibTeX RDF
16	Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes	Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).	Log. J. IGPL	1998	DBLP DOI BibTeX RDF
16	Gerhard Wetzel, Francesca Toni	Semantic Query Optimization through Abduction and Constraint Handling.	FQAS	1998	DBLP DOI BibTeX RDF
16	Ken Satoh	Using Two Level Abduction to Decide Similarity of Cases.	ECAI	1998	DBLP BibTeX RDF
16	Fabrizio Riguzzi	Integrating Abduction and Induction.	ECAI	1998	DBLP BibTeX RDF
16	Régis Sabbadin	Decision As Abduction?	ECAI	1998	DBLP BibTeX RDF
16	Katsumi Inoue, Chiaki Sakama	Specifying Transactions for Extended Abduction.	KR	1998	DBLP BibTeX RDF
16	José Júlio Alferes, Luís Moniz Pereira	Tabling Abduction.	TAPD	1998	DBLP BibTeX RDF
16	Thomas Eiter, Georg Gottlob, Nicola Leone	Semantics and Complexity of Abduction from Default Theories.	Artif. Intell.	1997	DBLP DOI BibTeX RDF
16	Tim Menzies, Paul Compton	Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models.	Artif. Intell. Medicine	1997	DBLP DOI BibTeX RDF
16	Thomas Eiter, Georg Gottlob, Nicola Leone	Abduction from Logic Programs: Semantics and Complexity.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
16	Akihiro Kubota	Abduction Machine-1 as wooden furniture.	Knowl. Based Syst.	1997	DBLP DOI BibTeX RDF
16	Antonis C. Kakas, Fabrizio Riguzzi	Learning with Abduction.	ILP	1997	DBLP DOI BibTeX RDF
16	Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi	Introducing Abduction into (Extensional) Inductive Logic Programming Systems.	AI*IA	1997	DBLP DOI BibTeX RDF
16	Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré	An Efficient Algorithm for Temporal Abduction.	AI*IA	1997	DBLP DOI BibTeX RDF
16	Gilles Défourneaux, Nicolas Peltier	Analogy and Abduction in Automated Deduction.	IJCAI (1)	1997	DBLP BibTeX RDF
16	Ingrid Zukerman, Richard McConachy, Kevin B. Korb	Using Bayesian Networks for Abduction in Argumentation.	ICONIP (1)	1997	DBLP BibTeX RDF
16	Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino	Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
16	Craig Boutilier	Abduction to Plausible Causes: An Event-Based model of Belief Update.	Artif. Intell.	1996	DBLP DOI BibTeX RDF
16	Eugene Santos Jr., Eugene S. Santos	Polynomial Solvability of Cost-Based Abduction.	Artif. Intell.	1996	DBLP DOI BibTeX RDF
16	Ashok K. Goel 0001, J. Ramanujam	A neural architecture for a class of abduction problems.	IEEE Trans. Syst. Man Cybern. Part B	1996	DBLP DOI BibTeX RDF
16	Béchir el Ayeb, Shengrui Wang	An Effective Algorithm for Incompatibility Abduction Problems.	Int. J. Artif. Intell. Tools	1996	DBLP DOI BibTeX RDF
16	Kouichi Hirata	Rule-Generating Abduction for Recursive Prolog.	Informatica (Slovenia)	1996	DBLP BibTeX RDF
16	Tim Menzies	Applications of abduction: knowledge-level modelling.	Int. J. Hum. Comput. Stud.	1996	DBLP DOI BibTeX RDF
16	Marta Cialdea Mayer, Fiora Pirri	Abduction is not Deduction-in-Reverse.	Log. J. IGPL	1996	DBLP DOI BibTeX RDF
16	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	On the Complexity of Abduction.	LICS	1996	DBLP DOI BibTeX RDF
16	Hendrik Decker	An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.	JICSLP	1996	DBLP BibTeX RDF
16	Jean-François Boulicaut, Christophe Rigotti	Abduction et déduction de structures d'objets: une intégration multiparadigmes.	JFPLC	1996	DBLP BibTeX RDF
16	Marta Cialdea Mayer, Fiora Pirri	A Study on the Logic of Abduction.	ECAI	1996	DBLP BibTeX RDF
16	Tze Ho Fung	Abduction by deduction.		1996	RDF
16	Ashok K. Goel 0001, John R. Josephson, Olivier Fischer, P. Sadayappan	Practical abduction: characterization, decomposition and concurrency.	J. Exp. Theor. Artif. Intell.	1995	DBLP DOI BibTeX RDF
16	David B. Leake	Abduction, experience, and goals: a model of everyday abductive explanation.	J. Exp. Theor. Artif. Intell.	1995	DBLP DOI BibTeX RDF
16	Paulo Quaresma, José Gabriel Lopes	Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues.	J. Log. Program.	1995	DBLP DOI BibTeX RDF