5198 search results - page 104 / 1040 » A Logic of Agent Programs |
AAAI
1998
15 years 20 days ago
1998
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
AAAI
1990
15 years 14 days ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
111
click to vote
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
CSMR
1998
IEEE
15 years 3 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...