152 search results - page 3 / 31 » Motivations as an Abstraction of Meta-level Reasoning |
CADE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
DLOG
2011
12 years 9 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
PODS
2006
ACM
14 years 5 months ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
MABS
2000
Springer
13 years 9 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...
CADE
2004
Springer
14 years 6 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...