scientific article; zbMATH DE number 6606380

zbMATH Open1341.03037MaRDI QIDQ5740451FDOQ5740451

Peter F. Patel-Schneider

Publication date: 26 July 2016

Title of this publication is not available (Why is that?)

zbMATH Keywords

knowledge representationmodel-theoretic semanticsdecidable first-order logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (12)

• Title not available (Why is that?)
• Limited reasoning in first-order knowledge bases
• A four-valued semantics for terminological logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computational complexity of terminological reasoning in BACK
• A practical integration of first-order reasoning and decision procedures
• A First-order Logic for Reasoning about Knowledge and Probability
• Title not available (Why is that?)
• Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm
• Subsumption computed algebraically
• Toward effective knowledge acquisition with first-order logic induction.

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 Q5740451)