CCalc

From MaRDI portal
Software:21878



swMATH9899MaRDI QIDQ21878


No author found.





Related Items (74)

Specifying norm-governed computational societiesBounded situation calculus action theoriesCausal Logic ProgrammingExtending Action Language $\mathcal{C}+$ by Formalizing Composite ActionsConsiderations on Belief Revision in an Action TheorySimulating Production Rules Using ACTHEXApplications of Action Languages in Cognitive RoboticsReformulating Action Language $\mathcal{C}$ + in Answer Set ProgrammingA Language for Default Reasoning about ActionsAction models for conditionalsHandling uncertainty and defeasibility in a possibilistic logic settingReasoning about actions with Temporal Answer SetsRepresenting first-order causal theories by logic programsAnswer Set Programming for Representing and Reasoning About Virtual InstitutionsA formal characterisation of Hamblin's action-state semanticsActive logic semantics for a single agent in a static worldInductive Logic ProgrammingA Probabilistic Extension of Action LanguageA preferential semantics for causal reasoning about actionAnswer Set Programming for Single-Player Games in General Game PlayingSome properties of system descriptions ofFunctional completionProbabilistic Event Calculus for Event RecognitionLogic Programming and Nonmonotonic ReasoningRepresenting hybrid automata by action language modulo theoriesHybrid conditional planning using answer set programmingCausal dynamic inferenceModular action languageDeriving conclusions from non-monotonic cause-effect relationsUnnamed ItemUpdating action domain descriptionsReducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programsBridging Commonsense Reasoning and Probabilistic Planning via a Probabilistic Action LanguageAn action-based approach to the formal specification and automatic analysis of business processes under authorization constraintsReasoning about non-immediate triggers in biological networksReasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTLDetecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity resultsThe Deontic Component of Action Language $n{\mathcal{C}}+$A general first-order solution to the ramification problem with cyclesA weighted causal theory for acquiring and utilizing open knowledgeAgent strands in the action language \(n\mathcal C +\)Event calculus and temporal action logics comparedLoop formulas for circumscriptionComparing action descriptions based on semantic preferencesTranslating General Game Descriptions into an Action LanguageLogic Programming and Nonmonotonic ReasoningDynamic specification of open agent systemsUndoing the effects of action sequencesAutomated verification of state sequence invariants in general game playingJohn McCarthy's legacy\(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problemA unifying action calculusTranslating First-Order Causal Theories into Answer Set ProgrammingA probabilistic interval-based event calculus for activity recognitionplasp 3: Towards Effective ASP PlanningElaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +Expressing Default Logic Variants in Default LogicUnnamed ItemUnnamed ItemInductive situation calculusAn executable specification of a formal argumentation protocolMetatheory of actions: beyond consistencyHEX PROGRAMS WITH ACTION ATOMSPerformability of actionsFirst-order stable model semantics with intensional functionsA paraconsistent approach to actions in informationally complex environmentsCplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set ProgrammingEngineering an Incremental ASP SolverDistant causation in \(\mathcal C+\)Unnamed ItemA consistency-based approach for belief changeRepresenting the Zoo World and the Traffic World in the language of the Causal CalculatorConditional logic of actions and causationA causal approach to nonmonotonic reasoning


This page was built for software: CCalc