Knowledgebase transformations

DOI10.1006/JCSS.1997.1454MaRDI QIDQ676426zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Gösta Grahne, Alberto O. Mendelzon, P. Z. Revesz

Publication date 20 August 1997

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/1a38ff364eb5188b5979f9abe464a376f0ce9599

zbMATH Keywords

knowledgebasesuniformly queries

Mathematics Subject Classification ID

Theory of programming languages (68N15) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 1979478
• On weighted knowledgebase transformations
• Classical and weighted knowledgebase transformations
• Publication:4502816
• Knowledge transformation and decision support systems
• scientific article; zbMATH DE number 1336335
• scientific article; zbMATH DE number 108399
• scientific article; zbMATH DE number 975711

Cites work

• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 219217 (Why is no real title available?)
• Circumscription - a form of non-monotonic reasoning
• Knowledge in flux. Modeling the dynamics of epistemic states
• N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
• On specifying database updates
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of theory change: Partial meet contraction and revision functions
• Procedural languages for database queries and updates
• Propositional knowledge base revision and minimal change
• Structure and complexity of relational queries
• The complexity of nested counterfactuals and iterated knowledge base revisions
• The computational complexity of logical theories
• Update semantics of relational views
• Updates and subjunctive queries

Cited in

(9)

• Classical and weighted knowledgebase transformations
• On the expressiveness of Levesque's normal form
• What should a database know?
• scientific article; zbMATH DE number 6148081 (Why is no real title available?)
• On weighted knowledgebase transformations
• Merging First-Order Knowledge Using Dilation Operators
• Database querying under changing preferences
• Hypothetical datalog: Complexity and expressibility
• scientific article; zbMATH DE number 5629796 (Why is no real title available?)

This page was built for publication: Knowledgebase transformations

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