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 (92)
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
This page was built for publication: Towards a general theory of action and time
