Personal perspective on the development of logic programming based KR languages

MaRDI QIDQ4906888zbMATH OpenFDO

Authors Michael Gelfond

Publication date 28 February 2013

zbMATH Keywords

answer set PrologCR-Prologlogic programminglogic programsstable models semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Logic programming and knowledge representation---The A-Prolog perspective
• Reasoning agents in dynamic domains
• Declarative Logic Programming: Theory, Systems, and Applications
• scientific article; zbMATH DE number 1926645
• scientific article; zbMATH DE number 1407683

Cited in

(1)

• Logic, accountability and design (extended abstract)

This page was built for publication: Personal perspective on the development of logic programming based KR languages

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