Search results for "Abductive Logic Programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Phan Minh Dung, Do Duc Hanh, Phan Minh Thang	Stabilization of Information Sharing for Queries Answering in Multiagent Systems.	ICLP	2009	DBLP DOI BibTeX RDF	Abductive Logic Programs, Stabilization, Information Sharing, Cooperative Multiagent Systems
2	Frank Teusink	Three-Valued Completion for Abductive Logic Programs.	ALP	1994	DBLP DOI BibTeX RDF
1	Robert A. Kowalski, Fariba Sadri	Teleo-Reactive Abductive Logic Programs.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Paolo Mancarella, Francesca Toni	Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Sindhu V. Raghavan	Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning.	IJCAI	2011	DBLP BibTeX RDF
1	Sindhu Raghavan, Raymond J. Mooney	Bayesian Abductive Logic Programs.	Statistical Relational Artificial Intelligence	2010	DBLP BibTeX RDF
1	Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes	On Preferring and Inspecting Abductive Models.	PADL	2009	DBLP DOI BibTeX RDF	XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
1	Henning Christiansen	Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
1	Paolo Mancarella, Giacomo Terreni, Francesca Toni	Web Sites Verification: An Abductive Logic Programming Tool.	ICLP	2007	DBLP DOI BibTeX RDF
1	Simona Perri, Francesco Scarcello, Nicola Leone	Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.	TPLP	2005	DBLP DOI BibTeX RDF
1	Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni	Abductive Logic Programming with CIFF: System Description.	JELIA	2004	DBLP DOI BibTeX RDF
1	Simona Perri, Francesco Scarcello, Nicola Leone	Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation	CoRR	2003	DBLP BibTeX RDF
1	Fariba Sadri, Francesca Toni	Abduction with Negation as Failure for Active and Reactive Rules.	AI*IA	1999	DBLP DOI BibTeX RDF
1	Marc Denecker, Danny De Schreye	SLDNFA: An Abductive Procedure for Abductive Logic Programs.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
1	Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi	Learning Multiple Predicates.	AIMSA	1998	DBLP DOI BibTeX RDF
1	Renwei Li, Luís Moniz Pereira	Representing and Reasoning about Concurrent Actions with Abductive Logic Programs.	Ann. Math. Artif. Intell.	1997	DBLP DOI BibTeX RDF
1	Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi	A System for Abductive Learning of Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
1	Renwei Li, Luís Moniz Pereira, Verónica Dahl	Refining Action Theories through Abductive Logic Programming.	LPKR	1997	DBLP DOI BibTeX RDF
1	Katsumi Inoue, Chiaki Sakama	A Fixpoint Characterization of Abductive Logic Programs.	J. Log. Program.	1996	DBLP DOI BibTeX RDF
1	Frank Teusink	Three-Valued Completion for Abductive Logic Programs.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
1	Francesca Toni, Robert A. Kowalski	Reduction of Abductive Logic Programs to Normal Logic Programs.	ICLP	1995	DBLP BibTeX RDF
1	Chiaki Sakama, Katsumi Inoue	On the Equivalence between Disjunctive and Abductive Logic Programs.	ICLP	1994	DBLP BibTeX RDF
1	Katsumi Inoue, Chiaki Sakama	Transforming Abductive Logic Programs to Disjunctive Programs.	ICLP	1993	DBLP BibTeX RDF