A qualitative temporal extension of here-and-there logic

DOI10.1007/978-3-031-15707-3_13OpenAlexW4293179427MaRDI QIDQ2694563

Yanyan Li

Publication date: 4 April 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_13

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Uses Software

• DatalogMTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• A spectrum of definitions for temporal model-based diagnosis
• Nested expressions in logic programs
• Towards Metric Temporal Answer Set Programming
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• Logics in Artificial Intelligence
• On weakened quantification
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming