The following pages link to Nonmonotonic causal theories (Q814551):
Displaying 50 items.
- CCalc (Q21878) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Action models for conditionals (Q302248) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- A weighted causal theory for acquiring and utilizing open knowledge (Q465606) (← links)
- John McCarthy's legacy (Q543573) (← links)
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- A unifying action calculus (Q543584) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- From knowledge-based programs to graded belief-based programs. I: On-line reasoning (Q813424) (← links)
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator (Q814554) (← links)
- Conditional logic of actions and causation (Q814610) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- A preferential semantics for causal reasoning about action (Q862556) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- Causal dynamic inference (Q1935591) (← links)
- A logic of universal causation (Q1978380) (← links)
- On the Hsiao definition of non-causality (Q1978520) (← links)
- A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- Performability of actions (Q2071576) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Predicting causality ascriptions from background knowledge: model and experimental validation (Q2270428) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Handling uncertainty and defeasibility in a possibilistic logic setting (Q2379315) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Loop formulas for circumscription (Q2457644) (← links)
- Comparing action descriptions based on semantic preferences (Q2457799) (← links)
- Distant causation in \(\mathcal C+\) (Q2574881) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL (Q2694571) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions (Q2900515) (← links)
- Considerations on Belief Revision in an Action Theory (Q2900517) (← links)
- Simulating Production Rules Using ACTHEX (Q2900521) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536) (← links)
- A Language for Default Reasoning about Actions (Q2900546) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
