CCalc

swMATH9899MaRDI QIDQ21878FDOQ21878

Author name not available (Why is that?)

Described by source

• Nonmonotonic causal theories

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