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