Publication:4028767
From MaRDI portal
zbMath0765.68195MaRDI QIDQ4028767
Publication date: 28 March 1993
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Toward a comprehensive treatment of temporal constraints about periodic events, Temporal representation and reasoning in artificial intelligence: A review, Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure, Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class, Linear temporal logic as an executable semantics for planning languages, Reaching agreements through argumentation: a logical model and implementation, On point-based temporal disjointness, Efficient algorithms for qualitative reasoning about time, A general framework for reasoning about change, Implementation of the temporal reasoning mechanism in modern intelligent systems, Temporal reasoning about fuzzy intervals, Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class, Planning temporal events using point-interval logic, A knowledge server for reasoning about temporal constraints between classes and instances of events, Unnamed Item