3717 search results - page 21 / 744 » Representing Multiple Theories |
LATA
2010
Springer
14 years 5 months ago
2010
Springer
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
In the past, quite a few fast algorithms have been developed to mine frequent patterns over graph data, with the large spectrum covering many variants of the problem. However, the...
NOMS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Application servers are a core component of a multitier architecture that has become the industry standard for building scalable client-server applications. A client com...
PSSS
2003
13 years 9 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
NIL
1991
13 years 11 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.