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