1143 search results - page 16 / 229 » Prospective Logic Agents |
133
click to vote
FROCOS
2009
Springer
15 years 6 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
138
Voted
CATA
2003
15 years 3 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
AAAI
2008
15 years 4 months ago
2008
We have spelling and grammar checking tools available on today's word processors. But what they are missing is a tool that can recommend several possibilities of a given writ...
115
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
112
click to vote
AAAI
1990
15 years 3 months ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...