The following pages link to CCalc (Q21878):
Displaying 50 items.
- 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)
- A consistency-based approach for belief change (Q814523) (← 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)
- 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 probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- Performability of actions (Q2071576) (← 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)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← 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)
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming (Q2851240) (← links)
- HEX PROGRAMS WITH ACTION ATOMS (Q2883070) (← 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)
- (Q2909140) (← links)
- Representing first-order causal theories by logic programs (Q2909525) (← links)
- Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
- Translating General Game Descriptions into an Action Language (Q3001927) (← links)
- Expressing Default Logic Variants in Default Logic (Q3374095) (← links)
