Veröffentlichungen in 1997

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 1997


Artikel in Fachzeitschriften

Sven-Erik Bornscheuer, Michael Thielscher
Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems
JPL, 31(1--3):115-119, 1997
Details

C. Tresp, S. Sklorz
Medizinische Aus- und Weiterbildung: Mit dem Computer lernen
interMed - Arzt & neue Medien, 1, 1997
Details

J. Weidemann, H.-P. Hohn, J. Hiltner, K. Tochtermann, C. Tresp, D. Bozinov, K. Venjakob, A. Freund, B. Reusch, H.-W. Denker
A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed
Acta Anatomica, 158, 1997
Details


Artikel in Tagungsbänden

Franz Baader, P. Narendran
Unification of Concept Terms
Proceedings of the 11th International Workshop on Unification, UNIF-97, LIFO Technical Report 97-8, 1997. LIFO, Universitè de Orlèans
Details Download

Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Proceedings of the International Workshop on Description Logics, DL'97, 34-38, 1997. LRI, Universitè PARIS-SUD, Cente d'Orsay
Details Download

Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
In G. Winskel, eds., Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 2-13, 1997. IEEE Computer Society Press
Details

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Proceedings of the International Workshop on Description Logics, 1997
Details Download

Franz Baader, Cesare Tinelli
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
In W. McCune, eds., Proceedings of the 14th International Conference on Automated Deduction (CADE-97), volume 1249 of Lecture Notes in Artificial Intelligence, 19-33, 1997. Springer
Details

M. Baumeister, A. Becks, S. Sklorz, C. Tresp, U. Tüben
Indexing Medical Abstract Databases
Proceedings of the European Workshop on Multimedia Technology in Medical Training, September 1997
Details

Sven-Erik Bornscheuer, Helko Lehmann
Concurrent Production, Consumption and Occupation
In M.-A. Williams, eds., JCAI'97 Workshop on Nonmonotonic Reasoning, Action and Change, 52-64, 1997
Details

Sven-Erik Bornscheuer
Integrating Reactive and Reflexive Reasoning by Generating Rational Models
In A. Bonner and B. Freitag and L. Giordano and R. Kowalski, eds., LPS-97, Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (DYNAMICS-97), 65-80, 1997
Details

M. S. Hacid, P. Marcel, C. Rigotti
A rule based data manipulation language for OLAP systems
Proc. of the 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), LNCS,  1997. SPRINGER
Details Download

M. S. Hacid, P. Marcel, C. Rigotti
A Rule-Based Language for Ordered Multidimensional Databases
Proc. of the 5th Intl. Workshop on Deductive Database and Logic Programming (DDLP'97), volume 317 of GMD-Studien, 69-81,  1997
Details Download

Mohand-Saïd Hacid, Ulrike Sattler
An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions
Proceedings of the IEEE Knowledge and Data Engineering Workshop, Newport Beach, CA, USA, 65-72, November 1997. IEEE Computer Society
Details

J. Hiltner, M. Jäger, E. Meyer zu Bexten, C. Tresp, M. Fathi
Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens
In Bernhard Arnolds and Heinrich Müller and Dietmar Saupe and Thomas Tolxdorff, eds., Digitale Bildverarbeitung in der Medizin, Tagungsband zum 5. Freiburger Workshop (Deutschland), March 1997
Details

Steffen Hölldobler, Yvonne Kalinke
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs
NIPS-97 Workshop on Learning dynamical data structures: From sequences to graphs, December 1997
Details

Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 313-324, 1997
Details

Yvonne Kalinke
Using Connectionist Term Representations for First-Order-Deduction- A Critical View
In J. Diederich F. Maire, R. Hayward, eds., CADE-14 Workshop on Connectionist Systems for Knowledge Representation and Deduction, 35-42, 1997
Details

R. Küsters
Characterizing the semantics of terminological cycles with the help of finite automata
Proceedings of the International Workshop on Description Logics, DL'97, 10-14, 1997. LRI, Universitè PARIS-SUD, Cente d'Orsay
Details Download

Enno Sandner
From Linear Proofs to Direct Logic with Exponentials
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 135-146, 1997
Details

Olaf Steinmann, Antje Strohmaier, Thomas Stützle
Tabu Search Revisited
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 337-348, 1997
Details

Antje Strohmaier
Multi-Flip Networks: Parallelizing GenSAT
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 349-360, 1997
Details

C. Tresp, S. Sklorz
Multimedia Technology in Medical Training
In M. Jarke and K. Parsedach and K. Pohl, eds., Informatik'97: Informatik als Innovationsmotor, 27. Jahrestagung der GI, 1997. Springer
Details

C. Tresp
Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine
42. Internationales Wissenschaftliches Kolloquium, September 1997
Details

C. Tresp
Queries in Fuzzy Deductive Databases Using Medical Information
5th European Congress on Intelligent Techniques & Soft Computing (EUFIT 97), September 1997
Details


Bücher

M. Baumeister, H.-P. Hohn, S. Sklorz, C. Tresp (Hrsg.)
Multimedia Technology in Medical Training
Volume 20 of ABI. Augustinus, 1997
Details


Dissertationen

Antje Strohmaier
Logisches Schliesen mit massiv parallelen Methoden
Phd thesis, Dresden University of Technology, 1997
Details


Technische Berichte

Franz Baader, Klaus U. Schulz
Unification Theory – An Introduction
Technical Report, Center for Language and Information Processing (CIS), volume CIS-Rep-97-103, January 1997. Research Report
Details Download

Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-02, 1997. LTCS-Report
Details Download

Franz Baader
On the Complexity of Boolean Unification
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-03, 1997. LTCS-Report
Details Download

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-01, 1997. LTCS-Report
Details Download

M. S. Hacid, P. Marcel, C. Rigotti
A rule based data manipulation language for OLAP systems
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-97-05, 1997. LTCS-Report
Details Download

Steffen Hölldobler
Situations, Actions, and Causality in the Fluent Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1997-01, 1997
Details

R. Küsters
Characterizing the semantics of terminological cycles in ALN using finite automata
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-04, 1997. LTCS-Report
Details Download

Heiko Mantel, Enno Sandner
A framework for connection calculi
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1997-09, 1997
Details

Wolfgang Oertel, Uwe Petersohn
Anschlus̈bericht über das Verbundvorhaben FABEL
Technical Report, Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie (BMBF), volume WV-1997-10, 1997
Details