3481 search results - page 364 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
151
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
132
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
129
Voted
LICS
1998
IEEE
15 years 9 months ago
1998
IEEE
The Horn
165
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
166
click to vote
IDT
2010
15 years 3 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...