MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Autoepistemic Logics of Closed Beliefs and Logic Programming." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

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

Showing 1 through 3.

ATOM

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