674 search results - page 99 / 135 » Preferences in Game Logics |
154
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
174
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
158
click to vote
WMCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
165
click to vote
AUSAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
149
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...