scientific article; zbMATH DE number 1761413
From MaRDI portal
Publication:4537433
zbMath0988.68626MaRDI QIDQ4537433
Miroslaw Truszczynski, Victor W. Marek
Publication date: 30 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic programming (68N17)
Related Items (7)
Natural dualities through product representations: bilattices and beyond ⋮ Update by means of inference rules ⋮ Revision programming ⋮ Annotated revision specification programs ⋮ Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints ⋮ Possible models computation and revision -- a practical approach ⋮ LUPS -- A language for updating logic programs
This page was built for publication:
