Publications in 1998

From International Center for Computational Logic
Toggle side column

Publications in 1998


Journal Articles

Franz Baader
On the Complexity of Boolean Unification
Information Processing Letters, 67(4):215-220, 1998
Details
Franz Baader, K. Schulz
Combination of Constraint Solvers for Free and Quasi-Free Structures
Theoretical Computer Science, 192:107-161, 1998
Details
Michael Thielscher
Reasoning About Actions: Steady Versus Stabilizing State Constraints
AI Journal, 104:339-355, 1998
Details

Proceedings Articles

Can Adam Albayrak, Thomas Noll
The WHILE Hierarchy of Program Schemes is Infinite
In Maurice Nivat, eds., Proceedings of Foundations of Software Science and Computation Structures, 35-47, 1998. LNCS 1378, Springer
Details
Franz Baader, A. Borgida, D.L. McGuinness
Matching in Description Logics: Preliminary Results
In M.-L. Mugnier and M. Chein, eds., Proceedings of the Sixth International Conference on Conceptual Structures (ICCS-98), volume 1453 of Lecture Notes in Computer Science, 15-34, 1998. Springer
Details
Franz Baader, Ulrike Sattler
Description Logics with Concrete Domains and Aggregation
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 336-340, 1998. John Wiley & Sons Ltd
Details Download
Franz Baader, R. Küsters
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
In O. Herzog and A. Günter, eds., Proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, volume 1504 of Lecture Notes in Computer Science, 129-140, 1998. Springer
Details
Franz Baader, R. Küsters
Least common subsumer computation w.r.t. cyclic ALN-terminologies
Proceedings of the 1998 International Workshop on Description Logics (DL'98), 1998
Details Download
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Proceedings of the 1998 International Workshop on Description Logics DL'98, 1998
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 331-335, 1998. John Wiley & Sons Ltd
Details
Sven-Erik Bornscheuer, Helko Lehmann
On the Combination of Partial Action Descriptions
Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 95-106, 1998. Springer
Details
Sven-Erik Bornscheuer
Integrating Reactive and Reflective Reasoning by Generating Rational Models
Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 83-94, 1998. Springer
Details
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
Modeling and Querying Video Databases
Proceedings 24th EUROMICRO'98 Conference Workshop on Multimedia and Telecommunications, Vasteras, Sweden, 492-498, August 1998. IEEE Computer Society
Details Download
C. Decleir, M. S. Hacid, J. Kouloumdjian
A Generic Model for Video Content Based Retrieval
Proceedings of the 1998 ACM Symposium on Applied Computing, Multimedia Track, Atlanta, GA, USA (to appear), 1998
Details Download
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
Modeling and Querying Video Data: A Hybrid Approach
Proceedings of the IEEE Workshop on Content-Based Access of Image & Video Libraries (CBAIVL'98), Santa Barbara, CA, USA, 86-90, June 1998. IEEE Computer Society
Details Download
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Proceedings of the International Workshop on Description Logics, 1998. IRST
Details Download
Steffen Hölldobler, Hans-Peter Störr
Reasoning about Complex Actions
In V. Lifschitz, eds., Seventh International Workshop on Nonmonotonic Reasoning - Papers on Action and Causality. Extended abstract in: ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, 1-9, August 1998
Details
Steffen Hölldobler, Enno Sandner
KI-Forschungsführer 1998
KI 98: Advanced in Artificial Intelligence, volume 1504 of LNAI, 251-353, 1998. Springer
Details
Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs
In J. Slaney G. Antoniou, eds., Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 167-178, 1998. Springer
Details
Catriona Kennedy
Evolution of Self-Definition
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, invited session on “Artificial Immune Systems: Modelling and Simulation”, October 1998
Details
Catriona Kennedy
Anomaly-Driven Concept Acquisition
Proceedings of the KI98 Workshop on Machine Learning und Concept Acquisition, September 1998
Details
Catriona M. Kennedy
A Conceptual Foundation for Autonomous Learning in Unforeseen Situations
IEEE International Symposium on Intelligent Control (ISIC/CIRA/ISAS'98), September 1998
Details
R. Küsters
Characterizing the Semantics of Terminological Cycles in ALN using Finite Automata
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 499-510, 1998. Morgan Kaufmann
Details
Wolfgang Oertel, Uwe Petersohn
Case-Based Support System for Treatment of Pain Diseases
Proceedings of the Sixth German Workshop on Case-Based Reasoning: Foundations, Systems, Applications, 1998. Universität Rostock
Details
Michael Thielscher
Towards State Update Axioms: Reifying Successor State Axioms
In L.F. del Cerro and J. Dix and U. Furbach, eds., Proceedings of JELIA 98, volume 1489 of LNAI, 248-263, 1998. Springer
Details
Michael Thielscher
Towards a Logic for Causal Reasoning
In C. Ortitz, eds., Prospectes for a Commonsense Theory of Causation, volume SS-98-00, 101-106, 1998. Stanford University
Details
Michael Thielscher
How (Not) To Minimize Events
In S.C. Shapiro A.G. Cohn, L.K. Schubert, eds., Proceedings of KR 98, 60-71, 1998
Details
C. Tresp, U. Tüben
Medical Terminology Processing for a Tutoring System
International Conference on Computational Intelligence and Multimedia Applications (ICCIMA98), February 1998
Details
C.B. Tresp, R. Molitor
A Description Logic for Vague Knowledge
Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98), 361-365, 1998. J. Wiley and Sons
Details

Books

Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1998
Details
H.-W. Denker, J. Hiltner, H.-P. Hohn, D. C. Novak, B. Reusch, C. Tresp, J. Weidemann
Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm
W. de Gruyter, 1998
Details
Steffen Hölldobler
Intellectics and Computational Logic
Kluwer Academic Publishers, 1998
Details
Michael Schroeder
Autonomous, Model-Based Diagnosis Agents
Springer Verlag, 1998
Details
Heiko Vogler, Zoltan Fülöp
Syntax-Directed Semantics
Springer Verlag, 1998
Details

Book Chapters

Franz Baader, K.U. Schulz
Unification Theory
In W. Bibel and P.H. Schmidt, eds., Automated Deduction – A Basis for Applications, Vol. I: Foundations – Calculi and Methods, volume 8 of Applied Logic Series, 225-263. Kluwer Academic Publishers, 1998
Details
Sven-Erik Bornscheuer, Steffen Hölldobler, Yvonne Kalinke, Antje Strohmaier
Automated Deduction - A Basis for Applications
In P. H. Schmitt W. Bibel, eds., , volume II, chapter Massively Parallel Reasoning, 291-321. Kluwer Academic Publishers, 1998
Details
Steffen Hölldobler
Neue Entwicklungen in der Informatikausbildung
In I. Schmitt S. Conrad, G. Saake, eds., , chapter Computational Logic - Ein internationaler Master-Studiengang. ???, 1998
Details
Steffen Hölldobler, Hans-Peter Störr
Intellectics and Computational Logic
In Steffen Hölldobler in Honor of Wolfgang Bibel, eds., , chapter Complex Plans in the Fluent Calculus. Kluwer Academic Publishers, 1998
Details

Technical Reports

Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories
Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign, volume UIUCDCS-R-98-2073, 1998. {UIUCDCS}-Report
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics: Revised Version
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-07, 1998. LTCS-Report
Details Download
Franz Baader, R. Molitor, Stephan Tobies
On the Relation between Descripion Logics and Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-11, 1998. LTCS-Report
Details Download
Franz Baader, R. Molitor, Stephan Tobies
The Guarded Fragment of Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-10, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-09, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-04, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-06, 1998. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains, Part II (extended)
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-02, 1998. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
A PSpace-algorithm for deciding ALCNI_R^+-satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-08, 1998. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-05, 1998. LTCS-Report
Details Download
Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich:
An Adequate Connectionist System for Reflexive Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-98-12, 1998
Details
Martin Leucker, Stephan Tobies
Truth—A Platform for Verification of Distributed Systems
Technical Report, RWTH Aachen, volume 98-05, May 1998. Aachener Informatik Bericht
Details Download
R. Molitor
Structural Subsumption for ALN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-03, 1998. LTCS-Report
Details Download
C.B. Tresp, R. Molitor
A Description Logic for Vague Knowledge
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-98-01, 1998. LTCS-Report
Details Download