Reasoning with knowledge and belief

zbMath0972.68132MaRDI QIDQ5930852

Teodor C. Przymusinski

Publication date: 26 April 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

autoepistemic logic

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Logic programming (68N17) General topics in artificial intelligence (68T01)

Related Items (2)

An infinite-game semantics for well-founded negation in logic programming ⋮ The alternating fixpoint of logic programs with negation

This page was built for publication: Reasoning with knowledge and belief