Sciweavers

5198 search results - page 65 / 1040
» A Logic of Agent Programs
Sort
View
LPNMR
1999
Springer
15 years 3 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
ATAL
2006
Springer
15 years 2 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
ISAAC
1992
Springer
132views Algorithms» more  ISAAC 1992»
15 years 3 months ago
Generalized Assignment Problems
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
Silvano Martello, Paolo Toth
AAAI
1994
15 years 15 days ago
Representing Multiple Theories
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
P. Pandurang Nayak
68
Voted
CADE
2008
Springer
15 years 11 months ago
Quantitative Separation Logic and Programs with Lists
Marius Bozga, Radu Iosif, Swann Perarnau