193 search results - page 12 / 39 » On the Epistemological foundations of Logic Programming and ... |
IJAC
2008
14 years 11 months ago
2008
We study what kinds of limits are preserved by the greatest semilattice image functor from the category of all semigroups to its subcategory of all semilattices. The second autho...
IWINAC
2005
Springer
15 years 5 months ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...
ACTA
1998
14 years 11 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
102
click to vote
ASP
2001
Springer
15 years 3 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
182
click to vote
POPL
2006
ACM
16 years 54 min ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...