The following pages link to A logic-based calculus of events (Q514239):
Displaying 50 items.
- Making sense of sensory input (Q2238610) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Learning from interpretation transition (Q2251449) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Position systems in dynamic domains (Q2341258) (← links)
- Envisioning the qualitative effects of robot manipulation actions using simulation-based projections (Q2407445) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Semi-supervised online structure learning for composite event recognition (Q2425248) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Formalizing the specification and execution of workflows using the event calculus (Q2499063) (← links)
- Normative KGP agents (Q2509078) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- Between the Event Calculus and Finite State Temporality (Q2835048) (← links)
- Managing User-Generated Content as a Knowledge Commons (Q2900488) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
- PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS (Q3224882) (← links)
- (Q3356298) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- ${\cal B}$ -Tropos (Q3602948) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- Planning under uncertainty as G<scp>OLOG</scp>programs (Q4467045) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
- A probabilistic logic programming event calculus (Q4592979) (← links)
- Programming in logic without logic programming (Q4593027) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
- Online learning of event definitions (Q4593061) (← links)
- Towards the assessment of logics for concurrent actions (Q4632329) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- (Q4993609) (← links)
- Incremental Event Calculus for Run-Time Reasoning (Q5076337) (← links)
- Predicting the Evolution of Communities with Online Inductive Logic Programming (Q5079768) (← links)
- A terminological interpretation of (abductive) logic programming (Q5101438) (← links)
- Situation calculus specifications for event calculus logic programs (Q5101452) (← links)
- Towards Metric Temporal Answer Set Programming (Q5140014) (← links)
- (Q5190784) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
- Learning Effect Axioms via Probabilistic Logic Programming (Q5240229) (← links)
- Modelling last-act attempted crime in criminal law (Q5243395) (← links)
