918 search results - page 68 / 184 » Speculative Issue Logic |
178
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
138
click to vote
KI
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as no...
158
click to vote
IFSA
2007
Springer
16 years 8 days ago
2007
Springer
The main objective of an information retrieval system is to be effective in providing a user with relevant information in response to a query. However, especially given the inform...
184
click to vote
CA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we propose an XML-based markup language, called XSTEP, for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scrip...
172
click to vote
IMPERIAL
1994
15 years 10 months ago
1994
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...