Representing action and change by logic programs
From MaRDI portal
Publication:4275262
DOI10.1016/0743-1066(93)90035-FzbMath0783.68024WikidataQ56048229 ScholiaQ56048229MaRDI QIDQ4275262
Vladimir Lifschitz, Michael Gelfond
Publication date: 20 March 1994
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Bounded situation calculus action theories, Hypothesizing about signaling networks, Stable Models for Temporal 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, Reasoning about actions with Temporal Answer Sets, Answer set based design of knowledge systems, A Probabilistic Extension of Action Language, On the logic of causal explanation, Unnamed Item, Representing action: indeterminacy and ramifications, Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming, A survey on temporal logics for specifying and verifying real-time systems, Achievements in answer set programming, Approximate postdictive reasoning with answer set programming, An infinitary encoding of temporal equilibrium logic, Modular action language, CASP solutions for planning in hybrid domains, Ramification and causality, Revisiting Explicit Negation in Answer Set Programming, An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints, On the progression of belief, Reasoning about non-immediate triggers in biological networks, Temporal ASP: from logical foundations to practical use with \texttt{telingo}, Temporal Equilibrium Logic: A First Approach, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, Probabilistic reasoning about epistemic action narratives, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, Reasoning about actions with loops via Hoare logic, Unnamed Item, Strongly Equivalent Temporal Logic Programs, A Fluent Calculus Semantics for ADL with Plan Constraints, A general first-order solution to the ramification problem with cycles, Modelling Multi-Agent Epistemic Planning in ASP, Formalization of reasoning about default action (preliminary report), Event calculus and temporal action logics compared, Modeling biological networks by action languages via answer set programming, Logic Programming for Multiagent Planning with Negotiation, t-DeLP: an argumentation-based temporal defeasible logic programming framework, Temporal disjunctive logic programming, Simulation of Action Theories and an Application to General Game-Playing Robots, 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, An epistemic approach to nondeterminism: believing in the simplest course of events, Formalizing sensing actions -- a transition function based approach, A planning language for embedded systems, A probabilistic interval-based event calculus for activity recognition, Explaining updates by minimal sums, Predicate Completion for non-Horn Clause Sets, Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +, Handling inconsistency in knowledge systems, Regression and progression in stochastic domains, A Semantical Account of Progression in the Presence of Defaults, Probabilistic Reasoning by SAT Solvers, A general multi-agent epistemic planner based on higher-order belief change, An action language for multi-agent domains, CP-logic: A language of causal probabilistic events and its relation to logic programming, Inductive situation calculus, Metatheory of actions: beyond consistency, Reasoning about nondeterministic and concurrent actions: A process algebra approach, Frame problem in dynamic logic, Abductive reasoning through filtering, On linear logic planning and concurrency, Modelling last-act attempted crime in criminal law, ConGolog, a concurrent programming language based on the situation calculus, Computational complexity of planning and approximate planning in the presence of incompleteness, Partial Functions and Equality in Answer Set Programming, 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, Knowledge assimilation in domains of actions: a possible causes approach, Logic programming and knowledge representation---The A-Prolog perspective, Answer set programming and plan generation, LUPS -- A language for updating logic programs, 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
