Argument-based extended logic programming with defeasible priorities
Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for
defeasible argumentation. Arguments are expressed in a logic-programming language with …
defeasible argumentation. Arguments are expressed in a logic-programming language with …
Representing action and change by logic programs
M Gelfond, V Lifschitz - The Journal of Logic Programming, 1993 - Elsevier
We represent properties of actions in a logic programming language that uses both classical
negation and negation as failure. The method is applicable to temporal projection problems …
negation and negation as failure. The method is applicable to temporal projection problems …
Logic programming and knowledge representation
In this paper, we review recent work aimed at the application of declarative logic
programming to knowledge representation in artificial intelligence. We consider extensions …
programming to knowledge representation in artificial intelligence. We consider extensions …
The role of abduction in logic programming
The role of abduction in logic programming Page 252 The Role of Abduction in Logic
Programming AC Kakas, RA Kowalski and F. Toni Contents 1 234 Introduction 1.1 …
Programming AC Kakas, RA Kowalski and F. Toni Contents 1 234 Introduction 1.1 …
[图书][B] Debugging and repair of OWL ontologies
A Kalyanpur - 2006 - search.proquest.com
With the advent of Semantic Web languages such as OWL (Web Ontology Language), the
expressive Description Logic [special characters omitted] is exposed to a wider audience of …
expressive Description Logic [special characters omitted] is exposed to a wider audience of …
Equilibrium logic
D Pearce - Annals of Mathematics and Artificial Intelligence, 2006 - Springer
Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned
with answer set programming (ASP). In particular it provides a logical foundation for ASP as …
with answer set programming (ASP). In particular it provides a logical foundation for ASP as …
Answering the “why” in answer set programming–A survey of explanation approaches
J Fandinno, C Schulz - Theory and Practice of Logic Programming, 2019 - cambridge.org
Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming
more and more complex, leading to a decrease in the understandability of solutions. The …
more and more complex, leading to a decrease in the understandability of solutions. The …
Knowledge representation concepts for automated SLA management
Outsourcing of complex IT infrastructure to IT service providers has increased substantially
during the past years. IT service providers must be able to fulfil their service-quality …
during the past years. IT service providers must be able to fulfil their service-quality …
Local closed world reasoning with description logics under the well-founded semantics
An important question for the upcoming Semantic Web is how to best combine open world
ontology languages, such as the OWL-based ones, with closed world rule-based languages …
ontology languages, such as the OWL-based ones, with closed world rule-based languages …
[图书][B] Reasoning with logic programming
JJ Alferes, L Moniz Pereira - 1996 - Springer
Dealing with contradiction Page 1 8. Dealing with contradiction As we've seen before, WFSX
is not defined for every program, ie some programs are contradictory and are given no …
is not defined for every program, ie some programs are contradictory and are given no …