Publications in 1999

From International Center for Computational Logic
Toggle side column

Publications in 1999


Journal Articles

Franz Baader, R. Küsters, A. Borgida, D. McGuinness
Matching in Description Logics
Journal of Logic and Computation, 9(3):411-447, 1999
Details
Franz Baader, Ulrike Sattler
Expressive Number Restrictions in Description Logics
Journal of Logic and Computation, 9(3):319-350, 1999
Details Download
E. Franconi, Ulrike Sattler
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report
Italian Association for Artificial Intelligence AI*IA Notizie, 1:9-21, 1999
Details Download
V. Haarslev, Carsten Lutz, R. Möller
A Description Logic with Concrete Domains and Role-forming Predicates
Journal of Logic and Computation, 9(3):351-384, 1999
Details Download
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Journal of Logic and Computation, 9(3):385-410, 1999
Details
Steffen Hölldobler, Hans-Peter Störr, Yvonne Kalinke
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence, 11:45-58, 1999
Details

Proceedings Articles

Edoardo Ardizzone, Mohand-Said Hacid
A Semantic Modeling Approach for Video Retrieval by Content
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, volume 2, 158-162, June 1999. IEEE Computer Society
Details Download
A. Artale, Carsten Lutz
A Correspondance between Temporal Description Logics
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics (DL'99), CEUR-WS, 145-149,  1999. Linköping University
Details Download
Franz Baader, R. Molitor
Rewriting Concepts Using Terminologies
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Franz Baader, R. Küsters, R. Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions
In T. Dean, eds., Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), 96-101, 1999. Morgan Kaufmann
Details
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
In P. Narendran and M. Rusinowitch, eds., Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), volume 1631 of Lecture Notes in Computer Science, 175-189, 1999. Springer
Details
Franz Baader
Logic-Based Knowledge Representation
In M.J. Wooldridge and M. Veloso, eds., Artificial Intelligence Today, Recent Trends and Developments, Lecture Notes in Computer Science, 13-41, 1999. Springer
Details Download
Franz Baader, R. Molitor, Stephan Tobies
Tractable and Decidable Fragments of Conceptual Graphs
In W. Cyre and W. Tepfenhart, eds., Proceedings of the Seventh International Conference on Conceptual Structures (ICCS'99), Lecture Notes in Computer Science, 480-493, 1999. Springer
Details Download
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
A Database Approach for Modeling and Querying Video Data
In Masaru Kitsuregawa and Leszek Maciaszek and Mike Papazoglou, eds., Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia, 6-13, March 1999. IEEE Computer Society
Details Download
E. Franconi, Ulrike Sattler
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation
Workshop on Design and Management of Data Warehouses (DMDW'99), June 1999
Details Download
Mohand-Saïd Hacid, Christophe Rigotti
Representing and Reasoning on Conceptual Queries Over Image Databases
In Zbigniew W. Ras and Andrzej Skowron, eds., Proceedings of the Eleventh International Symposium on Methodologies for Intelligent Systems, Warsaw, Poland, LNCS 1609, 340-348, June 1999. Springer
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Expressive Description Logics
In Harald Ganzinger and David McAllester and Andrei Voronkov, eds., Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Lecture Notes in Artificial Intelligence, 161-180, September 1999. Springer
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies
Proceedings of the 1999 Workshop Methods for Modalities (M4M-1), 1999
Details Download
Stephan Kepser, Jörn Richts
UniMoK: A System for Combining Equational Unification Algorithms
Rewriting Techniques and Applications, Proceedings RTA-99, volume 1631 of Lecture Notes in Computer Science, 248-251, 1999. Springer
Details
Stephan Kepser, Jörn Richts
Optimisation Techniques for Combining Constraint Solvers
In Dov Gabbay and Maarten de Rijke, eds., Frontiers of Combining Systems 2, Papers presented at FroCoS'98, 193-210, 1999. Research Studies Press/Wiley
Details Download
Ralf Küsters
What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases
In S. Abiteboul and D. Florescu and A. Levy and G. Moerkotte, eds., Foundations for Information Integration, Dagstuhl-Seminar-Report 244, 1999
Details
Carsten Lutz
Complexity of Terminological Reasoning Revisited
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, Lecture Notes in Artificial Intelligence, 181-200,  1999. Springer
Details Download
Carsten Lutz
Reasoning with Concrete Domains
In Thomas Dean, eds., Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99, 90-95,  1999. Morgan-Kaufmann Publishers
Details Download
Carsten Lutz, Ulrike Sattler, Stephan Tobies
A Suggestion for an n-ary Description Logic
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics, CEUR-WS, 81-85,  1999. Linköping University
Details Download
S .Tobies
A NExpTime-complete Description Logic Strictly Contained in C^2
In J. Flum and M. Rodríguez-Artalejo, eds., Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL-99), LNCS 1683, 292-306, 1999. Springer
Details Download
Stephan Tobies
On the Complexity of Counting in Description Logics
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Stephan Tobies
A PSpace Algorithm for Graded Modal Logic
In H. Ganzinger, eds., Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, LNAI 1632, 52-66,  1999. Springer
Details Download

Books

Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1999
Details

Book Chapters

Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich
Hybrid Neural Systems
In Wermter and Sun, eds., , chapter A Recursive Neural Network for Reflexive Reasoning. Springer, 1999
Details

Technical Reports

Franz Baader, R. Küsters
Matching Concept Descriptions with Existential Restrictions Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-13, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-07, 1999. LTCS-Report
Details Download
Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
Technical Report, Department of Computer Science, University of Iowa, volume 99-13,  1999
Details Download
Franz Baader, R. Molitor
Rewriting Concepts using Terminologies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-06, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies – Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 99-12, 1999. LTCS-Report
Details Download
A. Borgida, R. Küsters
What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases
Technical Report, Rutgers University, USA, volume DCS-TR-391, 1999
Details Download
C. Decleir, M.-S. Hacid, J. Kouloumdjian
A Database Approach for Modeling and Querying Video Data
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-03, 1999. LTCS-Report
Details Download
Alessio Guglielmi
A Calculus of Order and Interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-04, 1999
Details
M.-S. Hacid, C. Rigotti
Representing and Reasoning on Conceptual Queries Over Image Databases
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-02, 1999. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
Query Containment Using a DLR ABox
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-15, 1999. LTCS-Report
Details Download
Ian Horrocks, Stephan Tobies
Optimisation of Terminological Reasoning
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-14, 1999. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-08, 1999. LTCS-Report
Details Download
Steffen Hölldobler
Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract)
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-03, 1999
Details
Steffen Hölldobler
The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-02, 1999
Details
Steffen Hölldobler, Hans-Peter Störr
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-05, 1999
Details
R. Küsters, A. Borgida
What's in an Attribute? Consequences for the Least Common Subsumer
Technical Report, Rutgers University, USA, volume DCS-TR-404, 1999
Details Download
Carsten Lutz
On the Complexity of Terminological Reasoning
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-04, 1999. LTCS-Report
Details
Carsten Lutz
The Complexity of Reasoning with Concrete Domains (Revised Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-01, 1999. LTCS-Report
Details Download
Stephan Tobies
A PSpace-algorithm for ALCQI-satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-09, 1999. LTCS-Report
Details Download
Stephan Tobies
A NEXPTIME-complete Description Logic Strictly Contained in C^2
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-05, 1999. LTCS-Report
Details Download
Stephan Tobies
PSpace Reasoning for DLs with Qualifying Number Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-11, 1999. LTCS-Report
Details Download