Logic Programming for Knowledge Representation

DOI10.1007/978-3-540-74610-2_6MaRDI QIDQ3608647zbMATH OpenOpenAlexFDO

Authors Mirosław Truszczyński

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74610-2_6

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Cited in

(6)

• A kind of logical compilation for knowledge bases
• Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses
• Logic programming and knowledge representation
• Query answering in resource-based answer set semantics
• Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
• Compact representation of knowledge bases in inductive logic programming

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Logic Programming for Knowledge Representation

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