Pages that link to "Item:Q1060013"

The following pages link to Towards a general theory of action and time (Q1060013):

Displaying 50 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
• The problem of coincidence in a theory of temporal multiple recurrence (Q266873) (← links)
• Linear temporal logic symbolic model checking (Q465680) (← links)
• A logic-based calculus of events (Q514239) (← links)
• Representing preferences using intervals (Q646529) (← links)
• A critical examination of Allen's theory of action and time (Q809997) (← links)
• Fuzzy constraint networks for signal pattern recognition (Q814488) (← links)
• Temporal scenario modelling and recognition based on possibilistic logic (Q814498) (← links)
• A unifying semantics for time and events (Q814548) (← links)
• The complexity of constraint satisfaction problems for small relation algebras (Q814599) (← links)
• Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
• Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
• An algebraic framework for temporal attribute characteristics (Q862835) (← links)
• A timeband framework for modelling real-time systems (Q987537) (← links)
• Preemptive scheduling and antichain polyhedra (Q1003473) (← links)
• Modeling generalized implicatures using non-monotonic logics (Q1006457) (← links)
• Specification and verification of database dynamics (Q1092680) (← links)
• Temporal logics in AI: semantical and ontological considerations (Q1096384) (← links)
• Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
• Approximate reasoning with time (Q1125325) (← links)
• Interpreting a dynamic and uncertain world: task-based control (Q1128764) (← links)
• Programming in metric temporal logic (Q1128978) (← links)
• Temporal constraint networks (Q1182161) (← links)
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning (Q1182164) (← links)
• A non-reified temporal logic (Q1190791) (← links)
• Exploiting lattices in a theory of space and time (Q1202661) (← links)
• Reasoning about qualitative temporal information (Q1204871) (← links)
• Formalizing narratives using nested circumscription (Q1274680) (← links)
• Compatibility between interval structures and partial orderings (Q1331978) (← links)
• Motivated action theory: A formal theory of causal reasoning (Q1341664) (← links)
• An overview of transaction logic (Q1341707) (← links)
• On point-based temporal disjointness (Q1342229) (← links)
• Duration calculus: Logical foundations (Q1377324) (← links)
• Dynamical temporal interpretation contexts for temporal abstraction (Q1383363) (← links)
• A framework for knowledge-based temporal abstraction (Q1402747) (← links)
• A generalized topological view of motion in discrete space. (Q1427776) (← links)
• Backtracking algorithms for disjunctions of temporal constraints (Q1575430) (← links)
• Understanding dynamic scenes (Q1589466) (← links)
• Unifying theories of time with generalised reactive processes (Q1708268) (← links)
• Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty (Q1807606) (← links)
• Logic inference using formulas with temporal connectives (Q1816331) (← links)
• Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
• Efficient algorithms for qualitative reasoning about time (Q1855212) (← links)
• The SINIX consultant -- towards a theoretical treatment of plan recognition (Q1857119) (← links)
• A general framework for reasoning about change (Q1877375) (← links)
• A generalized time quantifier approach to approximate reasoning (Q1885721) (← links)
• MetateM: An introduction (Q1904643) (← links)
• Hybrid languages (Q1909610) (← links)
• Representing Allen's properties, events, and processes (Q1910462) (← links)
• Lattice structure of temporal interval relations (Q1910463) (← links)