scientific article; zbMATH DE number 1407683

zbMATH Open0968.68506MaRDI QIDQ4940938FDOQ4940938

Authors: Alfredo Gabaldon, Michael Gelfond 

Publication date: 27 March 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

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

Cited In (11)

• Personal perspective on the development of logic programming based KR languages
• Title not available (Why is that?)
• 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
• Functional Logic Programming: From Theory to Curry
• Modularization and abstraction in logic programming
• 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)