840 search results - page 52 / 168 » A low-complexity issue logic |
KI
2009
Springer
15 years 7 months 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...
101
click to vote
IFSA
2007
Springer
15 years 6 months 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...
120
click to vote
CA
2003
IEEE
15 years 5 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...
IMPERIAL
1994
15 years 4 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...
99
Voted
FLAIRS
2008
15 years 2 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...