A logic-based calculus of events

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Maintaining knowledge about temporal intervals
Towards a general theory of action and time

Cited In (only showing first 100 items - show all)

The refinement extension principle for semantics of dynamic logic programming
Normative KGP agents
Authorization and Obligation Policies in Dynamic Systems
Reactive computing as model generation
Title not available (Why is that?)
Combining event calculus and description logic reasoning via logic programming
Using abduction and induction for operational requirements elaboration
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
A general framework for reasoning about change
John McCarthy's legacy
Abductive logic programming agents with destructive databases
A formal characterisation of Hamblin's action-state semantics
Operators vs. arguments: The ins and outs of reification
Bounded situation calculus action theories
Dynamical temporal interpretation contexts for temporal abstraction
Formalizing narratives using nested circumscription
Introduction: Progress in formal commonsense reasoning
A terminological interpretation of (abductive) logic programming
A unifying action calculus
A probabilistic logic programming event calculus
An algebraic framework for temporal attribute characteristics
The Fusemate logic programming system
Planning parallel actions
A comparison of point-based approaches to qualitative temporal reasoning
Learning from interpretation transition
Action models for conditionals
A qualitative spatial representation of string loops as holes
From change to spacetime: an eleatic journey
Consistency-based and abductive diagnoses as generalised stable models
Temporal representation and reasoning in artificial intelligence: A review
A circumscriptive calculus of events
A semantic characterization of a useful fragment of the situation calculus with knowledge
Formalising the Fisherman's Folly puzzle
A resource-efficient event algebra
Representing Allen's properties, events, and processes
The complexity and generality of learning answer set programs
Nonmonotonic abductive inductive learning
Reasoning about time in the situation calculus
Time and defeasibility in FIPA ACL semantics
Incremental learning of event definitions with inductive logic programming
Time representation: A taxonomy of temporal models
An overview of transaction logic
Dischargeable Obligations in the 𝒮CIFF Framework
A history based approximate epistemic action theory for efficient postdictive reasoning
Law and logic: a review from an argumentation perspective
Event calculus and temporal action logics compared
An executable specification of a formal argumentation protocol
Default reasoning by deductive planning
Simulating Dynamic Systems Using Linear Time Calculus Theories
Nonmonotonic causal theories
Probabilistic Event Calculus for Event Recognition
Formalizing the specification and execution of workflows using the event calculus
PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
A Semantical Account of Progression in the Presence of Defaults
Online event recognition over noisy data streams
Completing causal networks by meta-level abduction
Programming in logic without logic programming
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
A unifying semantics for time and events
Understanding dynamic scenes
Probabilistic reasoning about epistemic action narratives
Knowledge representation with multiple logical theories and time
Learning explanations for biological feedback with delays using an event calculus
Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
A temporal logic for successive events
A formalization of double auction market dynamics
Stable Models for Temporal Theories
Making sense of sensory input
A paraconsistent approach to actions in informationally complex environments
A survey on temporal logics for specifying and verifying real-time systems
Managing User-Generated Content as a Knowledge Commons
A general first-order solution to the ramification problem with cycles
Modelling last-act attempted crime in criminal law
Title not available (Why is that?)
Position systems in dynamic domains
t-DeLP: an argumentation-based temporal defeasible logic programming framework
Towards Metric Temporal Answer Set Programming
Temporal disjunctive logic programming
Planning under uncertainty as G<scp>OLOG</scp>programs
Towards the assessment of logics for concurrent actions
Learning Effect Axioms via Probabilistic Logic Programming
Situation calculus specifications for event calculus logic programs
A probabilistic interval-based event calculus for activity recognition
Revising event calculus theories to recover from unexpected observations
Knowledge assimilation in domains of actions: a possible causes approach
Title not available (Why is that?)
Semi-supervised online structure learning for composite event recognition
Event-based time-stamped claim logic
Representation and processing of instantaneous and durative temporal phenomena
Exception diagnosis in multiagent contract executions
Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework
Applications of Action Languages in Cognitive Robotics
Frame problem in dynamic logic
Between the Event Calculus and Finite State Temporality
Probabilistic Rule Learning in Nonmonotonic Domains
Improving the semantics of the software cost reduction method
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
A Typed Language for Events

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)