CCalc
From MaRDI portal
Software:21878
swMATH9899MaRDI QIDQ21878FDOQ21878
Author name not available (Why is that?)
Cited In (74)
- Answer Set Programming for Single-Player Games in General Game Playing
- A paraconsistent approach to actions in informationally complex environments
- Causal Logic Programming
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
- John McCarthy's legacy
- A general first-order solution to the ramification problem with cycles
- A formal characterisation of Hamblin's action-state semantics
- Logic Programming and Nonmonotonic Reasoning
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- Translating general game descriptions into an action language
- Bounded situation calculus action theories
- Metatheory of actions: beyond consistency
- Engineering an Incremental ASP Solver
- A consistency-based approach for belief change
- A unifying action calculus
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Title not available (Why is that?)
- Applications of action languages in cognitive robotics
- Some properties of system descriptions of \(\mathcal{AL}_d\)
- Action models for conditionals
- Simulating production rules using ACTHEX
- A probabilistic interval-based event calculus for activity recognition
- Functional completion
- Representing hybrid automata by action language modulo theories
- A language for default reasoning about actions
- Probabilistic event calculus for event recognition
- Hybrid conditional planning using answer set programming
- Updating action domain descriptions
- Inductive Logic Programming
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Expressing Default Logic Variants in Default Logic
- A weighted causal theory for acquiring and utilizing open knowledge
- Inductive situation calculus
- Event calculus and temporal action logics compared
- Loop formulas for circumscription
- An executable specification of a formal argumentation protocol
- Causal dynamic inference
- Active logic semantics for a single agent in a static world
- Specifying norm-governed computational societies
- Representing first-order causal theories by logic programs
- Translating first-order causal theories into answer set programming
- Reformulating action language \(\mathcal{C}+\) in answer set programming
- Comparing action descriptions based on semantic preferences
- Logic Programming and Nonmonotonic Reasoning
- Handling uncertainty and defeasibility in a possibilistic logic setting
- Considerations on belief revision in an action theory
- First-order stable model semantics with intensional functions
- plasp 3: towards effective ASP planning
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
- Title not available (Why is that?)
- Agent strands in the action language \(n\mathcal C +\)
- Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
- Performability of actions
- The Deontic Component of Action Language $n{\mathcal{C}}+$
- Representing the language of the causal calculator in answer set programming
- Distant causation in \(\mathcal C+\)
- Automated verification of state sequence invariants in general game playing
- Undoing the effects of action sequences
- A causal approach to nonmonotonic reasoning
- Conditional logic of actions and causation
- Modular action language \(\mathcal{ALM}\)
- A preferential semantics for causal reasoning about action
- Reasoning about non-immediate triggers in biological networks
- HEX programs with action atoms
- On the syntax and semantics of effect axioms
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
- A probabilistic extension of action language \(\mathcal{BC}+\)
- Reasoning about actions with Temporal Answer Sets
- Answer Set Programming for Representing and Reasoning About Virtual Institutions
- Deriving conclusions from non-monotonic cause-effect relations
- Dynamic specification of open agent systems
- Bridging commonsense reasoning and probabilistic planning via a probabilistic action language
- Extending action language \(\mathcal{C}+\) by formalizing composite actions
This page was built for software: CCalc