Building a knowledge base: An example

DOI10.1023/A:1018938324292MaRDI QIDQ1978006zbMATH OpenOpenAlexFDO

Authors Michael Gelfond, Alfredo Gabaldon

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018938324292

zbMATH Keywords

knowledge representationlogic programmingreasoning

Mathematics Subject Classification ID

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

Recommendations

• LP-functions as a tool for knowledge representation
• scientific article; zbMATH DE number 1407683
• Logic programming and knowledge representation
• Logic programming and knowledge representation---The A-Prolog perspective

Cited in

(6)

• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• scientific article; zbMATH DE number 4053066 (Why is no real title available?)
• Toward knowledge-based specifications of languages
• scientific article; zbMATH DE number 1407683 (Why is no real title available?)
• Representation theorems in computer science. A treatment in logic engineering
• LP-functions as a tool for knowledge representation

This page was built for publication: Building a knowledge base: An example

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