The following pages link to A logic-based calculus of events (Q514239):
Displaying 50 items.
- Reactive computing as model generation (Q264957) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Action models for conditionals (Q302248) (← links)
- A qualitative spatial representation of string loops as holes (Q309906) (← links)
- From change to spacetime: an eleatic journey (Q360435) (← links)
- Completing causal networks by meta-level abduction (Q374193) (← links)
- Time and defeasibility in FIPA ACL semantics (Q456719) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- A resource-efficient event algebra (Q608343) (← links)
- Abductive logic programming agents with destructive databases (Q656819) (← links)
- Incremental learning of event definitions with inductive logic programming (Q747281) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Using abduction and induction for operational requirements elaboration (Q833728) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Operators vs. arguments: The ins and outs of reification (Q857666) (← links)
- An algebraic framework for temporal attribute characteristics (Q862835) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Law and logic: a review from an argumentation perspective (Q899166) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Planning parallel actions (Q1128648) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Time representation: A taxonomy of temporal models (Q1329227) (← links)
- An overview of transaction logic (Q1341707) (← links)
- Dynamical temporal interpretation contexts for temporal abstraction (Q1383363) (← links)
- Understanding dynamic scenes (Q1589466) (← links)
- A comparison of point-based approaches to qualitative temporal reasoning (Q1606329) (← links)
- The complexity and generality of learning answer set programs (Q1647512) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- A general framework for reasoning about change (Q1877375) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Representing Allen's properties, events, and processes (Q1910462) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- Consistency-based and abductive diagnoses as generalised stable models (Q1924796) (← links)
- Exception diagnosis in multiagent contract executions (Q1926581) (← links)
- Improving the semantics of the software cost reduction method (Q1948280) (← links)
- A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- The Fusemate logic programming system (Q2055893) (← links)
- Learning explanations for biological feedback with delays using an event calculus (Q2102315) (← links)
- Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework (Q2163206) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
