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 representationreasoninglogic programming

Mathematics Subject Classification ID

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

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

(5)

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

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)