Non-monotonic reasoning with logic programming

DOI10.1016/0743-1066(93)90032-CzbMath0784.68024DBLPjournals/jlp/PereiraAA93OpenAlexW1971492645WikidataQ62039020 ScholiaQ62039020MaRDI QIDQ4275259

Luís Moniz Pereira, Joaquim N. Aparício, José Júlio Alferes

Publication date: 27 March 1994

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

Full work available at URL: https://doi.org/10.1016/0743-1066(93)90032-c

zbMATH Keywords

non-monotonic reasoningdefeasible reasoningabductive reasoninghypothetical reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (8)

A unifying view for logic programming with non-monotonic reasoning ⋮ Abduction over 3-valued extended logic programs ⋮ Iterative belief revision in extended logic programming ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ A rule based knowledge transaction model for mobile environments ⋮ Strong and explicit negation in non-monotonic reasoning and logic programming ⋮ Knowledge assimilation in domains of actions: a possible causes approach ⋮ Introduction: Progress in formal commonsense reasoning

This page was built for publication: Non-monotonic reasoning with logic programming