A non-reified temporal logic
From MaRDI portal
Publication:1190791
DOI10.1016/0004-3702(91)90025-FzbMATH Open0762.03009OpenAlexW2110415540MaRDI QIDQ1190791FDOQ1190791
Authors: Fahiem Bacchus, Josh Tenenberg, Johannes A. Koomen 
Publication date: 26 September 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(91)90025-f
Recommendations
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)
Cites Work
- Maintaining knowledge about temporal intervals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a general theory of action and time
- Temporal logics in AI: semantical and ontological considerations
- A propositional modal logic of time intervals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Infinitary logic and admissible sets
- Logic of many-sorted theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning about recurrence
Cited In (12)
- Cost-based temporal reasoning
- Reified temporal logics: An overview
- Title not available (Why is that?)
- Operators vs. arguments: The ins and outs of reification
- Nonclausal deduction in first-order temporal logic
- Temporal representation and reasoning in artificial intelligence: A review
- A non-standard temporal deductive database system
- Time representation: A taxonomy of temporal models
- Non-associative Kleene Algebra and Temporal Logics
- The token reification approach to temporal reasoning
- Title not available (Why is that?)
- A really temporal logic
This page was built for publication: A non-reified temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190791)
