How to progress a database

DOI10.1016/S0004-3702(96)00044-6MaRDI QIDQ1402735zbMATH OpenOpenAlexFDO

Authors Fangzhen Lin, Ray Reiter

Publication date 28 August 2003

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(96)00044-6

zbMATH Keywords

ProgressionRegressionSituation calculusSTRIPSStrongest postconditionsTheories of actions

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• How to progress a database. III
• A database-type approach for progressing action theories with bounded effects
• On specifying database updates
• Action theories over generalized databases with equality constraints
• ADL and the State-Transition Model of Action

Cites work

• Downward refinement and the efficiency of hierarchical problem solving
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 3862494 (Why is no real title available?)
• scientific article; zbMATH DE number 4162254 (Why is no real title available?)
• scientific article; zbMATH DE number 51860 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 823599 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• On specifying database updates
• Proving properties of states in the situation calculus
• State Constraints Revisited
• STRIPS: A new approach to the application of theorem proving to problem solving

Cited in

(35)

• What robots can do: robot programs and effective achievability
• ConGolog, a concurrent programming language based on the situation calculus
• Belief revision and projection in the epistemic situation calculus
• On syntactic forgetting under uniform equivalence
• On the limits of forgetting in answer set programming
• Regression and progression in stochastic domains
• Forgetting in multi-agent modal logics
• Asynchronous knowledge with hidden actions in the situation calculus
• Forgetting in ASP: the forgotten properties
• Bounded situation calculus action theories
• Simulating Dynamic Systems Using Linear Time Calculus Theories
• Action theories over generalized databases with equality constraints
• Progression and verification of situation calculus agents with bounded beliefs
• A logical theory of localization
• How to progress a database. III
• A Semantical Account of Progression in the Presence of Defaults
• scientific article; zbMATH DE number 78582 (Why is no real title available?)
• scientific article; zbMATH DE number 1507285 (Why is no real title available?)
• When you must forget: Beyond strong persistence when forgetting in answer set programming
• A syntactic operator for forgetting that satisfies strong persistence
• Progression of decomposed local-effect action theories
• A semantic characterization of a useful fragment of the situation calculus with knowledge
• First-order logical filtering
• A database-type approach for progressing action theories with bounded effects
• On strongest necessary and weakest sufficient conditions
• A description logic based situation calculus
• On the progression of belief
• Towards an expressive practical logical action theory
• A propositional encoding for first-order clausal entailment over infinitely many constants
• A framework for belief-based programs and their verification
• Forgetting in answer set programming -- a survey
• Semantical considerations on multiagent only knowing
• Proof systems for planning under 0-approximation semantics
• Robot location estimation in the situation calculus
• Property persistence in the situation calculus

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: How to progress a database

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402735)