Searching for "Belief Logic Programming." – sorted by Relevance.

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

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

8 documents found, showing 1 through 8.

Circular Belief in Logic Programming Semantics
by Pascal Hitzler — 2002 — Department of Computer Science, Dresden University of Technology
…Circular Belief in Logic Programming Semantics Pascal Hitzler Knowledge Representation…
Cited by 2 (2 self) – Add To MetaCart

Autoepistemic Logics of Closed Beliefs and Logic Programming
by Teodor C. Przymusinski — 1995 — Proceedings of the First International Workshop on Logic Programming and Non-monotonic Reasoning
…Autoepistemic Logics of Closed Beliefs and Logic Programming Teodor C. Przymusinski Department…
Cited by 21 (10 self) – Add To MetaCart

Belief, Probability, and Logic Programs
by José Júlio Alferes, Luís Moniz Pereira, W. Marek
…. Autoepistemic logic of closed beliefs and logic programming. In A. Nerode, W. Marek, and V. S. Subrahmanian…
Add To MetaCart

Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
by Jürgen Dix, Ross A. Overbeek, Proceedings Of The North — 1994
…. Autoepistemic Logics of Closed Beliefs and Logic Programming. In Anil Nerode, Wiktor Marek, and V. S…
Cited by 71 (13 self) – Add To MetaCart

Toward a Declarative Language for Negotiating Executable Contracts
by Daniel M. Reeves, Benjamin N. Grosof, Michael P. Wellman, Hoi Y. Chan — 1999
…-acyclic pure-belief logic programs (LP's). Here, we mean "logic programs" in the sense of pure-belief knowledge…
Cited by 32 (6 self) – Add To MetaCart

Effective Meta-programming in Declarative Languages
by Antony Francis Bowers — 1998
… logics of knowledge and belief. Logic programming languages are based on rst-order logic, with restric…
Cited by 2 (0 self) – Add To MetaCart

Connection-based Theorem Proving in Classical and Non-classical Logics
by Christoph Kreitz, Jens Otten — 1999 — Journal of Universal Computer Science
… branches of Artificial Intelligence and Computer Science as logics of knowledge and belief, logics…
Cited by 17 (10 self) – Add To MetaCart

A Uniform Proof Procedure for Classical and Non-Classical Logics
by Jens Otten, Jens Otten, Christoph Kreitz, Christoph Kreitz, Fachgebiet Intellektik, Fachgebiet Intellektik, Fachbereich Informatik, Fachbereich Informatik, Technische Hochschule Darmstadt — 1996 — KI-96: Advances in Artificial Intelligence, LNAI 1137
… and belief, logics of programs, and for such tasks as the specification of distributed and concurrent systems…
Cited by 23 (18 self) – Add To MetaCart

Showing 1 through 8.

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