CCalc
From MaRDI portal
Cited in
(99)- HEX programs with action atoms
- On the syntax and semantics of effect axioms
- Answer Set Programming for Single-Player Games in General Game Playing
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
- A paraconsistent approach to actions in informationally complex environments
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
- John McCarthy's legacy
- Causal Logic Programming
- A general first-order solution to the ramification problem with cycles
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- A formal characterisation of Hamblin's action-state semantics
- Logic Programming and Nonmonotonic Reasoning
- Bounded situation calculus action theories
- Translating general game descriptions into an action language
- A probabilistic extension of action language \(\mathcal{BC}+\)
- Metatheory of actions: beyond consistency
- A consistency-based approach for belief change
- A unifying action calculus
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Engineering an Incremental ASP Solver
- Reasoning about actions with Temporal Answer Sets
- scientific article; zbMATH DE number 2222698 (Why is no real title available?)
- Applications of action languages in cognitive robotics
- Action models for conditionals
- Answer Set Programming for Representing and Reasoning About Virtual Institutions
- Some properties of system descriptions of \(\mathcal{AL}_d\)
- Simulating production rules using ACTHEX
- A probabilistic interval-based event calculus for activity recognition
- Deriving conclusions from non-monotonic cause-effect relations
- A language for default reasoning about actions
- Functional completion
- Updating action domain descriptions
- Representing hybrid automata by action language modulo theories
- Probabilistic event calculus for event recognition
- Hybrid conditional planning using answer set programming
- Inductive Logic Programming
- Dynamic specification of open agent systems
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- PLATYPUS
- ConGolog
- GOLOG
- ASSAT
- Smodels
- METATEM
- simpleAPL
- PDDL
- FluCaP
- Coala
- oClingo
- Cplus2ASP
- f2lp
- STeLP
- ASPMT2SMT
- Alchemy
- ISLANDER
- Soccer server
- Society Visualiser
- Lpopt
- GDL
- ALM
- PEORL
- REBA
- ANTON
- Expressing Default Logic Variants in Default Logic
- A weighted causal theory for acquiring and utilizing open knowledge
- Inductive situation calculus
- Bridging commonsense reasoning and probabilistic planning via a probabilistic action language
- 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
- Representing first-order causal theories by logic programs
- Specifying norm-governed computational societies
- Comparing action descriptions based on semantic preferences
- Reformulating action language \(\mathcal{C}+\) in answer set programming
- Translating first-order causal theories into answer set programming
- Handling uncertainty and defeasibility in a possibilistic logic setting
- Logic Programming and Nonmonotonic Reasoning
- Considerations on belief revision in an action theory
- First-order stable model semantics with intensional functions
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- plasp 3: towards effective ASP planning
- Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
- scientific article; zbMATH DE number 5201473 (Why is no real title available?)
- 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}}+$
- Extending action language \(\mathcal{C}+\) by formalizing composite actions
- 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
- A preferential semantics for causal reasoning about action
- Modular action language \(\mathcal{ALM}\)
- Reasoning about non-immediate triggers in biological networks
This page was built for software: CCalc
