2585 search results - page 359 / 517 » Automating Coherent Logic |
139
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
Many System-on-a-Chip devices would benefit from the inclusion of reprogrammable logic on the silicon die, as it can add general computing ability, provide run -time reconfigurabil...
136
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
169
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
158
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
168
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...