Representing action and change by logic programs
From MaRDI portal
(Redirected from Publication:4275262)
Recommendations
- scientific article; zbMATH DE number 1453058
- Representing actions in logic programs and default theories a situation calculus approach
- Representing and reasoning about concurrent actions with abductive logic programs
- Representing action: indeterminacy and ramifications
- Representing Incomplete Knowledge in Abductive Logic Programming
Cited in
(only showing first 100 items - show all)- Inductive situation calculus
- Metatheory of actions: beyond consistency
- On linear logic planning and concurrency
- On the logic of causal explanation
- Reasoning about nondeterministic and concurrent actions: A process algebra approach
- Relating logic programming theories of actions and partial order planning
- Representing and reasoning about concurrent actions with abductive logic programs
- Representing action: indeterminacy and ramifications
- Ramification and causality
- Abductive reasoning through filtering
- ConGolog, a concurrent programming language based on the situation calculus
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Logic programming and knowledge representation---The A-Prolog perspective
- Answer set programming and plan generation
- LUPS -- A language for updating logic programs
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Reasoning about actions with loops via Hoare logic
- An epistemic approach to nondeterminism: believing in the simplest course of events
- A probabilistic interval-based event calculus for activity recognition
- A general multi-agent epistemic planner based on higher-order belief change
- An action language for multi-agent domains
- Probabilistic reasoning about epistemic action narratives
- t-DeLP: an argumentation-based temporal defeasible logic programming framework
- Regression and progression in stochastic domains
- A survey on temporal logics for specifying and verifying real-time systems
- 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
- The refinement extension principle for semantics of dynamic logic programming
- Representation and reasoning about evolutions of the world in the context of reasoning about actions
- Alan: An action language for modelling non-Markovian domains
- Reasoning about sensing actions in domains with multi-valued fluents
- scientific article; zbMATH DE number 1696835 (Why is no real title available?)
- Bounded situation calculus action theories
- To Vladimir Lifschitz on His 65th Birthday
- Considerations on belief revision in an action theory
- Simulating production rules using ACTHEX
- Applications of action languages in cognitive robotics
- A language for default reasoning about actions
- A new incarnation of action language H
- Knowledge assimilation in domains of actions: a possible causes approach
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Stable Models for Temporal Theories
- Temporal Equilibrium Logic: A First Approach
- Strongly Equivalent Temporal Logic Programs
- A Fluent Calculus Semantics for ADL with Plan Constraints
- A Semantical Account of Progression in the Presence of Defaults
- Probabilistic Reasoning by SAT Solvers
- Frame problem in dynamic logic
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
- Representing actions: Laws, observations and hypotheses
- Representing actions in logic programs and default theories a situation calculus approach
- A planning language for embedded systems
- scientific article; zbMATH DE number 1497762 (Why is no real title available?)
- scientific article; zbMATH DE number 1536548 (Why is no real title available?)
- scientific article; zbMATH DE number 1546503 (Why is no real title available?)
- A probabilistic extension of action language \(\mathcal{BC}+\)
- Achievements in answer set programming
- An infinitary encoding of temporal equilibrium logic
- Modular action language \(\mathcal{ALM}\)
- CASP solutions for planning in hybrid domains
- Formalization of reasoning about default action (preliminary report)
- Logic Programming for Multiagent Planning with Negotiation
- scientific article; zbMATH DE number 1453058 (Why is no real title available?)
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
- A Representation Theorem for Change through Composition of Activities
- \textsc{RestKB}: a library of commonsense knowledge about dining at a restaurant
- Modeling and reasoning in event calculus using goal-directed constraint answer set programming
- Revisiting explicit negation in answer set programming
- Modelling multi-agent epistemic planning in ASP
- Simulation of action theories and an application to general game-playing robots
- Predicate Completion for non-Horn Clause Sets
- Modelling last-act attempted crime in criminal law
- Reasoning about actions with Temporal Answer Sets
- Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
- John McCarthy's legacy
- Non-Markovian control in the Situation Calculus
- Approximation of action theories and its application to conformant planning
- A unifying action calculus
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Formalising the Fisherman's Folly puzzle
- Partial Functions and Equality in Answer Set Programming
- On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
- Handling inconsistency in knowledge systems
- Temporal disjunctive logic programming
- Formalizing sensing actions -- a transition function based approach
- On methodology of representing knowledge in dynamic domains
- Explaining updates by minimal sums
- On the progression of belief
- Temporal ASP: from logical foundations to practical use with \texttt{telingo}
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Reasoning about action and change
- An abductive proof procedure for reasoning about actions in modal logic programming
- Specifying and reasoning about CPS through the lens of the NIST CPS framework
- Linear-time temporal answer set programming
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Introduction: Progress in formal commonsense reasoning
- Nonmonotonic causal theories
- Logic-based subsumption architecture
- Hypothesizing about signaling networks
This page was built for publication: Representing action and change by logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4275262)
