Update by means of inference rules

DOI10.1016/S0743-1066(96)00091-XzbMath0884.68026OpenAlexW2094341147MaRDI QIDQ4365058

Hudson Turner, Teodor C. Przymusinski

Publication date: 14 December 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00091-x

zbMATH Keywords

default logicrevision programming

Mathematics Subject Classification ID

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

Related Items

Default Negation as Explicit Negation plus Update ⋮ Unnamed Item ⋮ Fixpoint semantics for active integrity constraints ⋮ Active integrity constraints for general-purpose knowledge bases ⋮ LUPS -- A language for updating logic programs ⋮ Annotated revision programs