Embedding revision programs in logic programming situation calculus

DOI10.1016/S0743-1066(96)00080-5MaRDI QIDQ4364206zbMATH OpenFDO

Authors Chitta Baral

Publication date 13 November 1997

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(96)00080-5

zbMATH Keywords

knowledge basesrevision programs

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1761413
• scientific article; zbMATH DE number 1453055
• Revision by communication
• Theoretical Aspects of Computing - ICTAC 2004
• Revision programming

Cited in

(5)

• scientific article; zbMATH DE number 1761413 (Why is no real title available?)
• Formalising the Fisherman's Folly puzzle
• Theoretical Aspects of Computing - ICTAC 2004
• The complexity of revising logic programs
• Characterization Theorems for Revision of Logic Programs

This page was built for publication: Embedding revision programs in logic programming situation calculus

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