scientific article

zbMath0988.68030MaRDI QIDQ2767039

Jan Šefránek

Publication date: 22 July 2002

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

zbMATH Keywords

nonmonotonic reasoningstable modelKripke structureknowledge representation and reasoningupdatesdynamic Kripke structuredynamic logic programmingknowledge evolution

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: