5608 search results - page 144 / 1122 » On the Theory of Matchgate Computations |
118
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
PKDD
2005
Springer
15 years 7 months ago
2005
Springer
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
105
click to vote
MFPS
1993
15 years 5 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
102
click to vote
AAAI
2007
15 years 4 months ago
2007
Various problems in AI and multiagent systems can be tackled by finding the “most desirable” elements of a set given some binary relation. Examples can be found in areas as d...
106
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...