5198 search results - page 423 / 1040 » A Logic of Agent Programs |
172
click to vote
AAAI
2008
15 years 9 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
217
click to vote
MP
2011
15 years 1 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eï¬...
205
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
168
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
245
Voted
E4MAS
2004
Springer
16 years 5 days ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...