2145 search results - page 335 / 429 » Pattern-Based Query Answering |
116
click to vote
ECAI
1994
Springer
15 years 6 months ago
1994
Springer
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...
LILOG
1989
15 years 6 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
109
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
106
Voted
GFKL
2007
Springer
15 years 6 months ago
2007
Springer
Experimental assessment of the performance of classification algorithms is an important aspect of their development and application on real-world problems. To facilitate this analy...