Searching for "Abduction and Abductive Logic Programming." – sorted by Relevance.

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

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

9 documents found, showing 1 through 9.

A Classification of Abduction : Abduction for Logic Programming
by Kouichi Hirata — 1995 — In Proceedings of the Fourteenth International Machine Learning Workshop, ML-14
…A Classification of Abduction : Abduction for Logic Programming Kouichi Hirata Research Institute…
Cited by 13 (4 self) – Add To MetaCart

Abducing Priorities to Derive Intended Conclusions
by Katsumi Inoue — 1999 — In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99
… in the answer set semantics for extended logic programs. Preference abduction is also combined with a usual form…
Cited by 9 (1 self) – Add To MetaCart

Integrating Extensional and Intensional ILP Systems through Abduction
by E. Lamma, P. Mello, M. Milano, F. Riguzzi — 1997
… abductive logic programs. The problem of learning abductive logic programs is emerging as a promising…
Cited by 2 (1 self) – Add To MetaCart

Assumptions and abduction in Prolog
by Henning Christiansen, Veronica Dahl — 2004 — 3rd International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL’04; At the 20th International Conference on Logic Programming, ICLP’04 Saint-Malo
…. Abduction is agreed upon as a powerful technique in logic programming but its actual use in practice appears…
Cited by 6 (5 self) – Add To MetaCart

Abduction And Induction. Essays On Their Relation And Integration. Bibliography
by Peter Flach, Antonis Kakas, The Charles S. Peirce Society — 2000
…: abductive inductive logic programming. In Proceedings of the Fourteenth International Joint Conference…
Cited by 14 (1 self) – Add To MetaCart

Semantic Web Services Challenge 2008 Abductive Synthesis of the Mediator Scenario with
by Christian Kubczak, Tiziana Margaria, Matthias Kaiser, Jens Lemcke, Björn Knuth
…/rules). A whole area in logic programming concerns the use of abduction as form of reasoning to enhance…
Add To MetaCart

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A
by Nikolay Pelov, Emmanuel De Mot, Marc Denecker — 2000 — Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, volume 1955 of Lecture Notes in Arti Intelligence
…. We also report on experiments using CLP, stable logic programming and abduction for solving a complex…
Cited by 8 (2 self) – Add To MetaCart

P.: An abductive framework for information exchange in multi-agent systems
by Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni — In this volume
…), abduction (Abductive Logic Programming) for reasoning from effects to causes, machine learning (Inductive…
Cited by 1 (0 self) – Add To MetaCart

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint
by Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe — 2000 — 8th International Workshop on Non-Monotonic Reasoning, Special Session on Abduction
… to an equivalent logic program which then can be solved by abductive reasoning or by computing stable models…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 9.

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