Publication:1606116

DOI10.1016/S0004-3702(02)00196-0zbMATH Open1015.68170OpenAlexW1963666633WikidataQ98283965 ScholiaQ98283965MaRDI QIDQ1606116FDOQ1606116

R. Smith

Publication date: 31 July 2002

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00196-0

zbMATH Keywords

verificationresolutionautomated deductionmodal logicstemporal logicsrational agents

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A structure-preserving clause form translation
• Temporal resolution using a breadth-first search algorithm
• Clausal temporal resolution
• Decision procedures and expressiveness in the temporal logic of branching time
• A clausal resolution method for CTL branching-time temporal logic
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Decision procedures for BDI logics
• Why combine logics?
• Combinations of modal logics
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Search strategies for resolution in temporal logics
• Resolution-based methods for modal logics
• Modal resolution in clausal form
• Resolution for temporal logics of knowledge
• Resolution-based calculi for modal and temporal logics
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

Cited In (2)

• Title not available (Why is that?)
• A resolution calculus for the branching-time temporal logic CTL

Uses Software

• KARO
• FaCT++

This page was built for publication: Clausal resolution in a logic of rational agency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606116)