Approximate databases: a support tool for approximate reasoning

DOI10.3166/JANCL.16.87-117MaRDI QIDQ3647257zbMATH OpenOpenAlexFDO

Authors Patrick Doherty, Martin Magnusson, Andrzej Szałas

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.16.87-117

zbMATH Keywords

approximate databasesapproximate reasoningknowledge representationsecondorder quantifier elimination

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Rough Sets and Current Trends in Computing
• Approximate answers in databases of labeled objects
• Models of approximation in databases
• scientific article; zbMATH DE number 851780
• scientific article; zbMATH DE number 3890768

Cites work

• A kripke-kleene semantics for logic programs*
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Computing circumscription revisited: A reduction algorithm
• Declarative PTIME queries for relational databases using quantifier elimination
• Finite Model Theory
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 1302020 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• Sound and efficient closed-world reasoning for planning
• Toward useful type-free theories. I
• Untersuchungen über das Eliminationsproblem der mathematischen Logik

Cited in

(5)

• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• scientific article; zbMATH DE number 1071872 (Why is no real title available?)
• scientific article; zbMATH DE number 1487935 (Why is no real title available?)
• Rough Sets and Current Trends in Computing
• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

This page was built for publication: Approximate databases: a support tool for approximate reasoning

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