A logic-based calculus of events
From MaRDI portal
Recommendations
Cites work
Cited in
(only showing first 100 items - show all)- A formal characterisation of Hamblin's action-state semantics
- From change to spacetime: an eleatic journey
- Introduction: Progress in formal commonsense reasoning
- Understanding dynamic scenes
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Consistency-based and abductive diagnoses as generalised stable models
- Combining event calculus and description logic reasoning via logic programming
- Operators vs. arguments: The ins and outs of reification
- Using abduction and induction for operational requirements elaboration
- A probabilistic logic programming event calculus
- A general framework for reasoning about change
- Bounded situation calculus action theories
- A unifying action calculus
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- A terminological interpretation of (abductive) logic programming
- John McCarthy's legacy
- Time representation: A taxonomy of temporal models
- The refinement extension principle for semantics of dynamic logic programming
- The Fusemate logic programming system
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- An executable specification of a formal argumentation protocol
- A unifying semantics for time and events
- An overview of transaction logic
- Completing causal networks by meta-level abduction
- Probabilistic event calculus for event recognition
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Formalising the Fisherman's Folly puzzle
- Incremental learning of event definitions with inductive logic programming
- Learning from interpretation transition
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Planning parallel actions
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Law and logic: a review from an argumentation perspective
- An algebraic framework for temporal attribute characteristics
- A resource-efficient event algebra
- Authorization and Obligation Policies in Dynamic Systems
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- The complexity and generality of learning answer set programs
- Nonmonotonic causal theories
- Action models for conditionals
- Nonmonotonic abductive inductive learning
- scientific article; zbMATH DE number 1945868 (Why is no real title available?)
- scientific article; zbMATH DE number 4119672 (Why is no real title available?)
- A qualitative spatial representation of string loops as holes
- A Semantical Account of Progression in the Presence of Defaults
- Normative KGP agents
- Temporal representation and reasoning in artificial intelligence: A review
- Abductive logic programming agents with destructive databases
- Default reasoning by deductive planning
- Reasoning about time in the situation calculus
- Online event recognition over noisy data streams
- A circumscriptive calculus of events
- Programming in logic without logic programming
- Reactive computing as model generation
- Formalizing the specification and execution of workflows using the event calculus
- Dynamical temporal interpretation contexts for temporal abstraction
- Formalizing narratives using nested circumscription
- Time and defeasibility in FIPA ACL semantics
- Event calculus and temporal action logics compared
- scientific article; zbMATH DE number 4208063 (Why is no real title available?)
- A comparison of point-based approaches to qualitative temporal reasoning
- Normative reasoning and consequence
- Regression and progression in stochastic domains
- Representation and processing of instantaneous and durative temporal phenomena
- Exception diagnosis in multiagent contract executions
- Temporal abductive reasoning about biochemical reactions
- Knowledge assimilation in domains of actions: a possible causes approach
- Event-based time-stamped claim logic
- Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework
- Knowledge representation with multiple logical theories and time
- A survey on temporal logics for specifying and verifying real-time systems
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Simulating Dynamic Systems Using Linear Time Calculus Theories
- Probabilistic reasoning about epistemic action narratives
- Reasoning about non-immediate triggers in biological networks
- An event-based fragment of first-order logic over intervals
- scientific article; zbMATH DE number 5587277 (Why is no real title available?)
- Situation calculus specifications for event calculus logic programs
- A typed language for events
- Temporal disjunctive logic programming
- Planning under uncertainty as G<scp>OLOG</scp>programs
- A probabilistic interval-based event calculus for activity recognition
- Revising event calculus theories to recover from unexpected observations
- Towards metric temporal answer set programming
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- ${\cal B}$ -Tropos
- Improving the semantics of the software cost reduction method
- A logic-based, reactive calculus of events
- Online learning of event definitions
- A formalization of double auction market dynamics
- A general first-order solution to the ramification problem with cycles
- Logic-based learning of answer set programs
- Representing Allen's properties, events, and processes
- Applications of action languages in cognitive robotics
- Between the event calculus and finite state temporality
- Towards the assessment of logics for concurrent actions
- Stable Models for Temporal Theories
- Modelling last-act attempted crime in criminal law
- Position systems in dynamic domains
- Learning explanations for biological feedback with delays using an event calculus
This page was built for publication: A logic-based calculus of events
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514239)
