 | 
| |
Online DBLP entries are available for Werner Nutt and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
Werner Nutt,
Yehoshua
Sagiv,
Sara
Shurin: Deciding Equivalences Among Aggregate Queries.
PODS
1998: 214-223
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi, Werner Nutt,
Andrea
Schaerf: An Epistemic Operator for Description Logics.
Artificial
Intelligence 100(1-2): 225-274 (1998)
-
Martin
Buchheit,
Francesco
M. Donini, Werner Nutt,
Andrea
Schaerf: A Refined Architecture for Terminological Systems: Terminology
= Schema + Views.
Artificial
Intelligence 99(2): 209-260 (1998)
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi, Werner Nutt: The Complexity of Concept Languages.
Information
and Computation 134(1): 1-58 (1997)
-
Franz
Baader,
Manfred
A. Jeusfeld, Werner Nutt: Intelligent Access to Heterogeneous Information
Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases.
SIGMOD
Record 26(4): 44-48 (1997)
-
Martin
Buchheit,
Hans-Jürgen
Bürckert,
Bernhard
Hollunder,
Armin
Laux, Werner Nutt,
Marek
Wójcik: Task Acquisition with a Description Logic Reasoner.
KI
1995: 125-136
-
Franz
Baader,
Martin
Buchheit,
Manfred
A. Jeusfeld, Werner Nutt: Overview: KRDB'95.
KRDB
1995
-
Martin
Buchheit, Werner Nutt,
Francesco
M. Donini,
Andrea
Schaerf: Refining the Structure of Terminological Systems: Terminology
= Schema + Views.
AAAI,
Vol. 1 1994: 199-204
-
Martin
Buchheit,
Manfred
A. Jeusfeld, Werner Nutt,
Martin
Staudt: Subsumption between Queries to Object-Oriented Databases.
EDBT
1994: 15-22
-
Franz
Baader,
Martin
Buchheit,
Manfred
A. Jeusfeld, Werner Nutt: Reasoning about Structured Objects: Knowledge
Representation Meets Databases - Overview.
KRDB
1994
-
Martin
Buchheit,
Francesco
M. Donini, Werner Nutt,
Andrea
Schaerf: Terminological Systems Revisited: Terminology = Schema + Views.
KRDB
1994
-
Martin
Buchheit,
Manfred
A. Jeusfeld, Werner Nutt,
Martin
Staudt: Subsumption between queries to object-oriented databases.
IS
19(1): 33-54 (1994)
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi,
Andrea
Schaerf, Werner Nutt: Adding Epistemic Operators to Concept Languages.
KR
1992: 342-353
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi,
Bernhard
Hollunder, Werner Nutt,
Alberto
Marchetti-Spaccamela: The Complexity of Existential Quantification
in Concept Languages.
Artificial
Intelligence 53(2-3): 309-327 (1992)
-
Franz
Baader,
Hans-Jürgen
Bürckert,
Jochen
Heinsohn,
Bernhard
Hollunder,
Jürgen
Müller,
Bernhard
Nebel, Werner Nutt,
Hans-Jürgen
Profitlich: Terminological Knowledge Repressentation: A Proposal for
a Terminological Logic.
Description
Logics 1991: 120-128
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi, Werner Nutt: Tractable Concept Languages.
Description
Logics 1991: 39-42
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract).
Description
Logics 1991: 87-90
-
Francesco
M. Donini,
Maurizio
Lenzerini,
Daniele
Nardi, Werner Nutt: The Complexity of Concept Languages.
KR
1991: 151-162
-
Franz
Baader, Werner Nutt: Adding Homomorphisms to Commutative/Monoidal Theories
or How Algebra Can Help in Equational Unification.
RTA
1991: 124-135
-
Werner Nutt: The Unification Hierarchy is Undecidable.
Journal
of Automated Reasoning 7(3): 369-381 (1991)
-
Werner Nutt: Unification in Monoidal Theories.
CADE
1990: 618-632
-
Jürgen
Müller,
Franz
Baader,
Bernhard
Nebel, Werner Nutt,
Gert
Smolka: Tutorial on Reasoning and Representation with Concept Languages.
CADE
1990: 681
-
Werner Nutt,
Pierre
Réty,
Gert
Smolka: Basic Narrowing Revisited.
JSC
7(3/4): 295-317 (1989)
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
