375 search results - page 17 / 75 » Group announcement logic |
WILF
2007
Springer
14 years 1 months ago
2007
Springer
In the resolution of group decision making problems where the consensus process can not be held face to face by the experts it is usually difficult for them to be able to identify ...
IJNSEC
2008
13 years 7 months ago
2008
In group communication, users often have different access rights to multiple data streams. Based on the access relation of users and data streams, users can form partially ordered...
IJAC
2010
13 years 4 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...