scientific article
From MaRDI portal
Publication:2721180
zbMath0963.03015MaRDI QIDQ2721180
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)
Related Items (4)
Conceptual logic programs ⋮ Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Flexible software architectures for ontology-based information systems
This page was built for publication: