Pages that link to "Item:Q1060013"

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

Displaying 50 items.

• Ordering events: Intervals are sufficient, more general sets are usually not necessary (Q1921301) (← links)
• Reasoning about time in the situation calculus (Q1924726) (← links)
• Tractable approximations for temporal constraint handling (Q1978249) (← links)
• \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions (Q2029709) (← links)
• Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
• The token reification approach to temporal reasoning (Q2171256) (← links)
• Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
• Group planning with time constraints (Q2248560) (← links)
• Temporal properties of repetitive entities (Q2386353) (← links)
• Active logic semantics for a single agent in a static world (Q2389647) (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
• Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656) (← links)
• A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
• Planning temporal events using point-interval logic (Q2473196) (← links)
• Intention is choice with commitment (Q2640592) (← links)
• The topology of boundaries (Q2676561) (← links)
• A logic of time, chance, and action for representing plans (Q2676563) (← links)
• Planning with natural actions in the situation calculus (Q2734938) (← links)
• Prompt Interval Temporal Logic (Q2835872) (← links)
• Managing temporal cycles in planning problems requiring concurrency (Q2857288) (← links)
• Decidability of a hybrid duration calculus (Q2867952) (← links)
• Back from the future (Q2901197) (← links)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
• THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE (Q3225378) (← links)
• Complex action suggests future-included theory (Q3379644) (← links)
• Satisfying constraint sets through convex envelopes (Q3429327) (← links)
• Polyhedral Reformulation of a Scheduling Problem And Related Theoretical Results (Q3598041) (← links)
• Mathematical model for dynamic case-based planning (Q3643155) (← links)
• Two theories of time (Q4240678) (← links)
• Event scheduling using allen's algebra (Q4256052) (← links)
• MODELING THE REPRESENTATION OF TIME FROM A FUZZY PERSPECTIVE (Q4301862) (← links)
• Actions and Events in Interval Temporal Logic (Q4316294) (← links)
• Complexity studies of a temporal constraint propagation algorithm: a statistical analysis (Q4421240) (← links)
• A planning language for embedded systems (Q4421244) (← links)
• Knowledge representation with multiple logical theories and time (Q4421284) (← links)
• Embedding Intelligent Planning Capability to DEVS Models by Goal Regression Method (Q4443143) (← links)
• An interval-based temporal algebra based on binary encoding of point relations (Q4506253) (← links)
• Frequent Temporal Pattern Mining with Extended Lists (Q4556934) (← links)
• Egocentric Temporal Action Proposals (Q4617050) (← links)
• The TRAINS project: a case study in building a conversational planning agent (Q4834393) (← links)
• Uncertantty in temporal representation and reasoning (Q4935388) (← links)
• Логика в онтологии процессов (Q5059698) (← links)
• Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
• Programming with Annotated Logics (Q5213779) (← links)
• Temporal Deontic Defeasible Logic: An Analytical Approach (Q5505410) (← links)
• Temporal agent programs (Q5940961) (← links)
• Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
• Fuzzy temporal constraint logic: A valid resolution principle (Q5946476) (← links)
• Temporal and event information in natural language text (Q6547643) (← links)
• A temporal logic for successive events (Q6562543) (← links)