769 search results - page 32 / 154 » Is Logic all in our Heads |
92
Voted
JVCA
2010
14 years 11 months ago
2010
We present a simple and intuitive method for encapsulating part of agents’ steering and coordinating abilities into a new class of agents, called situation agents. Situation age...
109
click to vote
KGC
1993
Springer
15 years 4 months ago
1993
Springer
We establish the complexity of decision problems associated with the nonmonotonic modal logic S4. We prove that the problem of existence of an S4-expansion for a given set A of pr...
81
Voted
JSYML
2008
15 years 21 days ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
112
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
113
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The theory revision problem is the problem of how best to go about revising a deficient domain theory using information contained in examples that expose inaccuracies. In this pa...