1302 search results - page 117 / 261 » Free-Style Theorem Proving |
147
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
139
click to vote
CIE
2010
Springer
15 years 9 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
127
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We consider networks of input-to-state dynamically stable (ISDS) systems and provide a small gain condition under which the entire network is again ISDS. A Lyapunov for...
136
click to vote
EPIA
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
163
click to vote
MFCS
2001
Springer
15 years 9 months ago
2001
Springer
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...