Dependency semantics for sequences of extended logic programs

DOI10.1093/jigpal/jzs012zbMath1257.68134MaRDI 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

inconsistency; dependency; extended logic programming

Mathematics Subject Classification ID

68T30: Knowledge representation

68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence

68N17: Logic programming

Related Items

Belief Base Change Operations for Answer Set Programming