Search results for "Abduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré	The Role of Abduction in Database View Updating.	J. Intell. Inf. Syst.	1995	DBLP DOI BibTeX RDF
16	Craig Boutilier, Verónica Becher	Abduction as Belief Revision.	Artif. Intell.	1995	DBLP DOI BibTeX RDF
16	Béchir el Ayeb, Shengrui Wang	Abduction-Based Diagnosis: A Competition-Based Neural Model Simulating Adductive Reasoning.	J. Parallel Distributed Comput.	1995	DBLP DOI BibTeX RDF
16	Phan Minh Dung, Chandrabose Aravindan	Knowledge base dynamics, Abduction and Databases updates.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Pietro Torasso, Luca Console, Luigi Portinale, Daniele Theseider Dupré	On the Role of Abduction.	ACM Comput. Surv.	1995	DBLP DOI BibTeX RDF
16	Susan Weber McRoy	Misunderstanding and the negotiation of meaning using abduction.	Knowl. Based Syst.	1995	DBLP DOI BibTeX RDF
16	Marta Cialdea Mayer, Fiora Pirri	Propositional Abduction in Modal Logic.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
16	Takao Uehara	Application of abduction to computer bridge.	Syst. Comput. Jpn.	1995	DBLP DOI BibTeX RDF
16	Nícia Cristina Rocha Riccio, Ruy J. G. B. de Queiroz	Labelled Abduction.	SBIA	1995	DBLP DOI BibTeX RDF
16	T. H. Fung	Abduction with Clark Completion.	ICLP	1995	DBLP BibTeX RDF
16	Carlos Viegas Damásio, Luís Moniz Pereira	Abduction over 3-Valued Extended Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
16	Béchir el Ayeb, Shengrui Wang	An effective algorithm for incompatibility abduction problems.	ICTAI	1995	DBLP DOI BibTeX RDF
16	Thomas Eiter, Georg Gottlob, Nicola Leone	Semantics and Complexity of Abduction from Default Theories.	IJCAI (1)	1995	DBLP BibTeX RDF
16	Nicolas Chleq	Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel.		1995	RDF
16	Wlodek Zadrozny	Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations).	J. Exp. Theor. Artif. Intell.	1994	DBLP DOI BibTeX RDF
16	Venu Dasigi	Logical form generation as abduction: Part II. A dual-route parsimonious covering approach.	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
16	Venu Dasigi	Logical form generation as abduction: Part I. Representation of linguistic concepts.	Int. J. Intell. Syst.	1994	DBLP DOI BibTeX RDF
16	Eugene Santos Jr.	A Linear Constraint Satisfaction Approach to Cost-Based Abduction.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
16	Eugene Charniak, Solomon Eyal Shimony	Cost-Based Abduction and MAP Explanation.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
16	Marc Denecker, Danny De Schreye	On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
16	Fiora Pirri, Clara Pizzuti	Explaining Incompatibilities in Data Dictionary Design through Abduction.	Data Knowl. Eng.	1994	DBLP DOI BibTeX RDF
16	Mark E. Stickel	Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.	J. Autom. Reason.	1994	DBLP DOI BibTeX RDF
16	Paul O'Rorke	Abduction and Explanation-Based Learning: Case Studies in Diverse Domains.	Comput. Intell.	1994	DBLP DOI BibTeX RDF
16	Roberto Giacobazzi	Characterizing Abstract Program Properties by Abduction.	GULP-PRODE (1)	1994	DBLP BibTeX RDF
16	Kouichi Hirata	Rule-Generating Abduction for Recursive Prolog.	AII/ALT	1994	DBLP DOI BibTeX RDF
16	Antonis C. Kakas, Paolo Mancarella	Abduction and Abductive Logic Programming.	ICLP	1994	DBLP BibTeX RDF
16	Vladimir Lifschitz, Hudson Turner	From Disjunctive Programs to Abduction.	NMELP	1994	DBLP DOI BibTeX RDF
16	Paul O'Rorke	Focusing on the Most Important Explanations: Decision-Theoretic Horn Abduction.	AAAI	1994	DBLP BibTeX RDF
16	Christian Codognet, Philippe Codognet	Abduction and Concurrent Logic Languages.	ECAI	1994	DBLP BibTeX RDF
16	Ken Satoh	A Top Down Proof Procedure for Default Logic by Using Abduction.	ECAI	1994	DBLP BibTeX RDF
16	Bob Goedhart	Abduction and Uncertainty in Compositional Reasoning.	ECAI	1994	DBLP BibTeX RDF
16	Aldo Franco Dragoni, Paolo Puliti	Mental States Recognition from Speech Acts through Abduction.	ECAI	1994	DBLP BibTeX RDF
16	Jörg Gebhardt, Rudolf Kruse	A Numerical Framework for Possibilistic Abduction.	IPMU	1994	DBLP DOI BibTeX RDF
16	Antonis C. Kakas, George A. Papadopoulos	Parallel Abduction in Logic Programming.	PASCO	1994	DBLP BibTeX RDF
16	Cristina Ribeiro 0001, António Porto	Abduction in Temporal Reasoning.	ICTL	1994	DBLP DOI BibTeX RDF
16	Sheila A. McIlraith	Generating Tests Using Abduction.	KR	1994	DBLP BibTeX RDF
16	Paul Bourgine	Autonomy, abduction, adaptation.	CA	1994	DBLP DOI BibTeX RDF
16	H. Takeda	Abduction for design.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
16	Yasuharu Den	Generalized Chart Algorithm: An Efficient Procedure for Cost-Based Abduction.	ACL	1994	DBLP BibTeX RDF
16	Eugene Santos Jr.	Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction.	J. Exp. Theor. Artif. Intell.	1993	DBLP DOI BibTeX RDF
16	David Poole 0001	Logic Programming, Abduction and Probability - A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities.	New Gener. Comput.	1993	DBLP DOI BibTeX RDF
16	Wlodek Zadrozny	On Rules of Abduction.	Ann. Math. Artif. Intell.	1993	DBLP DOI BibTeX RDF
16	David Poole 0001	Probabilistic Horn Abduction and Bayesian Networks.	Artif. Intell.	1993	DBLP DOI BibTeX RDF
16	Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, Paul A. Martin	Interpretation as Abduction.	Artif. Intell.	1993	DBLP DOI BibTeX RDF
16	Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch	Preferring diagnoses by abduction.	IEEE Trans. Syst. Man Cybern.	1993	DBLP DOI BibTeX RDF
16	Pierre Marquis	Skeptical Abduction.	Int. J. Artif. Intell. Tools	1993	DBLP DOI BibTeX RDF
16	Marta Cialdea Mayer, Fiora Pirri	First order abduction via tableau and sequent calculi.	Log. J. IGPL	1993	DBLP DOI BibTeX RDF
16	Enrico Maim	Restricted Abduction in Constraint Logic Programs.	SEKE	1993	DBLP BibTeX RDF
16	Craig Boutilier, Verónica Becher	Abduction As Belief Revision: A Model of Preferred Explanations.	AAAI	1993	DBLP BibTeX RDF
16	Kave Eshghi	A Tractable Class of Abduction Problems.	IJCAI	1993	DBLP BibTeX RDF
16	Katashi Nagao	Abduction and Dynamic Preference in Plan-Based Dialogue Understanding.	IJCAI	1993	DBLP BibTeX RDF
16	Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima	Bottom-up Abduction by Model Generation.	IJCAI	1993	DBLP BibTeX RDF
16	Kurt Konolige	Abduction Versus Closure in Causal Theories.	Artif. Intell.	1992	DBLP DOI BibTeX RDF
16	Marco Botta, Lorenza Saitta	Use of Causal Models and Abduction in Learning Diagnostic Knowledge.	Int. J. Man Mach. Stud.	1992	DBLP DOI BibTeX RDF
16	Douglas E. Applet, Martha E. Pollack	Weighted Abduction for Plan Ascription.	User Model. User Adapt. Interact.	1992	DBLP DOI BibTeX RDF
16	Thomas Eiter, Georg Gottlob	Complexity Results for Logic-Based Abduction.	Structural Complexity and Recursion-theoretic methods in Logic-Programming	1992	DBLP BibTeX RDF
16	Eugene Charniak, Eugene Santos Jr.	Dynamic MAP Calculations for Abduction.	AAAI	1992	DBLP BibTeX RDF
16	Bradley L. Richards, Ina Kraan, Benjamin Kuipers	Automatic Abduction of Qualitative Models.	AAAI	1992	DBLP BibTeX RDF
16	Annika Wærn	Reactive Abduction.	ECAI	1992	DBLP BibTeX RDF
16	Enrico Maim	Abduction and Constraint Logic Programming.	ECAI	1992	DBLP BibTeX RDF
16	Didier Dubois, Henri Prade	Possibilistic Abduction.	IPMU	1992	DBLP DOI BibTeX RDF
16	David Poole 0001	Logic Programming, Abduction and Probability.	FGCS	1992	DBLP BibTeX RDF
16	Marc Denecker, Danny De Schreye	On the Duality of Abduction and Model Generation.	FGCS	1992	DBLP BibTeX RDF
16	Philip T. Cox, Emanuel Knill, Tomasz Pietrzykowski	Abduction in Logic Programming with Equality.	FGCS	1992	DBLP BibTeX RDF
16	Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson	The Computational Complexity of Abduction.	Artif. Intell.	1991	DBLP DOI BibTeX RDF
16	Olivier Fischer, Ashok K. Goel 0001, John R. Svirbely, Jack W. Smith	The role of essential explanation in abduction.	Artif. Intell. Medicine	1991	DBLP DOI BibTeX RDF
16	Luca Console, Daniele Theseider Dupré, Pietro Torasso	On the Relationship between Abduction and Deduction.	J. Log. Comput.	1991	DBLP DOI BibTeX RDF
16	Fiora Pirri, Clara Pizzuti	Querying Incomplete Knowledge Bases with Abduction.	DEXA	1991	DBLP BibTeX RDF
16	David Poole 0001	Representing Bayesian Networks Within Probabilistic Horn Abduction.	UAI	1991	DBLP BibTeX RDF
16	Dov M. Gabbay	Abduction in Labelled Deductive Systems - A Conceptual Abstract.	ECSQARU	1991	DBLP DOI BibTeX RDF
16	Ken Satoh, Noboru Iwayama	Computing Abduction by Using the TMS.	ICLP	1991	DBLP BibTeX RDF
16	Hwee Tou Ng, Raymond J. Mooney	An Efficient First-Order Horn-Clause Abduction System Based on the ATMS.	AAAI	1991	DBLP BibTeX RDF
16	Pierre Marquis	Extending abduction from propositional to first-order logic.	FAIR	1991	DBLP DOI BibTeX RDF
16	Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré	Object-Level Abduction for View Updates.	DAISD	1991	DBLP BibTeX RDF
16	Pierre Marquis	Mechanizing skeptical abduction and its applications to artificial intelligence.	ICTAI	1991	DBLP DOI BibTeX RDF
16	Hendrik Decker	Consistency Checking by Abduction.	Grundlagen von Datenbanken	1991	DBLP BibTeX RDF
16	Tom Bylander	The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability.	KR	1991	DBLP BibTeX RDF
16	Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino	Negation as Failure and Constraints through Abduction and Defaults.	AI*IA	1991	DBLP DOI BibTeX RDF
16	Marco Botta, S. Ravotto, Lorenza Saitta, S. B. Sperotto	Improving Learning Using Causality and Abduction.	ML	1991	DBLP DOI BibTeX RDF
16	Venu Dasigi	Parsing = Parsimonious Covering? (Abduction in Logical Form Generation).	IJCAI	1991	DBLP BibTeX RDF
16	David Poole 0001	Representing Diagnostic Knowledge for Probabilistic Horn Abduction.	IJCAI	1991	DBLP BibTeX RDF
16	Douglas E. Appelt, Jerry R. Hobbs	Making Abduction More Efficient.	HLT	1990	DBLP BibTeX RDF
16	François Bry	Intensional Updates: Abduction via Deduction.	ICLP	1990	DBLP BibTeX RDF
16	Eugene Charniak, Solomon Eyal Shimony	Probabilistic Semantics for Cost Based Abduction.	AAAI	1990	DBLP BibTeX RDF
16	Antonis C. Kakas, Paolo Mancarella	Knowledge Assimilation and Abduction.	Truth Maintenance Systems (ECAI Workshop)	1990	DBLP DOI BibTeX RDF
16	Antonis C. Kakas, Paolo Mancarella	Generalized Stable Models: A Semantics for Abduction.	ECAI	1990	DBLP BibTeX RDF
16	Jerry R. Hobbs, Megumi Kameyama	Translation by Abduction.	COLING	1990	DBLP BibTeX RDF
16	Peter Norvig, Robert Wilensky	A Critical Evaluation of Commensurable Abduction Models for Semantic Interpretation.	COLING	1990	DBLP BibTeX RDF
16	Antonis C. Kakas, Paolo Mancarella	Database Updates through Abduction.	VLDB	1990	DBLP BibTeX RDF
16	John R. Josephson, M. Beckman, R. Fox, A. Krishnamurthy, T. Patten, L. Feth, B. Chandrasekaran 0001	Pilot Project on Speech Recognition using Layered Abduction and Multiple Knowledge Types.	HLT (2)	1989	DBLP BibTeX RDF
16	Kave Eshghi, Robert A. Kowalski	Abduction Compared with Negation by Failure.	ICLP	1989	DBLP BibTeX RDF
16	Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson	Some Results Concerning the Computational Complexity of Abduction.	KR	1989	DBLP BibTeX RDF
16	Paul O'Rorke, Steven Morris, David Schulenburg	Theory Formation by Abduction: Initial Results of a Case Study Based on the Chemical Revolution.	ML	1989	DBLP BibTeX RDF
16	Murray Shanahan	Prediction is Deduction but Explanation is Abduction.	IJCAI	1989	DBLP BibTeX RDF
16	Hector J. Levesque	A Knowledge-Level Account of Abduction.	IJCAI	1989	DBLP BibTeX RDF
16	Jerry R. Hobbs, Mark E. Stickel, Paul A. Martin, Douglas Edwards	Interpretation as Abduction.	ACL	1988	DBLP BibTeX RDF
12	Caecilia Charbonnier, Lazhari Assassi, Pascal Volino, Nadia Magnenat-Thalmann	Motion study of the hip joint in extreme postures.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Extreme motion, Hip osteoarthritis, Motion capture, Physically-based simulation
12	Verónica Dahl, Baohua Gu, Erez Maharshak	A Hyprolog Parsing Methodology for Property Grammars.	IWANN (1)	2009	DBLP DOI BibTeX RDF	Hyprolog, Semantic Property Grammars, parsing, text retrieval, concept extraction
12	Akinori Abe	Cognitive Chance Discovery.	HCI (5)	2009	DBLP DOI BibTeX RDF
12	Azzurra Chiri, Francesco Giovacchini, Nicola Vitiello, Emanuele Cattin, Stefano Roccella, Fabrizio Vecchi, Maria Chiara Carrozza	HANDEXOS: Towards an exoskeleton device for the rehabilitation of the hand.	IROS	2009	DBLP DOI BibTeX RDF