Pages that link to "Item:Q4275262"
From MaRDI portal
The following pages link to Representing action and change by logic programs (Q4275262):
Displayed 50 items.
- Bounded situation calculus action theories (Q286407) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Non-Markovian control in the Situation Calculus (Q543575) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- On the logic of causal explanation (Q1127347) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Representing action: indeterminacy and ramifications (Q1389538) (← links)
- Ramification and causality (Q1399132) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Computational complexity of planning and approximate planning in the presence of incompleteness (Q1583520) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Answer set programming and plan generation (Q1603732) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- An epistemic approach to nondeterminism: believing in the simplest course of events (Q2009766) (← links)
- A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Reasoning about non-immediate triggers in biological networks (Q2426107) (← links)
- A general first-order solution to the ramification problem with cycles (Q2446550) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- The refinement extension principle for semantics of dynamic logic programming (Q2574878) (← links)
- Representation and reasoning about evolutions of the world in the context of reasoning about actions (Q2574879) (← links)
- Alan: An action language for modelling non-Markovian domains (Q2574883) (← links)
- Reasoning about sensing actions in domains with multi-valued fluents (Q2574884) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Considerations on Belief Revision in an Action Theory (Q2900517) (← links)
- Simulating Production Rules Using ACTHEX (Q2900521) (← links)