1941 search results - page 78 / 389 » Reasoning about Computations Using Two-Levels of Logic |
118
click to vote
DEON
2008
Springer
15 years 5 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
151
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
138
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
121
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
151
click to vote
ESAW
2007
Springer
15 years 9 months ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...