Towards a general theory of action and time
From MaRDI portal
Publication:1060013
DOI10.1016/0004-3702(84)90008-0zbMath0567.68025OpenAlexW2122540544WikidataQ114831197 ScholiaQ114831197MaRDI QIDQ1060013
Publication date: 1984
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(84)90008-0
Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases, The problem of coincidence in a theory of temporal multiple recurrence, A general framework for reasoning about change, Compatibility between interval structures and partial orderings, Event scheduling using allen's algebra, A generalized time quantifier approach to approximate reasoning, Motivated action theory: A formal theory of causal reasoning, An overview of transaction logic, On point-based temporal disjointness, Back from the future, Specification and verification of database dynamics, Temporal logics in AI: semantical and ontological considerations, Логика в онтологии процессов, Системы временной логики I: моменты, истории, деревья, Intention is choice with commitment, Reasoning about action. I: A possible worlds approach, Temporal properties of repetitive entities, Operators vs. arguments: The ins and outs of reification, Active logic semantics for a single agent in a static world, MetateM: An introduction, Frequent Temporal Pattern Mining with Extended Lists, An algebraic framework for temporal attribute characteristics, Hybrid languages, Representing Allen's properties, events, and processes, Lattice structure of temporal interval relations, The TRAINS project: a case study in building a conversational planning agent, The token reification approach to temporal reasoning, Duration calculus: Logical foundations, MODELING THE REPRESENTATION OF TIME FROM A FUZZY PERSPECTIVE, Ordering events: Intervals are sufficient, more general sets are usually not necessary, On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders, Approximate reasoning with time, Dynamical temporal interpretation contexts for temporal abstraction, Reasoning about time in the situation calculus, Interpreting a dynamic and uncertain world: task-based control, Programming in metric temporal logic, A survey on temporal logics for specifying and verifying real-time systems, THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE, The topology of boundaries, A logic of time, chance, and action for representing plans, A framework for knowledge-based temporal abstraction, Relation algebras of Sugihara, Belnap, Meyer, and Church, Representing preferences using intervals, A generalized topological view of motion in discrete space., Linear temporal logic symbolic model checking, Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class, A logic-based model of intention formation and action for multi-agent subcontracting, Temporal constraint networks, The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, Tractable approximations for temporal constraint handling, A non-reified temporal logic, A logic-based calculus of events, Planning temporal events using point-interval logic, Group planning with time constraints, Exploiting lattices in a theory of space and time, Reasoning about qualitative temporal information, An interval-based temporal algebra based on binary encoding of point relations, Temporal agent programs, Temporal representation and reasoning in artificial intelligence: A review, Uncertantty in temporal representation and reasoning, Fuzzy temporal constraint logic: A valid resolution principle, Polyhedral Reformulation of a Scheduling Problem And Related Theoretical Results, A timeband framework for modelling real-time systems, Complexity studies of a temporal constraint propagation algorithm: a statistical analysis, A planning language for embedded systems, Knowledge representation with multiple logical theories and time, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Preemptive scheduling and antichain polyhedra, Modeling generalized implicatures using non-monotonic logics, Embedding Intelligent Planning Capability to DEVS Models by Goal Regression Method, Programming with Annotated Logics, Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty, Logic inference using formulas with temporal connectives, Tesseral spatio-temporal reasoning for multi-dimensional data, Formalizing narratives using nested circumscription, Mathematical model for dynamic case-based planning, Prompt Interval Temporal Logic, Backtracking algorithms for disjunctions of temporal constraints, Computational complexity of hybrid interval temporal logics, Temporal Deontic Defeasible Logic: An Analytical Approach, Understanding dynamic scenes, MANAGING TEMPORAL CYCLES IN PLANNING PROBLEMS REQUIRING CONCURRENCY, Satisfying constraint sets through convex envelopes, Efficient algorithms for qualitative reasoning about time, Decidability of a Hybrid Duration Calculus, A critical examination of Allen's theory of action and time, Two theories of time, Fuzzy constraint networks for signal pattern recognition, Temporal scenario modelling and recognition based on possibilistic logic, A unifying semantics for time and events, The complexity of constraint satisfaction problems for small relation algebras, Order-sorted logic programming with predicate hierarchy
Cites Work
