1664 search results - page 173 / 333 » Towards Partial Reasoning |
117
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
123
click to vote
ICTAI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
126
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
144
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
114
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...