CCalc
From MaRDI portal
Software:21878
No author found.
Related Items (74)
Specifying norm-governed computational societies ⋮ Bounded situation calculus action theories ⋮ Causal Logic Programming ⋮ Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions ⋮ Considerations on Belief Revision in an Action Theory ⋮ Simulating Production Rules Using ACTHEX ⋮ Applications of Action Languages in Cognitive Robotics ⋮ Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming ⋮ A Language for Default Reasoning about Actions ⋮ Action models for conditionals ⋮ Handling uncertainty and defeasibility in a possibilistic logic setting ⋮ Reasoning about actions with Temporal Answer Sets ⋮ Representing first-order causal theories by logic programs ⋮ Answer Set Programming for Representing and Reasoning About Virtual Institutions ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ Active logic semantics for a single agent in a static world ⋮ Inductive Logic Programming ⋮ A Probabilistic Extension of Action Language ⋮ A preferential semantics for causal reasoning about action ⋮ Answer Set Programming for Single-Player Games in General Game Playing ⋮ Some properties of system descriptions of ⋮ Functional completion ⋮ Probabilistic Event Calculus for Event Recognition ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Representing hybrid automata by action language modulo theories ⋮ Hybrid conditional planning using answer set programming ⋮ Causal dynamic inference ⋮ Modular action language ⋮ Deriving conclusions from non-monotonic cause-effect relations ⋮ Unnamed Item ⋮ Updating action domain descriptions ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ Bridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action Language ⋮ An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints ⋮ Reasoning about non-immediate triggers in biological networks ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ The Deontic Component of Action Language $n{\mathcal{C}}+$ ⋮ A general first-order solution to the ramification problem with cycles ⋮ A weighted causal theory for acquiring and utilizing open knowledge ⋮ Agent strands in the action language \(n\mathcal C +\) ⋮ Event calculus and temporal action logics compared ⋮ Loop formulas for circumscription ⋮ Comparing action descriptions based on semantic preferences ⋮ Translating General Game Descriptions into an Action Language ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Dynamic specification of open agent systems ⋮ Undoing the effects of action sequences ⋮ Automated verification of state sequence invariants in general game playing ⋮ John McCarthy's legacy ⋮ \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem ⋮ A unifying action calculus ⋮ Translating First-Order Causal Theories into Answer Set Programming ⋮ A probabilistic interval-based event calculus for activity recognition ⋮ plasp 3: Towards Effective ASP Planning ⋮ Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language + ⋮ Expressing Default Logic Variants in Default Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Inductive situation calculus ⋮ An executable specification of a formal argumentation protocol ⋮ Metatheory of actions: beyond consistency ⋮ HEX PROGRAMS WITH ACTION ATOMS ⋮ Performability of actions ⋮ First-order stable model semantics with intensional functions ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming ⋮ Engineering an Incremental ASP Solver ⋮ Distant causation in \(\mathcal C+\) ⋮ Unnamed Item ⋮ A consistency-based approach for belief change ⋮ Representing the Zoo World and the Traffic World in the language of the Causal Calculator ⋮ Conditional logic of actions and causation ⋮ A causal approach to nonmonotonic reasoning
This page was built for software: CCalc