217 search results - page 1 / 44 » A Logic for Approximate First-Order Reasoning |
CSL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
IJCAI
2007
13 years 6 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
KR
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
CADE
1997
Springer
13 years 9 months ago
1997
Springer
TIME
2009
IEEE
13 years 11 months ago
2009
IEEE
