| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Werner Nutt Andy Cooke , Alasdair J. G. Gray , Lisha Ma , Werner Nutt, James Magowan , Manfred Oevers , Paul Taylor , Rob Byrom , Laurence Field , Steve Hicks , Jason Leake , Manish Soni , Antony Wilson , Roney Cordenonsi , Linda Cornwall , Abdeslem Djaoui , Steve Fisher , Norbert Podhorszki , Brian A. Coghlan , Stuart Kenny , David O'Callaghan : R-GMA: An Information Integration System for Grid Monitoring. CoopIS/DOA/ODBASE 2003 : 462-481 Franz Baader , Werner Nutt: Basic Description Logics. Description Logic Handbook 2003 : 43-95 Sara Cohen , Werner Nutt, Yehoshua Sagiv : Containment of Aggregate Queries. ICDT 2003 : 111-125 Yaron Kanza , Werner Nutt, Yehoshua Sagiv : Querying Incomplete Information in Semistructured Data. J. Comput. Syst. Sci. 64 (3): 655-693 (2002) Sara Cohen , Yaron Kanza , Yakov A. Kogan , Yehoshua Sagiv , Werner Nutt, Alexander Serebrenik : EquiX - A search and query language for XML. JASIST 53 (6): 454-466 (2002) Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Dan Suciu : Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001 Technical University of Aachen (RWTH) 2001 Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Dan Suciu : Preface. KRDB 2001 Sara Cohen , Werner Nutt, Yehoshua Sagiv : Equivalences among Aggregate Queries with Negation. PODS 2001 Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Dan Suciu : Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB). SIGMOD Record 30 (4): 92-93 (2001) Mokrane Bouzeghoub , Matthias Klusch , Werner Nutt, Ulrike Sattler : Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000 Technical University of Aachen (RWTH) 2000 Sara Cohen , Werner Nutt, Alexander Serebrenik : Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000 : 65-78 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv , Alexander Serebrenik : Combining the Power of Searching and Querying. CoopIS 2000 : 54-65 Sara Cohen , Werner Nutt, Alexander Serebrenik : Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999 : 9 Werner Nutt: On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. KI 1999 : 113-124 Yaron Kanza , Werner Nutt, Yehoshua Sagiv : Incomplete Answers for Queries over Semistructured Data. KRDB 1999 : 21-25 Ziv Bar-Yossef , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv : Querying Semantically Tagged Documents on the World-Wide Web. NGITS 1999 : 2-19 Sara Cohen , Werner Nutt, Alexander Serebrenik : Rewriting Aggregate Queries Using Views. PODS 1999 : 155-166 Yaron Kanza , Werner Nutt, Yehoshua Sagiv : Queries with Incomplete Answers over Semistructured Data. PODS 1999 : 227-236 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv , Alexander Serebrenik : EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999 : 43-48 Enrico Franconi , Giuseppe De Giacomo , Ian Horrocks , Deborah L. McGuinness , Werner Nutt, Peter F. Patel-Schneider , Christopher A. Welty : Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9 (3): 449-456 (1999) Enrico Franconi , Giuseppe De Giacomo , Robert M. MacGregor , Werner Nutt, Christopher A. Welty : Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998 Description Logics 1998 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. Artif. Intell. 100 (1-2): 225-274 (1998) Martin Buchheit , Francesco M. Donini , Werner Nutt, Andrea Schaerf : A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99 (2): 209-260 (1998) Franz Baader , Manfred A. Jeusfeld , Werner Nutt: Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997 Technical University of Aachen (RWTH) 1997 David Michaeli , Werner Nutt, Yehoshua Sagiv : Classification Rules for Semi-Structured Data. Description Logics 1997 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 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) Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996 Technical University of Aachen (RWTH) 1996 Franz Baader , Werner Nutt: Combination Problens for Commutative/Modoidal Theories or How Algebra Can Help in Equational Unification. Appl. Algebra Eng. Commun. Comput. 7 (4): 309-337 (1996) Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 Technical University of Aachen (RWTH) 1995 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 Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 Technical University of Aachen (RWTH) 1994 Martin Buchheit , Werner Nutt, Francesco M. Donini , Andrea Schaerf : Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 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. Inf. Syst. 19 (1): 33-54 (1994) Hans-Jürgen Bürckert , Werner Nutt: Modellierung epistemischer Propositionen. KI 1993 : 264-267 Franz Baader , Philipp Hanschke , Bernhard Hollunder , Bernhard Nebel , Werner Nutt: ``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht. KI 7 (3): 24-25 (1993) Franz Baader , Werner Nutt: Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992 : 1-5 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Andrea Schaerf : Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992 : 113-132 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. Artif. Intell. 53 (2-3): 309-327 (1992) Franz Baader , Hans-Jürgen Bürckert , Bernhard Hollunder , Armin Laux , Werner Nutt: Terminologische Logiken. KI 6 (3): 23-33 (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 Representation: 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: Tractable Concept Languages. IJCAI 1991 : 458-465 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. J. Autom. 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 Bernhard Hollunder , Werner Nutt, Manfred Schmidt-Schauß : Subsumption Algorithms for Concept Description Languages. ECAI 1990 : 348-353 Werner Nutt, Pierre Réty , Gert Smolka : Basic Narrowing Revisited. J. Symb. Comput. 7 (3/4): 295-317 (1989) 1 [ 3 ] [ 6 ] [ 11 ] [ 12 ] [ 16 ] [ 17 ] [ 21 ] [ 24 ] [ 25 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 33 ] [ 56 ] 2 [ 42 ] 3 [ 48 ] 4 [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 29 ] [ 34 ] 5 [ 11 ] [ 12 ] [ 18 ] [ 26 ] 6 [ 57 ] 7 [ 57 ] 8 [ 39 ] [ 41 ] [ 45 ] [ 46 ] [ 47 ] [ 50 ] [ 53 ] [ 55 ] 9 [ 57 ] 10 [ 57 ] 11 [ 57 ] 12 [ 57 ] 13 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 20 ] [ 23 ] [ 31 ] [ 34 ] [ 35 ] 14 [ 57 ] 15 [ 57 ] 16 [ 37 ] [ 38 ] 17 [ 37 ] [ 38 ] 18 [ 57 ] 19 [ 17 ] 20 [ 11 ] 21 [ 57 ] 22 [ 2 ] [ 11 ] [ 12 ] [ 13 ] [ 17 ] [ 26 ] 23 [ 38 ] 24 [ 19 ] [ 21 ] [ 22 ] [ 24 ] [ 25 ] [ 27 ] [ 29 ] [ 30 ] [ 33 ] 25 [ 39 ] [ 40 ] [ 42 ] [ 43 ] [ 46 ] [ 53 ] [ 54 ] 26 [ 57 ] 27 [ 48 ] 28 [ 39 ] [ 42 ] [ 46 ] [ 53 ] 29 [ 12 ] [ 26 ] 30 [ 57 ] 31 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 31 ] [ 35 ] [ 49 ] [ 51 ] [ 52 ] 32 [ 57 ] 33 [ 37 ] 34 [ 57 ] 35 [ 13 ] 36 [ 38 ] 37 [ 32 ] 38 [ 3 ] [ 11 ] 39 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 31 ] [ 35 ] [ 49 ] [ 51 ] [ 52 ] 40 [ 3 ] [ 11 ] [ 17 ] 41 [ 57 ] 42 [ 57 ] 43 [ 38 ] 44 [ 57 ] 45 [ 11 ] 46 [ 1 ] 47 [ 32 ] [ 36 ] [ 39 ] [ 40 ] [ 42 ] [ 43 ] [ 46 ] [ 50 ] [ 53 ] [ 54 ] [ 55 ] 48 [ 48 ] 49 [ 14 ] [ 15 ] [ 20 ] [ 23 ] [ 34 ] [ 35 ] 50 [ 2 ] 51 [ 39 ] [ 41 ] [ 45 ] [ 46 ] [ 47 ] [ 53 ] 52 [ 36 ] 53 [ 1 ] [ 3 ] 54 [ 57 ] 55 [ 19 ] [ 22 ] 56 [ 49 ] [ 51 ] [ 52 ] 57 [ 57 ] 58 [ 37 ] [ 38 ] 59 [ 57 ] 60 [ 26 ]  ©2004 Association for Computing Machinery |
