scientific article; zbMATH DE number 1407683

MaRDI QIDQ4940938zbMATH OpenFDO

Authors Alfredo Gabaldon, Michael Gelfond

Publication date 27 March 2000

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

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

Recommendations

• Building a knowledge base: An example
• LP-functions as a tool for knowledge representation
• Logic programming and knowledge representation
• scientific article; zbMATH DE number 1023017
• Logic programming and knowledge representation---The A-Prolog perspective

Cited in

(11)

• Personal perspective on the development of logic programming based KR languages
• scientific article; zbMATH DE number 1870123 (Why is no real title available?)
• Answer set based design of knowledge systems
• Logics in Artificial Intelligence
• Approximation of action theories and its application to conformant planning
• Specialization of functional logic programs based on needed narrowing
• Translation of logic programs into functional fixpoint equations
• Modularization and abstraction in logic programming
• Functional Logic Programming: From Theory to Curry
• From process logic to program logic
• The formalization of lists in the meta-language of normal forms of knowledge

This page was built for publication:

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