MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Autoepistemic Logic of Knowledge and Beliefs." – 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 Logic of Knowledge and Beliefs
by Teodor C Przymusinski — 1998 — In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94
…Autoepistemic Logic of Knowledge and Beliefs Teodor C. Przymusinski Department of Computer…
Cited by 16 (13 self) – Add To MetaCart

Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
by Jan Sefranek
…@(email omitted); Abstract. Przymusinski's Autoepistemic Logic of Knowledge and Belief (AELKB) is a unifying framework…
Add To MetaCart

Static Semantics as Program Transformation and Well-founded Computation
by Stefania Costantini, Gaetano A. Lanzarone — 1995 — Nonmonotonic Extensions of Logic Programming, LNAI 927
…-order Autoepistemic Logic of Knowledge and Beliefs. The language of these kinds of theories is a propositional…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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