Sciweavers

1498 search results - page 4 / 300
» Description logic for coalitions
Sort
View
LORI
2009
Springer
14 years 1 months ago
An Update Operator for Strategic Ability
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Ju...
AI
2005
Springer
13 years 7 months ago
On the logic of cooperation and propositional control
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
Wiebe van der Hoek, Michael Wooldridge
RULEML
2004
Springer
14 years 23 days ago
Defeasible Description Logics
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
Guido Governatori
IAT
2009
IEEE
13 years 5 months ago
Strategic Ability Update: A Modal Logic Account
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...
WWW
2003
ACM
14 years 8 months ago
Description logic programs: combining logic programs with description logic
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, St...