An abductive framework for computing knowledge base updates
From MaRDI portal
Publication:4819001
DOI10.1017/S1471068403001716zbMath1085.68545MaRDI QIDQ4819001
Publication date: 24 September 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
view update; consistency restoration; extended abduction; extended disjunctive program; theory update
68T05: Learning and adaptive systems in artificial intelligence
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68N17: Logic programming
Related Items
Updating action domain descriptions, Semantic forgetting in answer set programming, Computational methods for database repair by signed formulae, Abduction-Based Search for Cooperative Answers, Inductive Negotiation in Answer Set Programming
Uses Software