Recommendations
Cites work
Cited in
(only showing first 100 items - show all)- Online event recognition over noisy data streams
- Managing user-generated content as a knowledge commons
- Completing causal networks by meta-level abduction
- Online learning of event definitions
- Programming in logic without logic programming
- Logic-based learning of answer set programs
- Incremental Event Calculus for Run-Time Reasoning
- Temporal abductive reasoning about biochemical reactions
- ${\cal B}$ -Tropos
- A unifying semantics for time and events
- Reactive Answer Set Programming
- Understanding dynamic scenes
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- Handling of past and future with Phenesthe+
- Reasoning about non-immediate triggers in biological networks
- An event-based fragment of first-order logic over intervals
- An event calculus production rule system for reasoning in dynamic and uncertain domains
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Probabilistic reasoning about epistemic action narratives
- The refinement extension principle for semantics of dynamic logic programming
- Normative KGP agents
- Reactive computing as model generation
- Knowledge representation with multiple logical theories and time
- Learning explanations for biological feedback with delays using an event calculus
- Combining event calculus and description logic reasoning via logic programming
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
- Using abduction and induction for operational requirements elaboration
- Authorization and Obligation Policies in Dynamic Systems
- scientific article; zbMATH DE number 4208063 (Why is no real title available?)
- A temporal logic for successive events
- Stable Models for Temporal Theories
- A typed language for events
- Making sense of sensory input
- A formalization of double auction market dynamics
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- A paraconsistent approach to actions in informationally complex environments
- John McCarthy's legacy
- A general framework for reasoning about change
- A survey on temporal logics for specifying and verifying real-time systems
- Abductive logic programming agents with destructive databases
- A general first-order solution to the ramification problem with cycles
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- A formal characterisation of Hamblin's action-state semantics
- Modelling last-act attempted crime in criminal law
- scientific article; zbMATH DE number 1844510 (Why is no real title available?)
- Position systems in dynamic domains
- Bounded situation calculus action theories
- Operators vs. arguments: The ins and outs of reification
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Dynamical temporal interpretation contexts for temporal abstraction
- Formalizing narratives using nested circumscription
- Introduction: Progress in formal commonsense reasoning
- A unifying action calculus
- Planning under uncertainty as G<scp>OLOG</scp>programs
- A terminological interpretation of (abductive) logic programming
- Temporal disjunctive logic programming
- Towards the assessment of logics for concurrent actions
- An algebraic framework for temporal attribute characteristics
- A probabilistic logic programming event calculus
- Planning parallel actions
- The Fusemate logic programming system
- Learning Effect Axioms via Probabilistic Logic Programming
- A logic-based, reactive calculus of events
- Applications of action languages in cognitive robotics
- A comparison of point-based approaches to qualitative temporal reasoning
- scientific article; zbMATH DE number 1945868 (Why is no real title available?)
- Action models for conditionals
- A qualitative spatial representation of string loops as holes
- Predicting the evolution of communities with online inductive logic programming
- Learning from interpretation transition
- From change to spacetime: an eleatic journey
- Consistency-based and abductive diagnoses as generalised stable models
- A probabilistic interval-based event calculus for activity recognition
- Revising event calculus theories to recover from unexpected observations
- Answer set planning: a survey
- A circumscriptive calculus of events
- Situation calculus specifications for event calculus logic programs
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Formalising the Fisherman's Folly puzzle
- A resource-efficient event algebra
- Nonmonotonic abductive inductive learning
- Temporal representation and reasoning in artificial intelligence: A review
- The complexity and generality of learning answer set programs
- Representing Allen's properties, events, and processes
- Probabilistic event calculus for event recognition
- Reasoning about time in the situation calculus
- Between the event calculus and finite state temporality
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Knowledge assimilation in domains of actions: a possible causes approach
- Time and defeasibility in FIPA ACL semantics
- scientific article; zbMATH DE number 5587277 (Why is no real title available?)
- Incremental learning of event definitions with inductive logic programming
- Semi-supervised online structure learning for composite event recognition
- Event-based time-stamped claim logic
- Time representation: A taxonomy of temporal models
- An overview of transaction logic
- Exception diagnosis in multiagent contract executions
- Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Law and logic: a review from an argumentation perspective
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)
