Variable Forgetting in Reasoning about Knowledge

DOI10.1613/jair.2750zbMath1192.68677arXiv1401.3472OpenAlexW3104851248WikidataQ129520932 ScholiaQ129520932MaRDI QIDQ3651475

No author found.

Publication date: 10 December 2009

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.3472

zbMATH Keywords

knowledge structure

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (6)

Knowledge forgetting in propositional \(\mu\)-calculus ⋮ Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ A logic-algebraic tool for reasoning with knowledge-based systems ⋮ A model of three-way decisions for knowledge harnessing ⋮ Forgetting in multi-agent modal logics

This page was built for publication: Variable Forgetting in Reasoning about Knowledge