1950 search results - page 193 / 390 » Lambda-Free Logical Frameworks |
168
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
169
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
151
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a logic-based bargaining solution based on Zhang and Zhang's framework. It is shown that if the demand sets of players are logically closed, the solution s...
203
click to vote
ACL
2001
15 years 8 months ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...
156
click to vote
AAAI
2004
15 years 8 months ago
2004
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...