23 search results - page 1 / 5 » Predicate Introduction for Logics with a Fixpoint Semantics.... |
FUIN
2007
13 years 4 months ago
2007
FUIN
2007
13 years 4 months ago
2007
IJCAI
2001
13 years 5 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
JOLLI
2002
13 years 4 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
ENTCS
2002
13 years 4 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...