MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abducing Abduction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

28 documents found, showing 1 through 10. Next 10 →

ATOM

Abduction with Negation as Failure for Active and Reactive Rules
by Fariba Sadri, Francesca Toni — 2000 — In Proc. AI*IA-1999
… agents. In particular, abducibles in abductive logic programs can be used to represent actions…
Cited by 16 (7 self) – Add To MetaCart

Logic Programming Techniques for Solving Circuit Diagnosis
by J. J. Alferes, F. Azevedo, P. Barahona, C. V. Damasio, T. Swift — 2001 — In AIAI
… faults as abducibles, and the abductive program is evaluated using tabling. As an alternative…
Cited by 6 (6 self) – Add To MetaCart

Translating Case-Based Reasoning into Abductive Logic Programming
by Ken Satoh — 1996 — In Proceedings European Conference on Artificial Intelligence (ECAI
… and abducibles used in a translated abductive logic program and show that we can construct an argument by using…
Cited by 2 (1 self) – Add To MetaCart

Regular Extension Semantics and Disjunctive Eshghi-Kowalski Procedure
by Jia-huai You, Li Yan Yuan, Randy Goebel, Y Goebel — 1998 — In Proc. JICSLP '98
… are atoms, and not fl i 's are called assumptions. Assumptions are used as abducibles in abductive logic…
Cited by 3 (1 self) – Add To MetaCart

Abduction, ASP and Open Logic Programs
by P. A. Bonatti
… open inference). Moreover, abduction looks for simple definitions of the abducible predicates…
Cited by 2 (0 self) – Add To MetaCart

The Effect of Partial Deduction in Abductive Reasoning
by Chiaki Sakama, Katsumi Inoue — 1995 — In: Proceedings of the 12th International Conference on Logic Programming
… of atoms called abducibles. An abductive logic program is called an abductive Horn program if P is a Horn…
Cited by 1 (1 self) – Add To MetaCart

A Causal Theory of Abduction
by Alexander Bochman — in "7th Int. Symposium on Logical Formalizations of Common Sense Reasoning
… in an abductive system A if there exists a consistent set of abducibles a ⊆ A such that A ∈ Cn(a); in this case…
Cited by 3 (0 self) – Add To MetaCart

Abduction and Induction in AI:Report of the IJCAI'97 Workshop
by unknown authors — 1998
… model causally and use abduction for evidential reasoning (as do abduc-tive diagnosis and belief…
Add To MetaCart

Moral decision making with ACORDA
by Luís Moniz Pereira, Ari Saptawijaya — 2007 — Short papers call, Local Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR’07
… to generate possible abductive scenarios. Forward reasoning can then be applied to abducibles in those…
Cited by 1 (1 self) – Add To MetaCart

SLDNFA: an abductive procedure for normal abductive programs
by Marc Denecker, Danny De Schreye — 1992 — Proc. of the International Joint Conference and Symposium on Logic Programming
…, the predicates which describe the events, i.e. happens=1; act=2 and are abducible. An abductive solution for a…
Cited by 54 (15 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB