scientific article; zbMATH DE number 774417
From MaRDI portal
Publication:4839154
zbMath0842.68077MaRDI QIDQ4839154
Publication date: 16 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other applications of logic (03B80)
Related Items (38)
A general framework for reasoning about change ⋮ Bounded situation calculus action theories ⋮ Applications of Action Languages in Cognitive Robotics ⋮ Temporal Answer Set Programming on Finite Traces ⋮ A preferential semantics for causal reasoning about action ⋮ A description logic based situation calculus ⋮ Non-monotonic spatial reasoning with answer set programming modulo theories ⋮ Ramification and causality ⋮ Twenty-one large tractable subclasses of Allen's algebra ⋮ Formalization of reasoning about default action (preliminary report) ⋮ Towards the assessment of logics for concurrent actions ⋮ Event calculus and temporal action logics compared ⋮ In defense of PDDL axioms ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ Reasoning about action in polynomial time ⋮ Simulation of Action Theories and an Application to General Game-Playing Robots ⋮ John McCarthy's legacy ⋮ A unifying action calculus ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ Formalising the Fisherman's Folly puzzle ⋮ McCarthy variations in a modal key ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Actions, Belief Update, and DDL ⋮ A complete classification of tractability in Allen's algebra relative to subsets of basic relations ⋮ Frame problem in dynamic logic ⋮ Abductive reasoning through filtering ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ A verification-driven framework for iterative design of controllers ⋮ The dramatic true story of the frame default ⋮ An information-based theory of conditionals ⋮ The qualification problem: A solution to the problem of anomalous models ⋮ Introduction: Progress in formal commonsense reasoning ⋮ A unifying semantics for time and events ⋮ Nonmonotonic causal theories ⋮ Logic-based subsumption architecture ⋮ Elaboration tolerance through object-orientation
This page was built for publication:
