Querying Formal Contexts with Answer Set Programs

DOI10.1007/11787181_19MaRDI QIDQ5757442zbMATH OpenOpenAlexFDO

Authors Pascal Hitzler, Markus Krötzsch

Publication date 6 September 2007

Published in Conceptual Structures: Inspiration and Application (Search for Journal in Brave)

Full work available at URL https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1037&context=cse

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5065666
• Conjunctive query pattern structures: a relational database model for formal concept analysis
• Logic Programming and Nonmonotonic Reasoning
• Formal query systems on contexts and a representation of algebraic lattices
• Simple concept graphs: A logic approach

Cited in

(5)

• Learning elementary formal systems with queries.
• Uhura: an authoring tool for specifying answer-set programs using controlled natural language
• Contextual data tailoring using ASP
• How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
• On the \(n\)-ary generalization of dual bonds

This page was built for publication: Querying Formal Contexts with Answer Set Programs

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