1114 search results - page 97 / 223 » An Architecture for Peer-to-peer Reasoning |
160
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
189
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
180
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a novel Energy-Aware Compilation (EAC) framework that can estimate and optimize energy consumption of a given code taking as input the architectural and techno...
152
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Webbases are database systems that enable creation of Web applications that allow end users to shop around for products and services at various Web sites without having to manually...
171
click to vote
AAAI
2010
15 years 7 months ago
2010
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...