Building a knowledge base: An example

DOI10.1023/A:1018938324292zbMath0940.68134OpenAlexW1575107838MaRDI QIDQ1978006

Alfredo Gabaldon, Michael Gelfond

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)

Related Items (1)

Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs

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