3776 search results - page 328 / 756 » Partition-Based Logical 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...
140
Voted
CADE
2009
Springer
15 years 11 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
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...
137
click to vote
EPIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
128
click to vote
LOPSTR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...