Veröffentlichungen in 1995

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

Veröffentlichungen in 1995


Artikel in Fachzeitschriften

Franz Baader, K.U. Schulz
Combination Techniques and Decision Problems for Disunification
Theoretical Computer Science B, 142:229-255, 1995
Details

Franz Baader, H.-J. Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
J. Applied Non-Classical Logics, 5:153-197, 1995
Details

Franz Baader, B. Hollunder
Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic
J. Automated Reasoning, 15:41-68, 1995
Details

Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
J. Automated Reasoning, 14:149-180, 1995
Details

Franz Baader, M. Buchheit, M.A Jeusfeld, W. Nutt
Reasoning About Structured Objects: Knowledge Representation Meets Databases
The Knowledge Engineering Review, 10(1):73-76, 1995
Details

François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 1995
Details

Sven-Erik Bornscheuer, Steffen Hölldobler
Deduktives Planen
Wissenschaftliche Zeitschrift der TU Dresden, 44(6):39-44, 1995
Details

Steffen Hölldobler, Michael Thielscher
Computing Change and Specificity with Equational Logic Programs
Annals of Mathematics and Artificial Intelligence, 14:99-133, 1995
Details


Artikel in Tagungsbänden

Franz Baader, K.U. Schulz
Combination of Constraint Solving Techniques: An Algebraic Point of View
Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Artificial Intelligence, 352-366, 1995. Springer
Details

Franz Baader, K.U. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95, volume 976 of Lecture Notes in Artificial Intelligence, 380-397, 1995. Springer
Details

Franz Baader, A. Laux
Terminological Logics with Modal Operators
In C. Mellish, eds., Proceedings of the 14th International Joint Conference on Artificial Intelligence, 808-814, 1995. Morgan Kaufmann
Details

Franz Baader
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, 168-178, 1995
Details Download

S. Bakhtari, W. Oertel
DOM-ArC: An Active Decision Support System for Quality Assessment of Cases
In M. Veloso and A. Aamodt, eds., Case-Based Reasoning Research and Development, Proceedings of the First International Conference, ICCBR-95, 381-390, 1995. Springer
Details

S. Bakhtari, W. Oertel
DOM: An Active Assistance System for Architectural and Engineering Design
In Milton Tan and Robert Teh, eds., The Global Design Studio - proceedings of the 6th international conference on computer-aided architectural design futures (CAAD Futures '95), 153-162, 1995. Centre for Advanced Studies in Architecture, National University of Singapore
Details

S. Bakhtari, Wolfgang Oertel
Quality Assessment of Design Cases within the DOM Environment
In B. Bartsch-Spörl and D. Janetzko and S. Wess, eds., Proceedings of the 3rd German CBR Workshop, 106-113, 1995. University of Kaiserslautern
Details

Kerstin Eder, Steffen Hölldobler, Michael Thielscher
A Resource–Oriented Deductive Approach towards Hierarchical Planning
Working Notes of the IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change, 39-53, 1995
Details

Kerstin Eder, Steffen Hölldobler, Michael Thielscher
A Resource–Oriented Deductive Approach towards Hierarchical Planning
In A. Krall, eds., Proceedings 11. Workshop Logische Programmierung, GMD–Studien, volume 270, 237-246, 1995
Details

M. Fathi, C. Tresp, K. Holte, J. Hiltner
Development of Objective Functions for Soft Computing in Medical Applications
ACM Computing Week, February 1995
Details

Steffen Hölldobler, Michael Thielscher
Objects, Specificity, Logic, and Change
In L. Dreschler-Fischer and S. Pribbenow, eds., KI–95 Activities: Workshops, Posters, Demos, Gesellschaft für Informatik e.V., 37-42, 1995
Details

Ulrike Sattler
A Concept Language for an engeneering application with part-whole relations
In A. Borgida and M. Lenzerini and D. Nardi and B. Nebel, eds., Proceedings of the International Workshop on Description Logics, 119-123, 1995
Details Download


Bücher

Franz Baader, Can Adam Albayrak
Termersetzungssysteme, Skript zur Vorlesung
Volume 12 of {A}achener {B}eitr{\"a}ge zur {I}nformatik. Verlag der Augustinus Buchhandlung, 1995
Details


Buchkapitel

Uwe Petersohn
Taschenbuch der Informatik
In , chapter 12 K{\"u}nstliche Intelligenz, 648-699. Fachbuchverlag Leipzig, 1995
Details


Technische Berichte

Franz Baader, Hans Jürgen Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
Technical Report, Max-Planck-Institut für Informatik, volume MPI-I-95-2-005, 1995. Technical Report
Details Download

S. Bakhtari, B. Bartsch-Spörl, W. Oertel, U. Eltz
DOM: Domain Ontology Modelling for Architectural Engineering Design
Technical Report, GMD, volume 33, 1995. FABEL Report
Details

B. Bartsch-Spörl, S. Bakhtari, W. Oertel
Assessment Supported by a Domain Ontology (DOM)
Technical Report, GMD, volume 35, 1995. FABEL Report
Details

Schmidt-Belz, B., W. Gräther, Gros̈ E., J. Walther, W. Oertel, L. Hovestadt
FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval
Technical Report, GMD, volume 30, 1995. FABEL Report
Details