Efficient reasoning about rich temporal domains

DOI10.1007/BF00297513zbMath0662.03014OpenAlexW4237838644MaRDI QIDQ1113891

Yoav Shoham

Publication date: 1988

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00297513

zbMATH Keywords

temporal logicnonmonotonic logicspreference logicsextended prediction problemlogic of chronological ignorancenonmonotonic temporal inferencestemporal knowledge

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (19)

Nonmonotonic reasoning with multiple belief sets ⋮ Deontic logic as founded on nonmonotonic logic ⋮ Modelling default and likelihood reasoning as probabilistic reasoning. ⋮ A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information ⋮ Computing verisimilitude ⋮ Graph decompositions and tree automata in reasoning with uncertainty ⋮ A preferential semantics for causal reasoning about action ⋮ Applying the persistent set approach in temporal reasoning ⋮ Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference ⋮ A postulate-driven study of logical argumentation ⋮ The Gärdenfors impossibility theorem in non-monotonic contexts ⋮ On the semantics of the unknown ⋮ Guest editors' introduction ⋮ Implication with possible exceptions ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ Nonmonotonicity in the framework of parametric logic ⋮ Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data ⋮ Only persistence makes nonmonotonicity monotonous ⋮ An information-based theory of conditionals

Cites Work

• Unnamed Item
• Semantical considerations on nonmonotonic logic
• Closed-world databases and circumscription
• Problems in formal temporal reasoning
• Nonmonotonic logic and temporal projection
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Non-monotonic logic. I
• Nonmonotonic Logic II

This page was built for publication: Efficient reasoning about rich temporal domains