Dependency semantics for sequences of extended logic programs

DOI10.1093/JIGPAL/JZS012zbMath1257.68134OpenAlexW1988201713MaRDI QIDQ3165890

Patrick Krümpelmann

Publication date: 19 October 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzs012

zbMATH Keywords

inconsistencydependencyextended logic programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (1)

Belief Base Change Operations for Answer Set Programming

This page was built for publication: Dependency semantics for sequences of extended logic programs

"Explain this."

"What is this research area about?"