On intuitionistic query answering in description bases

DOI10.1007/3-540-58156-1_23zbMath1433.68424OpenAlexW1528781612MaRDI QIDQ5210783

J. Joachim Quantz, Véronique Royer

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_23

zbMATH Keywords

description logicsquery answeringintuitionistic sequent calculusleast fixed-point semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

An epistemic operator for description logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Foundations of a functional approach to knowledge representation
• An epistemic operator for description logics
• Reasoning and revision in hybrid representation systems
• The Alexander Method - a technique for the processing of recursive axioms in deductive databases
• On the declarative and procedural semantics of logic programs

This page was built for publication: On intuitionistic query answering in description bases