1814 search results - page 98 / 363 » Extended First-Order Logic |
116
click to vote
TPHOL
1997
IEEE
15 years 7 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
114
click to vote
AAAI
2010
15 years 4 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
120
click to vote
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
125
click to vote
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
143
click to vote
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...