scientific article; zbMATH DE number 978236

zbMath0865.68112MaRDI QIDQ4332412

Luís Moniz Pereira, José Júlio Alferes, Teodor C. Przymusinski

Publication date: 21 April 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

belief revisionnon-monotonic reasoninglogic programmingautoepistemic logic of beliefs

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (5)

Belief, provability, and logic programs ⋮ Static semantics for normal and disjunctive logic programs ⋮ Autoepistemic logic of knowledge and beliefs ⋮ Incremental computation for structured argumentation over dynamic DeLP knowledge bases ⋮ Strong and explicit negation in non-monotonic reasoning and logic programming

This page was built for publication: