3658 search results - page 411 / 732 » The logic of proofs, semantically |
233
click to vote
ICNC
2005
Springer
16 years 9 days ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
178
click to vote
LOPSTR
2005
Springer
16 years 8 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 ...
201
click to vote
AGP
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
218
click to vote
ASP
2003
Springer
16 years 15 hour ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
156
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...