3679 search results - page 476 / 736 » Answer set based design of knowledge systems |
178
click to vote
ATAL
2004
Springer
16 years 17 days 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...
202
click to vote
ITS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
197
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
210
click to vote
EUROSSC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
213
click to vote
WONTO
2008
15 years 8 months ago
2008
This paper describes the development of a framework to build Virtual Communities of Practice in the web. It is part of a larger project named as DWeb (acronym for Dream Web). The p...