scientific article; zbMATH DE number 3936550

MaRDI QIDQ3707433zbMATH OpenFDO

Authors Wiktor Marek

Publication date 1985

zbMATH Keywords

database updatingdefault reasoningmodal logic with two modal operatorsnon-monotonic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• Modal logics in the theory of relational databases
• Datalog and logic databases
• Foundations of modal deductive databases
• A natural semantics for modal logic over databases
• scientific article; zbMATH DE number 3874667
• scientific article; zbMATH DE number 1153222
• scientific article; zbMATH DE number 4199653

Cited in

(11)

• A natural semantics for modal logic over databases
• Modal logics in the theory of relational databases
• scientific article; zbMATH DE number 1612536 (Why is no real title available?)
• scientific article; zbMATH DE number 4051046 (Why is no real title available?)
• scientific article; zbMATH DE number 43591 (Why is no real title available?)
• scientific article; zbMATH DE number 1107525 (Why is no real title available?)
• scientific article; zbMATH DE number 1114035 (Why is no real title available?)
• On the semantics of the unknown
• Modern Datalog Engines
• Foundations of modal deductive databases
• scientific article; zbMATH DE number 5060895 (Why is no real title available?)

This page was built for publication:

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