Temporalizing epistemic default logic

DOI10.1023/A:1008264012385zbMath0921.03036OpenAlexW1518303793MaRDI QIDQ1289106

Wiebe van der Hoek, Jan Treur, John-Jules Ch. Meyer

Publication date: 29 September 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008264012385

zbMATH Keywords

semanticsnonmonotonic reasoningbranching-time temporal logictemporal modelsepistemic default logiclabeled branching treesmeta-level architecturenonmonotonic entailment relationtemporal models for default reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (1)

Formal semantics of meta-level architectures: Dynamic control of reasoning

This page was built for publication: Temporalizing epistemic default logic