Propositional and predicate logics of incomplete information

DOI10.1016/J.ARTINT.2021.103603MaRDI QIDQ2060732zbMATH OpenOpenAlexFDO

Authors Marco Console, Paolo Guagliardo, Leonid Libkin

Publication date 13 December 2021

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://www.research.ed.ac.uk/en/publications/4d3a1bb1-d5c1-4c32-9f59-9cf9377fce80

zbMATH Keywords

incomplete informationmany-valued logicsSQL

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• On logical foundation for incomplete information databases
• scientific article; zbMATH DE number 1182735
• scientific article; zbMATH DE number 67826
• Logic programming and reasoning with incomplete information
• scientific article; zbMATH DE number 18538

Cites work

• A logic for default reasoning
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3874668 (Why is no real title available?)
• scientific article; zbMATH DE number 2173654 (Why is no real title available?)
• scientific article; zbMATH DE number 201040 (Why is no real title available?)
• scientific article; zbMATH DE number 1392280 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• Kleene's Logic, Generalized
• Logics with aggregate operators
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Reasoning with logical bilattices
• SQL's three-valued logic and certain answers

Cited in

(14)

• A sound and complete query evaluation for implicit predicate which is a semantic descriptor of unknown values
• Definability in incomplete information tables
• Possibilistic vs. relational semantics for logics of incomplete information
• Satisfiability Judgement under Incomplete Information
• scientific article; zbMATH DE number 5734943 (Why is no real title available?)
• On logical foundation for incomplete information databases
• scientific article; zbMATH DE number 3896341 (Why is no real title available?)
• scientific article; zbMATH DE number 18538 (Why is no real title available?)
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• scientific article; zbMATH DE number 1303443 (Why is no real title available?)
• scientific article; zbMATH DE number 1182735 (Why is no real title available?)
• scientific article; zbMATH DE number 1844516 (Why is no real title available?)
• What Tipper is Ready for: A Semantics for Incomplete Predicates
• Controlling entity integrity with key sets

Describes a project that uses

Uses Software

• HoTTSQL

This page was built for publication: Propositional and predicate logics of incomplete information

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