Update-programms can update programs

DOI10.1007/BFB0023804zbMATH Open1547.68082MaRDI QIDQ6623796

José Júlio Alferes, Luís Moniz Pereira

Publication date: 24 October 2024

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Updating knowledge bases
• A logic programming system for nonmonotonic reasoning
• Non-monotonic reasoning with logic programming
• The well-founded semantics for general logic programs
• Logic programming and knowledge representation
• Update by means of inference rules
• Revision by communication

This page was built for publication: Update-programms can update programs

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