5818 search results - page 975 / 1164 » A reasonable Semantic Web |
105
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
127
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
172
click to vote
LOPSTR
2005
Springer
16 years 3 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
149
click to vote
LPAR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
186
click to vote
PADL
2005
Springer
16 years 3 days ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...