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

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

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

(14)

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

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)