2911 search results - page 196 / 583 » A Theory of Expressiveness in Mechanisms |
167
click to vote
AAAI
1990
15 years 7 months ago
1990
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
174
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
167
click to vote
AMC
2010
15 years 6 months ago
2010
In this paper, we investigate condition numbers of eigenvalue problems of matrix polynomials with nonsingular leading coefficients, generalizing classical results of matrix pertur...
151
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
131
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: We deal in this paper with strategical languages of infinite words, that is those generated by a nondeterministic strategy in the sense of game theory. We first show the existenc...