1498 search results - page 122 / 300 » Description logic for coalitions |
142
click to vote
FOSSACS
2007
Springer
16 years 16 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
205
click to vote
I3E
2004
15 years 7 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
176
click to vote
MHCI
2009
Springer
16 years 27 days ago
2009
Springer
Mobile devices became powerful recently and wireless Internet access is becoming standard. One important class of networked, mobile applications are location based games, making e...
179
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
164
click to vote
JDWM
2007
15 years 6 months ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...