1055 search results - page 64 / 211 » On the Semantics of Logic Programs with Preferences |
183
click to vote
SLP
1994
15 years 8 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
225
click to vote
IBERAMIA
2010
Springer
15 years 4 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
176
click to vote
ICTAC
2005
Springer
16 years 6 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
173
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
150
Voted
AI
2006
Springer
15 years 6 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...