This page: http://www.pms.ifi.lmu.de/publikationen/idefixStatic/pms-publications.html,
Static version of http://www.pms.ifi.lmu.de/publikationen/, created: Saturday, 07-Nov-2009 11:11:15 CET
francois.bry@informatik.uni-muenchen.de

Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen,
Institut für Informatik der Ludwig-Maximilians-Universität München

Publications

Copyright Notice

The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of technical and scholarly work on a noncommercial basis.

Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically.

It is understood that all persons copying documents distributed here will adhere to the terms and constraints implied by the applicable copyrights. A document distributed here may not be redistributed -- in particular may not be electronically reposted -- without the explicit permission of the copyright holders.

The material made available here is exclusively for private use. No part of it may be distributed in classes or in publications, reproduced, stored in a retrieval system, or published, in any form or by means electronic, mechanical, photocopying, or otherwise, without prior written permission of the authors and of the copyright holders.

Contents: Research Papers, Dissertations, Lecture Notes, Diploma Theses, Project Theses

Research Papers

2010

PMS-FB-2010-1
François Bry and Klara Weiand:
Flavours of KWQL, a Keyword Query Language for a Semantic Wiki.
Complete Text [.pdf, 129KB]
In: Proceedings of OFSEM 2010: 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2010), ŝpindlerův Mlýn, Czech Republic (23rd - 29th January 2010)

2009

PMS-FB-2009-12
François Bry, Tim Furche, and Klara Weiand:
Web Queries: From a Web of Data fo a Semantic Web.
Complete Text [.pdf, 112KB]
Slides [.pdf, 12,3 MB]
In: Web Information Systems Engineering - WISE 2009, Proceedings of 10th International Conference on Web Systems Engineering (WISE2009), Pozan, Poland (5th - 7th October 2009), LNCS 5802, ISBN 978-3-642-04408-3

PMS-FB-2009-11
François Bry and Klara Weiand:
KWQL, Querying for Social Semantic Software.
Complete Text [.pdf, 562KB]
(Poster)
In: Proceedings of Reasoning Web, Fifth International Summer School 2009 (RW2009), Bressaone, Italy (30th August - 4th September 2009)

PMS-FB-2009-10
François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, and Olga Yestekhina:
Four Lessons in Versality or How Query Languages Adapt to the Web.
Complete Text [.pdf, 988KB]
In: Semantic Techniques for the Web, The Rewerse Perspective, François Bry and Jan Maluszynski (editor/s), LNCS
© Springer-Verlag

PMS-FB-2009-9
François Bry, Tim Furche, and Benedikt Linse:
The Perfect Match: RPL and RDF Rule Languages.
Complete Text [.pdf, 246KB]
submitted for publication

PMS-FB-2009-8
François Bry, Tim Furche, and Benedikt Linse:
Model Theory and Entailment Rules for RDF Containers, Collections and Reification.
Complete Text [.pdf, 196KB]
submitted for publication

PMS-FB-2009-7
Simon Brodt:
Tree-search, Partial Orderings, and a New Family of Uninformed Algorithms.
Complete Text [.pdf, 653KB]
English version of PA_Simon.Brodt

PMS-FB-2009-6
Michael Eckert and François Bry:
Complex Event Processing (CEP).
Complete Text [.pdf, 146KB]
English version of PMS-FB-2009-5

PMS-FB-2009-5
Michael Eckert and François Bry:
Aktuelles Schlagwort: Complex Event Processing (CEP).
Complete Text [.pdf, 156KB]
English version in PMS-FB-2009-6
In: Informatik Spektrum 32 (2), 163-167, 2009
© Springer-Verlag

PMS-FB-2009-4
Jakub Kotowski, Stephanie Stroka, François Bry, and Sebastian Schaffert:
Dependency Updates and Reasoning for KiWi.
Complete Text [.pdf, 85KB]
(Poster)

PMS-FB-2009-3
François Bry, Jakub Kotowski, and Klara Weiand:
Querying and reasoning for Social Semantic software.
Complete Text [.pdf, 48KB]
(Poster)
In: Proceedings of 6th European Semantic Web Conference (ESWC2009), Heraklion, Greece (31st May - 4th June 2009)

PMS-FB-2009-2
François Bry, Michael Eckert, Jakub Kotowski, and Klara Weiand:
What The User Interacts With: Reflections On Conceptual Models For Sematic Wikis.
Complete Text [.pdf, 118KB]
In: Proceedings of 6th European Semantic Web Conference (ESWC2009), Heraklion, Greece (31st May - 4th June 2009)

PMS-FB-2009-1
Sebastian Schaffert, François Bry, Joachim Baumeister, and Malte Kiesel:
Semantische Wikis.
Complete Text [.pdf, 1.0MB / .doc, 1.0 MB]
In: Social Semantic Web · Web 2.0 - Was nun?, Andreas Blumauer and Tassilo Pellegrini (editor/s), 245-258, ISBN 978-3-540-72215-1
© Springer-Verlag

2008

PMS-FB-2008-17
François Bry and Jakub Kotowski:
Reason Maintenance- State of the Art.
Complete Text [.pdf, 796KB]
KIWI Deliverable

PMS-FB-2008-16
Christian Hänsel, Hans Jürgen Ohlbach, and Edgar-Philipp Stoffel:
L-DSMS - A Local Data Stream Management System.
Complete Text [.pdf, 310KB]
Additional Information: http://www.pms.ifi.lmu.de/rewerse-wga1/ldsms/publications/index.htm
In: Software Architecture, Proceedings of Second European Conference on Software Architecture (ECSA 2008), Paphos, Cyprus (29th September - 1st October 2008), LNCS 5292, 298-305, ISBN 978-3-540-88029-5
© Springer-Verlag

PMS-FB-2008-15
Alex Kohn, François Bry, and Alexander Manta:
Professional Search: Requirements, Prototype and Preliminary Experience Report.
short version in PMS-FB-2008-14
In: Proceedings of Iadis International Conference WWW/Internet, Freiburg, Germany (13th - 15th October 2008), Organization: IADIS

PMS-FB-2008-14
Alex Kohn, François Bry, and Alexander Manta:
Exploiting a Company's Knowledge: The Adaptive Search Agent YASE.
Complete Text [.pdf, 118KB]
Poster [.pdf, 540KB]
short version of PMS-FB-2008-15
In: Proceedings of International Conference on Semantic Systems (I-Semantics '08), Graz, Austria (3rd - 5th September 2008), 166-169

PMS-FB-2008-13
François Bry and Michael Eckert:
On Static Determination of Temporal Relevance for Incremental Evaluation of Complex Event Queries.
Complete Text [.pdf, 215KB / .ps, 400 KB]
In: Distributed event-based systems, Proceedings of 2nd International Conference on Distributed Event-Based Systems (DEBS2008), Rome, Italy (1st - 4th July 2008), Organization: ACM 332, 289-300, ISBN 978-1-60558-090-6

PMS-FB-2008-12
François Bry and Michael Eckert:
Rules for Making Sense of Events: Design Issues for High-Level Event Query and Reasoning Languages.
Complete Text [.pdf, 105KB / .ps, 86 KB]
In: AI Meets Business Rules and Process Management, Proceedings of AAAI 2008 Spring Symposium, Stanford University/Palo Alto, California, USA (26th March 2008), Organization: AAAI, ISBN 978-1-57735-357-7

PMS-FB-2008-11
Klara Weiand, François Bry, and Tim Furche:
Reasoning and Querying -- State of the Art.
Complete Text [.pdf, 1.3MB]
KIWI Deliverable

PMS-FB-2008-10
François Bry, Tim Furche, Benedikt Linse, and Alexander Pohl:
XcerptRDF: A Pattern-based Answer to the Versatile Web Challenge.
Complete Text [.pdf, 177KB]
In: Proceedings of 22nd Workshop on (Constraint) Logic Programming (WLP), Dresden, Germany (30th September - 1st October 2008), 27-36

PMS-FB-2008-9
François Bry, Tim Furche, Clemens Ley, Benedikt Linse, and Bruno Marnette:
Taming Existence in RDF Querying.
Complete Text [.pdf, 68KB]
In: Web Reasoning and Rule Systems, Proceedings of International Conference on Web Reasoning and Rule Systems (RR2008), Karlsruhe, Germany (31st October - 1st November 2008), LNCS, ISBN 978-3-540-88736-2
© Springer-Verlag

PMS-FB-2008-8
François Bry, Tim Furche, and Benedikt Linse:
Simulation Subsumption or Déjà vu on the Web.
Complete Text [.pdf, 248KB]
In: Web Reasoning and Rule Systems, Proceedings of International Conference on Web Reasoning and Rule Systems (RR2008), Karlsruhe, Germany (31st October - 1st November 2008), LCNS, ISBN 978-3-540-88736-2
© Springer-Verlag

PMS-FB-2008-7
Klara Weiand, Tim Furche, and François Bry:
Quo Vadis, Web Queries.
Complete Text [.pdf, 1.3MB]
In: Proceedings of International Workshop on Semantic Web Technologies (Web4Web), Belgrade, Serbia (29th - 30th September 2008)

PMS-FB-2008-6
Edgar-Philipp Stoffel, Korbinian Schoder, and Hans Jürgen Ohlbach:
Applying Hierarchical Graphs to Pedestrian Indoor Navigation.
Complete Text [.pdf, 334KB]
In: Proceedings of 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM GIS 2008), Irvine, California (5th - 7th November 2008), Organization: ACM, LNCS, ISBN 978-1-60558-323-5
© Springer-Verlag

PMS-FB-2008-5
Sebastian Mieth, Florian Fuchs, Edgar-Philipp Stoffel, and Diana Weiß:
Reasoning on Geo-Referenced Sensor Data in Physical Infrastructures.
Complete Text [.pdf, 817KB]
In: Proceedings of the Workshop "Semantic Web meets Geospatial Applications" at the 11th AGILE International Conferende om Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE
© Springer-Verlag

PMS-FB-2008-4
Edgar-Philipp Stoffel and Hans Jürgen Ohlbach:
Versatile Route Descriptions for Pedestrian Guidance in Buildings - Conceptual Model and Systematic Method.
Complete Text [.pdf, 225KB]
In: The European Information Society, Proceedings of 11th AGILE International Conferende om Geographic Information Science (AGILE 2008), Girona, Spain (5th - 8th May 2008), Organization: AGILE, LNGC, ISBN 978-3-540-78945-1
© Springer-Verlag

PMS-FB-2008-3
François Bry and Jana Herwig:
Kreidetafel und Lounge 2.0 -- Der Einzug sozialer Medien in Technik und Wissenschaft.
Complete Text [.doc, 108KB / .pdf, 94 KB]
Slides [.pdf, 118 KB]
In: IM -- Fachzeitschrift für Information Management und Consulting, 2008

PMS-FB-2008-2
François Bry and Jakub Kotowski:
Towards Reasoning and Explanations for Social Tagging.
Complete Text [.pdf, 194KB]
Poster [.pdf, 382KB]
In: Explanation-aware Computing 2008, Thomas R. Roth-Berghofer, Stefan Schulz, Daniel Bahls, David B. Leake (editor/s), Proceedings of 3rd International Workshop on Explanation-aware Computing (ExaCt 2008), Patras, Greece (21st - 22nd July 2008), ISBN 1613-0073

PMS-FB-2008-1
François Bry, Tim Furche, Clemens Ley, Benedikt Linse, and Bruno Marnette:
RDFLog: It's like Datalog for RDF.
Complete Text [.pdf, 250KB]
In: Proceedings of 22nd Workshop on (Constraint) Logic Programming (WLP 2008), Dresden (30th September - 1st October 2008)

2007

PMS-FB-2007-23
François Bry and Michael Eckert:
Twelve Theses on Reactive Rules for the Web.
Complete Text [.pdf, 72KB / .ps 205 KB]
short version of PMS-FB-2006-4
In: Event Processing, Mani Chandy, Opher Etzion and Rainer von Ammon (editor/s), Proceedings of Dagstuhl Seminar 07191: Event Processing, Dagstuhl Castle, Germany (6th - 11th May 2007), Dagstuhl Seminar Proceedings (07191)

PMS-FB-2007-22
François Bry, Tim Furche, Alina Hang, and Benedikt Linse:
GRDDLing with Xcerpt: Learn one, get one free!.
Complete Text [.pdf, 116KB]
In: Proceedings of 4th European Semantic Web Conference (ESWC), Innsbruck, Austria (3rd - 7th June 2007), Organization: ESSI

PMS-FB-2007-21
François Bry, Tim Furche, Liviu Badea, Christoph Koch, Sebastian Schaffert, and Sacha Berger:
Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.
extended version of PMS-FB-2005-3
In: Semantic Web-Based Information Systems: State-of-the-Art Applications, Amit Sheth and Miltiadis D. Lytras (editor/s), Chapter 8, 190-213, ISBN 978-1599044262

PMS-FB-2007-20
Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, and Jendrik Johannes:
Modular Web Queries --- From Rules to Stores.
Complete Text [.pdf, 194KB / .ps, 7.8 MB]
In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Proceedings of International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS), Vilamoura, Algarve, Portugal (25th - 30th November 2007), LCNS 4805/2007, ISBN 978-3-540-76887-6
© Springer-Verlag

PMS-FB-2007-19
Sebastian Schaffert, François Bry, Joachim Baumeister, and Malte Kiesel:
Aktuelles Schlagwort: Semantic Wiki.
Complete Text [.pdf, 319KB]
In: Informatik Spektrum 30 (6), 434-439, 2007
Also in: Informatik-Lexikon der GI
© Springer-Verlag

PMS-FB-2007-18
Alex Kohn, François Bry, Stefan Klostermann, and Alexander Manta:
Concepts for an Intelligent Information Portal in Pharmaceutical Research.
Complete Text [.pdf, 105KB / .doc, 61KB]
In: Proceedings of 3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria (5th - 7th September 2007)

PMS-FB-2007-17
Michael Marte:
Towards Constraint-Based School Timetabling.
extended version of PMS-FB-2004-37
In: Annals of Operations Research, Special Issue on Personnel Scheduling and Planning 155 (1), 207-225, 2007

PMS-FB-2007-16
Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, and Paula-Lavinia Pătrânjan:
A Generic Module System for Web Rule Languages: Divide and Rule.
Complete Text [.pdf, 505KB]
In: Advances in Rule Interchange and Applications, Proceedings of International RuleML Symposium on Rule Interchange and Applications (RuleML 2007), Orlando, Florida, USA (25th - 26th October 2007), LNCS 4824, 63-77, ISBN 978-3-540-75974-4
© Springer-Verlag

PMS-FB-2007-15
François Bry and Michael Eckert:
Towards Formal Foundations of Event Queries and Rules.
Complete Text [.pdf, 195KB / .ps,352KB]
In: Proceedings of the Second Int. Workshop on Event-Driven Architecture, Processing and Systems, Proceedings of 33rd International Conference on Very Large Data Bases (VLDB 2007), Vienna, Austria (23rd - 27th September 2007), 2007

PMS-FB-2007-14
Edgar-Philipp Stoffel, Bernhard Lorenz, and Hans Jürgen Ohlbach:
Towards a Semantic Spatial Model for Pedestrian Indoor Navigation.
Complete Text [.pdf, 2.7MB]
In: Advances in Conceptual Modeling-Foundations and Applications, Proceedings of 26th International Conference on Conceptual Modeling (26.ER 2007), Auckland, New Zealand (5th - 9th November 2007), LNCS 4802, 328-337, 2007, ISBN 978-3-540-76291-1
© Springer-Verlag

PMS-FB-2007-13
Sacha Berger, François Bry, Tim Furche, and Christoph Wieser:
Visual Languages: A Matter of Style.
Complete Text [.pdf, 286KB]
In: Proceedings of Workshop on Visual Languages and Logic (VLL), Coeur d'Alène, Idaho, USA (23rd September 2007), 2007
© Elsevier Science B. V.

PMS-FB-2007-12
François Bry:
Die Informatik oder eine Neuerfindung der Sprache.
Complete Text [.pdf, 89KB]
In: Der Mensch -- ein ,,animal symbolicum''?, Heinrich Schmidinger und Clemens Sedmak (editor/s), pp.163-177, 2007, ISBN 978-534-17504-8
Wissenschaftliche Buchgesellschaft (WBG)

PMS-FB-2007-11
François Bry and Michael Eckert:
Temporal Order Optimizations of Incremental Joins for Composite Event Detection.
Complete Text [.pdf, 115KB]
In: Proceedings of Inaugural Int. Conference on Distributed Event-Based Systems (DEBS 2007), Toronto, Canada (20th - 22nd June 2007), 2007
ACM
© ACM 2007
This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in DEBS 2007, ACM 978-1-59593-665-3/07/03.

PMS-FB-2007-10
Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, and Robert Tolksdorf (editors):
Reasoning Web, Third International Summer School 2007.
LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

PMS-FB-2007-9
Harold Boley, Michael Kifer, Paula-Lavinia Pătrânjan, and Axel Polleres:
Rule Interchange on the Web.
Complete Text [.pdf, 360KB]
In: Reasoning Web, Third International Summer School 2007, Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, Robert Tolksdorf (editor/s), LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

PMS-FB-2007-8
Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan:
Reactive Rules on the Web.
Complete Text [.pdf, 481KB]
In: Reasoning Web, Third International Summer School 2007, Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, Robert Tolksdorf (editor/s), LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

PMS-FB-2007-7
François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, and Fang Wei:
Foundations of Rule-Based Query Answering.
Complete Text [.pdf, 1.1MB]
Slides [.pdf, 4.3MB]
In: Reasoning Web, Third International Summer School 2007, Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Pătrânjan, Robert Tolksdorf (editor/s), LNCS 4636, 2007
Springer-Verlag
© Springer-Verlag

PMS-FB-2007-6
François Bry and Uta Schwertel:
Internet intelligenter - Das Europäische Projekt REWERSE entwickelt regelbasierte Technologien für das Semantische Netz.
In: IM - Fachzeitschrift für Information Management & Consulting 22 (1), 85-94, 2007

PMS-FB-2007-5
François Bry and Michael Eckert:
Rule-Based Composite Event Queries: The Language XChangeEQ and its Semantics (Extended Version with Appendix).
Complete Text [ .pdf, 246KB]
contains appendix with proofs
short version in PMS-FB-2007-4

PMS-FB-2007-4
François Bry and Michael Eckert:
Rule-Based Composite Event Queries: The Language XChangeEQ and its Semantics.
Complete Text [ .pdf, 199KB]
Slides, 2/page [.pdf, 180KB]
Slides, 1/page [.pdf, 356KB]
short version of PMS-FB-2007-5
In: Proceedings of First International Conference on Web Reasoning and Rule Systems (RR 2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 2007
© Springer-Verlag

PMS-FB-2007-3
François Bry, Michael Eckert, Hendrik Grallert, and Paula-Lavinia Pătrânjan:
Evolution of Distributed Web Data: An Application of the Reactive Language XChange.
Complete Text [ .pdf, 141KB]
In: Proceedings of IEEE 23rd International Conference on Data Engeneering (ICDE 2007), Istanbul, Turkey (15th - 20th April 2007)

PMS-FB-2007-2
François Bry, Tim Furche, Clemens Ley, and Benedikt Linse:
RDFLOG---Taming Existence: A Logic-based Query Language for RDF.
Complete Text [ .pdf, 5.7MB]
(Poster)
In: Proceedings of Deduktionstreffen der GI-Fachgruppe Deduktionssysteme, Koblenz, Germany (26th - 27th March 2007)

PMS-FB-2007-1
Sacha Berger, François Bry, Tim Furche, and A. J. Häusler:
Completing Queries: Rewriting of Incomplete Web Queries under Schema Constraints.
Complete Text [ .pdf, 151KB]
(Short paper)
In: Proceedings of First International Conference on Web Reasoning and Rule Systems (RR 2007), Innsbruck, Austria (7th - 8th June 2007), LNCS 4524, 2007
© Springer-Verlag

2006

PMS-FB-2006-34
Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, and Ulrike Sattler (editors):
Reasoning Web, Second International Summer School 2006.
LNCS 4126, 2006
Springer-Verlag
© Springer-Verlag

PMS-FB-2006-33
Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, and Georg Gottlob:
RDF Querying: Language Constructs and Evaluation Methods Compared.
Complete Text [.pdf, 642KB]
Slides [.html, 111KB]
In: Reasoning Web, Second International Summer School 2006, Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (editor/s), LNCS 4126, 2006
© Springer

PMS-FB-2006-32
François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder:
Efficient Evaluation of n-ary Conjunctive Queries over Trees and Graphs.
Complete Text [ .pdf, 794KB]
revision of PMS-FB-2006-20
In: Proceedings of 8th International Workshop on Web Information and Data Mining (WIDM 2006), Arlington, Virginia, USA (10th November 2006)
© ACM 2006
This is the authors' version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in WIDM 2006, ACM 1-59593-X/06/0011.

PMS-FB-2006-31
Loïc Royer, Benedict Linse, Thomas Wächter, François Bry, and Michael Schroeder:
Querying the semantic web: A case study.
Complete Text [ .pdf, 1.8MB]
© Springer

PMS-FB-2006-30
François Bry, Michael Eckert, Hendrik Grallert, and Paula-Lavinia Pătrânjan:
Evolution of Distributed Web Data: An Application of the Reactive Language XChange.
Complete Text [ .pdf, 76KB]

PMS-FB-2006-29
François Bry and Michael Eckert:
A High-Level Query Language for Events.
Complete Text [ .pdf, 110KB]
In: Proceedings of The First International Workshop on Event-driven Architecture, Processing and Systems (EDA-PS'06) at the 2006 IEEE International Conference on Web Services (ICWS 2006), Chicago, IL, USA (18th September 2006), Organization: IEEE, 31-38, ISBN 0-7695-2681-0

PMS-FB-2006-28
Frank Ipfelkofer, Bernhard Lorenz, and Hans Jürgen Ohlbach:
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming.
Complete Text [ .pdf, 193KB]
short version of PMS-FB-2006-5
In: Information Visualization, Proceedings of 10th International Conference on Information Visualisation (IV06), London, Great Britain (5th - 7th July 2006), 424-429, 2006, ISBN 0-7695-2602-0

PMS-FB-2006-27
Bernhard Lorenz and Hans Jürgen Ohlbach:
A Hybrid Model for Indoor Spatial Reasoning.
Complete Text [ .pdf, 138KB]
In: Proceedings of First International Workshop on Mobile Geospatial Augmented Reality, Banff, Alberta, Canada (29th - 30th May 2006), ISBN 978-3-540-76291-1

PMS-FB-2006-26
Hans Jürgen Ohlbach:
Relations Between Fuzzy Time Intervals.
Complete Text [ .pdf, 234KB]

PMS-FB-2006-25
François Bry:
Thesen über Regelsprachen für das semantische Web.
Complete Text [ .pdf, 53KB]
In: Proceedings of 18. Workshop Grundlagen von Datenbanken 2006, Wittenberg, Deutschland (6th - 9th June 2006)

PMS-FB-2006-24
Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder:
Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web.
Complete Text [ .pdf, 50KB]
In: Proceedings of 18. Workshop Grundlagen von Datenbanken 2006, Wittenberg, Germany (6th - 9th June 2006)

PMS-FB-2006-23
François Bry:
Footprints in Cyberspace -- Research and Researchers' Visibility in the Google Age.
Complete Text [.html, 56KB]

PMS-FB-2006-22
François Bry, Michael Eckert, Paula-Lavinia Pătrânjan, and Inna Romanenko:
Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.
Complete Text [ .pdf, 189KB]
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS, 2006
© Springer-Verlag

PMS-FB-2006-21
Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder:
Beyond XML and RDF: The Versatile Web Query Language Xcerpt.
Complete Text [ .pdf, 620KB]
Poster Paper
In: Proceedings of 15th Int'l World Wide Web Conference (WWW), Edinburgh, Scotland (23rd - 26th May 2006), 1053-1054, ISBN 1-59593-323-9

PMS-FB-2006-20
François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder:
Efficient Evaluation of n-ary Conjunctive Queries over Trees and Graphs.
Complete Text [ .pdf, 1.7MB]
revision in PMS-FB-2006-32

PMS-FB-2006-19
François Bry, Tim Furche, and Benedikt Linse:
Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.
Complete Text [ .pdf, 221KB]
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS 4187, 2006
© Springer-Verlag

PMS-FB-2006-18
François Bry, Tim Furche, and Benedikt Linse:
AMaχoS - Abstract Machine for Xcerpt: Architecture and Principles.
Complete Text [ .pdf, 3.6MB]
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS 4187, 2006
© Springer-Verlag

PMS-FB-2006-17
Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schröder:
Efficient and Effective Data Access in the Versatile Web Query Language Xcerpt.
Complete Text [ .pdf, 643KB]

PMS-FB-2006-16
Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Sebastian Schaffert:
The Web and Semantic Web Query Language Xcerpt.
Complete Text [ .pdf, 1.2MB]
In: AIS SIGSEMIS and OSR Semantic Web Fact Book 2005

PMS-FB-2006-15
François Bry, Tim Furche, and Benedikt Linse:
Let's Mix It: Versatile Access to Web Data in Xcerpt.
Complete Text [ .pdf, 234KB]
In: Proceedings of 3rd Workshop on Information Integration on the Web (IIWEB), Edinburgh, Scotland (22nd May 2006)

PMS-FB-2006-14
James Bailey, François Bry, Tim Furche, Benedikt Linse, Paula-Lavinia Pătrânjan, and Sebastian Schaffert:
Rich Clients need Rich Interfaces: Query Languages for XML and RDF Access on the Web.
Complete Text [ .pdf, 112KB]
In: Proceedings of 4th German XML-Tage (XMLT 2006), Berlin, Germany (25th - 27th May 2006), ISBN 3-938863-76-5

PMS-FB-2006-13
Bernhard Lorenz, Hans Jürgen Ohlbach, and Edgar-Philipp Stoffel:
A Hybrid Model for Representing Indoor Environments.
Complete Text [ .pdf, 402KB]
In: Proceedings of 6th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2006), Hong Kong, China (4th - 5th December 2006), LNCS, 102-112, 2006, ISBN 978-3-540-49466-9
© Springer-Verlag

PMS-FB-2006-12
Hans Jürgen Ohlbach:
GeTS - A Specification Language for Geo-Temporal Notions.
Complete Text [ .pdf, 169KB]
short version of PMS-FB-2005-28
In: Proceedings of 29th Annual German Conference on Artificial Intelligence (KI 2006), Bremen, Germany (14th - 19th June 2006), 214-228, ISBN 978-3-540-69911-8

PMS-FB-2006-11
Hans Jürgen Ohlbach:
Periodic Temporal Notions as 'Tree Partitionings'.
Complete Text [ .pdf, 155KB]

PMS-FB-2006-10
Hans Jürgen Ohlbach:
Fuzzy Time Intervals - System Description of the FuTI-Library.
Complete Text [ .pdf, 74KB]
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006), LNCS 4187, 257-261, 2006

PMS-FB-2006-9
François Bry and Christoph Wieser:
Web Queries with Style: Rendering Xcerpt Programs with CSS-NG.
Complete Text [.pdf, 364KB]
In: Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro (10th - 11th June 2006)

PMS-FB-2006-8
Stephanie Spranger and François Bry:
Multi-Calendar Appointment Scheduling: Calendar Modeling and Constraint Reasoning.
Complete Text [ .pdf, 227KB]
In: Proceedings of 6th International Conference on the Practice and Theory of Automates Timetabling (PATAT '06), Brno, Czech Republic (30th August - 1st September 2006), 496-501, ISBN 80-210-37261

PMS-FB-2006-7
Stephanie Spranger and François Bry:
Temporal Data Modeling and Reasoning for Information Systems.
Complete Text [ .pdf, 297KB]

PMS-FB-2006-6
François Bry and Massimo Marchiori:
Towards a Rule Interchange Language for the Web.
Complete Text [ .pdf, 183KB]

PMS-FB-2006-5
Frank Ipfelkofer, Bernhard Lorenz, and Hans Jürgen Ohlbach:
Ontology Driven Visualisation of Maps with SVG -- An Example for Semantic Programming.
Complete Text [ .pdf, 854KB]
short version in PMS-FB-2006-28

PMS-FB-2006-4
François Bry and Michael Eckert:
Twelve Theses on Reactive Rules for the Web.
Complete Text [ .pdf, 144KB / .ps,300 KB]
short version in PMS-FB-2007-23
In: Proceedings of Workshop "Reactivity on the Web" at the International Conference on Extending Database Technology (EDBT), Munich, Germany (31st March 2006), LNCS, 2006
© Springer-Verlag

PMS-FB-2006-3
François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan:
Reactivity on the Web: Paradigms and Applications of the Language XChange.
Complete Text [.pdf, 289KB / .ps, 587KB]
In: Journal of Web Engineering 5 (1), 3-24, March 2006
Rinton Press

PMS-FB-2006-2
François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan:
Querying Composite Events for Reactivity on the Web.
Complete Text [ .pdf, 139KB]
In: Proceedings of International Workshop on XML Research and Applications (XRA) 15 Jan 2006, in conjunction with Asia-Pacific Web Conference (APWeb 2006), Harbin, China (16th - 18th January 2006), LNCS 3842
© Springer-Verlag

PMS-FB-2006-1
Sacha Berger, François Bry, and Tim Furche:
Xcerpt and visXcerpt: Integrating Web Querying.
Complete Text [.pdf, 19KB]
In: Proceedings of Programming Language Technologies for XML (PLAN-X), Charleston, South Carolina (14th January 2006)

2005

PMS-FB-2005-45
François Bry and Rainer Manthey:
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo.
Complete Text [ .pdf, 127KB]

PMS-FB-2005-44
François Bry, François Fages, Massimo Marchiori, and Hans Jürgen Ohlbach (eds.):
Abstracts Collection of the Workshop and Dagstuhl Seminar 05371 "Principles and Practices of Semantic Web Reasoning (PPSWR 2005).
Complete Text [.pdf, 185KB]
In: François Fages, Sylvain Soliman (editor/s), Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl Castle, Germany (11th - 16th September 2005) LNCS 3703, ISBN 978-3-540-28793-3
© Springer-Verlag

PMS-FB-2005-43
François Bry and Massimo Marchiori:
Ten Theses on Logic Languages for the Semantic Web.
Complete Text [.pdf, 150KB]
In: François Fages, Sylvain Soliman (editor/s), Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl Castle, Germany (11th - 16th September 2005) LNCS 3703
© Springer-Verlag

PMS-FB-2005-42
Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, and Andreas Herzig:
Position Paper: Paraconsistent Reasoning for the Semantic Web.
Complete Text [.pdf, 33KB]
In: Uncertainty Reasoning for the Semantic Web, Paulo Cesar G. da Costa, Kathryn B. Laskey, Kennth J. Laskey, Michael Pool (editor/s), Proceedings of Workshop Uncertainty Reasoning for the semantic Web at the International Semantic Web (ISWC-URSW 2005), Galway, Ireland (7th November 2005), 104-105

PMS-FB-2005-41
François Bry and Massimo Marchioni:
Reasoning on the Web: Beyond Ontology Languages and Reasoners.
Complete Text [.pdf, 126KB]
In: Proceedings of European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology (EWIMT 2005), London, U.K (30th November - 1st December 2005), Organization: The Institution of Electrical Engineers, IEE, 317-321, ISBN 0-86341-595-4

PMS-FB-2005-40
James Bailey, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan:
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.
Complete Text [ .pdf, 76KB / .ps.gz, 101 KB]
short version of PMS-FB-2005-37
In: Proceedings of Intl. Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2005), Galway, Ireland (10th - 12th November 2005)

PMS-FB-2005-39
Sacha Berger, Emmanuel Coquery, Włodzimierz Drabent, and Artur Wilk:
Descriptive Typing Rules for Xcerpt.
In: Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl, Germany (11th - 16th September 2005), Organization: REWERSE

PMS-FB-2005-38
Tim Furche, François Bry, and Oliver Bolzer:
Marriages of Convenience: Triples and Graphs, RDF and XML.
In: Proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning 2005, François Fages, Sylvain Soliman (editor/s), Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'05), Dagstuhl Castle, Germany (11th - 16th September 2005) LNCS 3703
© Springer-Verlag

PMS-FB-2005-37
James Bailey, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan:
Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.
Complete Text [.pdf, 179KB]
short version in PMS-FB-2005-40

PMS-FB-2005-36
Sebastian Schaffert, François Bry, and Tim Furche:
Initial draft of a possible declarative semantics for the language.
Complete Text [.pdf, 350KB]
REWERSEDeliverable

PMS-FB-2005-35
François Bry and Paula-Lavinia Pătrânjan:
Reactivity on the Web: Paradigms and Applications of the Language XCHANGE.
Complete Text [.pdf, 194KB]
In: Proceedings of ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA (13th - 17th March 2005), 1645-1649, ISBN 1-58113-964-0

PMS-FB-2005-34
James Bailey, François Bry, Michael Eckert, and Paula-Lavinia Pătrânjan:
Reactivity on the Web: Event Queries in XChange.
Complete Text [.pdf, 225KB]

PMS-FB-2005-33
Jan Maluszynski, Jörg Diederich, Norbert Eisinger, and Artur Wilk:
REWERSE graduate courses: a preliminary list.
Complete Text [.pdf, 178KB]
REWERSEDeliverable

PMS-FB-2005-32
José Júlio Alferes, Mikael Berndtsson, François Bry, Michael Eckert, Nicola Henze, Wolfgang May, Paula-Lavinia Pătrânjan, and Michael Schroeder:
Use-cases on evolution.
Complete Text [.pdf, 570KB]
REWERSEDeliverable

PMS-FB-2005-31
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, and Mike Rosner:
A Geospatial World Model for the Semantic Web.
Complete Text [.pdf, 233KB]
In: Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany (11th - 16th September 2005), Organization: INRIA

PMS-FB-2005-30
François Bry, Francois-Marie Colonna, and Bernhard Lorenz:
Multi-Paradigm Reasoning for Access to Heterogeneous GIS.
Complete Text [.pdf, 305KB]

PMS-FB-2005-29
Hans Jürgen Ohlbach:
Computational Treatment of Temporal Notions The CTTN-System.
Complete Text [.pdf, 96KB]
In: Proceedings of Third Workshop on Principles and Practice of Semantic Web Reasoning, Dagstuhl, Germany (11th - 16th September 2005), Organization: INRIA

PMS-FB-2005-28
Hans Jürgen Ohlbach:
GeTS - A Specification Language for Geo-Temporal Notions.
Complete Text [.pdf, 315KB]
In: KI 2006: Advances in Artificial Intelligence, Christian Freksa, Michael Kohlhase, Kerstin Schill (editor/s), Proceedings of 29th Annual German Conference on AI (KI 2006), Bremen, Germany (14th - 17th June 2006), Lecture Notes in Artificial Intelligence 4314, 214-228, 2006, ISBN 978-3-540-699118

PMS-FB-2005-27
Hans Jürgen Ohlbach:
Modelling Periodic Temporal Notions by Labelled Partitionings of the Real Numbers - The PartLib Library.
Complete Text [.pdf, 291KB]
In: We Will Show Them: Essays in Honour of Dov Gabbay, Sergei N. Artemov, Howard Barringer, Artur d'Avila Garcez,Louís C. Lamb, John Woods (editor/s) 2, 453-498, 2005, ISBN 1-904987-12-5

PMS-FB-2005-26
Hans Jürgen Ohlbach:
Fuzzy Time Intervals - The FuTI-Library.
Complete Text [.pdf, 304KB]

PMS-FB-2005-25
Norbert Eisinger and Jan Maluszynski (editors):
Reasoning Web, First International Summer School 2005.
LNCS 3564, 2005, ISBN 978-3540278283
Springer-Verlag
© Springer-Verlag

PMS-FB-2005-24
José Júlio Alferes, Mikael Berndtsson, François Bry, Michael Eckert, Nicola Henze, Wolfgang May, Paula-Lavinia Pătrânjan, and Michael Schroeder:
Use-cases on reactivity.
Complete Text [.pdf, 99KB]
REWERSEDeliverable

PMS-FB-2005-23
Oliver Bolzer, François Bry, Tim Furche, Sebastian Kraus, and Sebastian Schaffert:
Development of Use Cases, Part I.
Complete Text [.pdf, 1023KB]
REWERSEDeliverable

PMS-FB-2005-22
François Bry and Michael Eckert:
Processing Link Structures and Linkbases in the Web`s Open World Linking.
Complete Text [.pdf, 129,3KB / .ps, 389,5 KB]
In: Proceedings of Sixteenth ACM Conference on Hypertext and Hypermedia (HT 2005), Salzburg, Austria (6th - 9th September 2005), 135-144, ISBN 1-59593-168-6

PMS-FB-2005-21
François Bry, Frank-André Rieß, and Stephanie Spranger:
A Type Language for Calendars.
Complete Text [.pdf, 158,8KB]
short version of PMS-FB-2005-20

PMS-FB-2005-20
François Bry, Frank-André Rieß, and Stephanie Spranger:
A Type Language for Calendars.
Complete Text [.pdf, 189KB]
short version in PMS-FB-2005-21

PMS-FB-2005-19
François Bry, Bernhard Lorenz, and Stephanie Spranger:
Calendars and Topologies as Types - A Programming Language Approach to Modelling Mobile Applications.
Complete Text [.ps.gz, 524KB / .pdf, 159 KB]
In: Proceedings of 9th International Conference on Knowledge-Based Intelligent Information & Engineering System (KES2005), Melbourne, Australia (14th - 16th September 2005)
Springer-Verlag
© Springer-Verlag

PMS-FB-2005-18
François Bry, Frank-André Rieß, and Stephanie Spranger:
A Reasoner for Calendric and Temporal Data.
Complete Text [.pdf, 157KB]
short version of PMS-FB-2005-17

PMS-FB-2005-17
François Bry, Frank-André Rieß, and Stephanie Spranger:
A Reasoner for Calendric and Temporal Data.
Complete Text [.pdf, 205KB]
short version in PMS-FB-2005-18

PMS-FB-2005-16
Sacha Berger, François Bry, Oliver Bolzer, Tim Furche, Sebastian Schaffert, and Christoph Wieser:
Querying the standard and Semantic Web using Xcerpt and visXcerpt.
Complete Text [.pdf, 55KB]
In: Proceedings of European Semantic Web Conference (ESWC'05), Heraklion, Crete, Greece (29th May - 1st June 2005), ISBN 3-540-26124-9

PMS-FB-2005-15
Andreas Doms, Tim Furche, Albert Burger, and Michael Schroeder:
How to Query the GeneOntology.
Complete Text [.pdf, 330KB]
In: Proceedings of Symposium on Knowledge Representation in Bioinformatics (KRBIO'05), Espoo, Finland (17th June 2005), 47-50

PMS-FB-2005-14
James Bailey, François Bry, Tim Furche, and Sebastian Schaffert:
Web and Semantic Web Query Languages: A Survey.
Complete Text [.pdf, 870KB]
Slides [.html, 183KB]
In: Reasoning Web, First International Summer School 2005, Norbert Eisinger, Jan Maluszynski (editor/s), LNCS 3564, 2005
Springer-Verlag
© Springer-Verlag

PMS-FB-2005-13
Tim Furche, François Bry, and Oliver Bolzer:
XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web.
Complete Text [.pdf, 172KB]
In: Proceedings of 17. Workshop über Grundlagen von Datenbanken (GvB2005), Wörlitz, Germany (17th - 20th May 2005), Organization: GI, 43-47

PMS-FB-2005-12
Sacha Berger and François Bry:
Towards static type checking of Web query language.
Complete Text [.pdf, 143KB]
In: Proceedings of 17. Workshop über Grundlagen von Datenbanken (GvB2005), Wörlitz, Germany (17th - 20th May 2005), Organization: GI, 28-32

PMS-FB-2005-11
Erich Schubert, Sebastian Schaffert, and François Bry:
Structure-Preserving Difference Search for XML Documents.
Complete Text [.pdf, 229KB / .html, 85 KB]
In: Proceedings of Extreme Markup Languages 2005, Montréal, Québec, Canada (1st - 5th August 2005)

PMS-FB-2005-10
François Bry, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome, Christoph Wieser, and Tatsumi Yamada:
Context Modeling in OWL for Smart Building Services.
Complete Text [.ps, 181KB / .pdf, 101 KB]
In: Proceedings of 17. Workshop über Grundlagen von Datenbanken (GvB2005), Wörlitz, Germany (17th - 20th May 2005), Organization: GI, 38-42

PMS-FB-2005-9
François Bry and Michael Eckert:
Processing Link Structures and Linkbases on the Web.
Complete Text [.ps, 182KB / .pdf, 65 KB]
short version of PMS-FB-2004-25
In: Proceedings of 14th Intl. World Wide Web Conference (WWW2005), Chiba, Japan (10th - 14th May 2005), Organization: W3C, 1030-1031, ISBN 1-59593-051-5

PMS-FB-2005-8
James Bailey, François Bry, and Paula-Lavinia Pătrânjan:
Composite Event Queries for Reactivity on the Web.
Complete Text [.pdf, 58KB]
In: Proceedings of 14th Intl. World Wide Web Conference (WWW2005), Chiba, Japan (10th - 14th May 2005), Organization: W3C

PMS-FB-2005-7
François Bry and Massimo Marchiori:
Ten Theses on Logic Languages for the Semantic Web.
Complete Text [.pdf, 156KB]
slides [.pdf, 160KB]
In: Proceedings of W3C Workshop on Rule Languages for Interoperability, Washington D.C., USA (27th - 28th April 2005), Organization: W3C

PMS-FB-2005-6
François Bry and Nicola Henze:
Personalisierung.
Complete Text [.pdf, 54KB]
In: Informatik Spektrum 28 (3), June 2005
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

PMS-FB-2005-5
François Bry, Frank-André Rieß, and Stephanie Spranger:
CaTTS: Calendar Types and Constraints for Web Applications.
Complete Text [.ps, 191KB / .pdf, 394KB]
In: Proceedings of 14th Intl. World Wide Web Conference (WWW2005), Chiba, Japan (10th - 14th May 2005), Organization: W3C, 702-711, ISBN 1-59593-046-9

PMS-FB-2005-4
François Bry, Jutta Haußer, Frank-André Rieß, and Stephanie Spranger:
Cultural Calendars for Programming and Querying.
Complete Text [.pdf, 420KB]
In: Proceedings of 1st Forum on the Promotion of European and Japanese Culture in Cyber-Societies and Virtual Reality, Laval, France (18th - 19th April 2005)

PMS-FB-2005-3
François Bry, Tim Furche, Liviu Badea, Christoph Koch, Sebastian Schaffert, and Sacha Berger:
Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.
Complete Text [.pdf, 280KB]
extended version in PMS-FB-2007-21
In: Journal of Semantic Web and Information Systems (IJSWIS) 1 (2), April-June 2005
© Idea Group Inc.

PMS-FB-2005-2
François Bry and Paula-Lavinia Pătrânjan:
Reactivity on the Web: Paradigms and Applications of the Language XChange.
Complete Text [.pdf, 89KB]
In: Proceedings of 20th Annual ACM Symposium on Applied Computing (SAC'2005), Santa Fe (New Mexico), USA (13th - 17th March 2005), Organization: ACM

PMS-FB-2005-1
François Bry, Fatih Coşkun, Serap Durmaz, Tim Furche, Dan Olteanu, and Markus Spannagel:
The XML Stream Query Processor SPEX.
Complete Text [.ps.gz, 540KB / .pdf, 129 KB]
In: Proceedings of 21st International Conference on Data Engineering (ICDE'2005), Tokyo, Japan (5th - 8th April 2005), Organization: IEEE, 1120-1121

2004

PMS-FB-2004-37
Michael Marte:
Towards Constraint-Based School Timetabling.
extended version in PMS-FB-2007-17
In: Proceedings of the Workshop on Modelling and Solving Problems with Constraints, Brahim Hnich (editor/s), Proceedings of 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain (22nd - 27th August 2004), 140-156

PMS-FB-2004-36
Hans Jürgen Ohlbach, Klaus Schulz, and Felix Weigel:
Geotemporal Reasoning: Basic Theory.
Complete Text [.pdf, 914KB]
REWERSEDeliverable

PMS-FB-2004-35
Hans Jürgen Ohlbach and Sebastian Schaffert (editors):
Principles and Practice of Semantic Web Reasoning.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE, LNCS 3208, 2004
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-34
Hans Jürgen Ohlbach:
Calendrical calculations with time partitionings and fuzzy time intervals.
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE, LNCS 3208, 2004, ISBN 978-3-540-22961-2
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-33
Hans Jürgen Ohlbach:
Relations between fuzzy time intervals.
Complete Text [.pdf, 234KB]
In: Proceedings of 11th International Symposium on TEMPORAL REPRESENTATION AND REASONING, Tatihoui, Normandie, France (1st - 3rd July 2004), Organization: greyc, 44-51

PMS-FB-2004-32
Hans Jürgen Ohlbach:
The role of labelled partitionings for modelling periodic temporal notions.
In: Proceedings of 11th International Symposium on TEMPORAL REPRESENTATION AND REASONING, Tatihoui, Normandie, France (1st - 3rd July 2004), Organization: greyc, 60-63

PMS-FB-2004-31
Norbert Eisinger and Jan Maluszynski:
Spring or Summer School I.
Complete Text [.pdf, 160KB]
REWERSEDeliverable

PMS-FB-2004-30
Tim Furche, François Bry, Sebastian Schaffert, Renzo Orsini, Ian Horrocks, Michael Krauss, and Oliver Bolzer:
Survey over Existing Query and Transformation Languages.
Complete Text [.pdf, 935KB]
REWERSEDeliverable

PMS-FB-2004-29
José Júlio Alferes, James Bailey, Mikael Berndtsson, François Bry, Jens Dietrich, Alexander Kozlenkov, Wolfgang May, Paula-Lavinia Pătrânjan, Alexandre Pinto, Michael Schroeder, and Gerd Wagner:
State-of-the-art on evolution and reactivity.
Complete Text [.pdf, 620KB]
REWERSEDeliverable

PMS-FB-2004-28
François Bry, Tim Furche, Liviu Badea, Christoph Koch, Sebastian Schaffert, and Sacha Berger:
Identification of Design Principles.
Complete Text [.pdf, 231KB]
REWERSEDeliverable

PMS-FB-2004-27
Grigoris Antoniou, Matteo Baldoni, Cristina Baroglio, Robert Baumgartner, François Bry, Thomas Eiter, Nicola Henze, Marcus Herzog, Wolfgang May, Viviana Patti, Roman Schindlauer, Hans Tompits, and Sebastian Schaffert:
Reasoning Methods for Personalization on the Semantic Web.
In: Annals of Mathematics, Computing & Teleinformatics 2 (1), 1-24, 2004
ACMT
© ACMT

PMS-FB-2004-26
James Bailey, François Bry, and Paula-Lavinia Pătrânjan:
Composite Event Queries for Reactivity on the Web.
Complete Text [.ps.gz, 119KB / .pdf, 135KB]
In: Proceedings of 14th Intl. World Wide Web Conference (WWW2005), Chiba, Japan (11th - 14th May 2005), Organization: W3C

PMS-FB-2004-25
François Bry and Michael Eckert:
Processing Link Structures and Linkbases on the Web and its Relevance to the Semantic Web.
Complete Text [.pdf, 187KB / .ps, 174KB]
short version in PMS-FB-2005-9

PMS-FB-2004-24
François Bry, Frank-André Rieß, and Stephanie Spranger:
CaTTS: Calendar Types and Constraints for Web Applications.
Complete Text [.ps, 190KB / .pdf, 192KB]
In: Proceedings of 14th Intl. World Wide Web Conference (WWW2005), Chiba, Japan (11th - 14th May 2005), Organization: W3C

PMS-FB-2004-23
Sacha Berger, François Bry, Oliver Bolzer, Tim Furche, Sebastian Schaffert, and Christoph Wieser:
Xcerpt and visXcerpt: Twin Query Languages for the Semantic Web.
Complete Text [.pdf, 183KB]
Publication in Online-Proceedings [.html]
In: Proceedings of 3rd International Semantic Web Conference (ISWC2004), Hiroshima, Japan (7th - 11th November 2004), ISBN 978-3-540-23798-3

PMS-FB-2004-22
François Bry, Wolfgang E. Nagel, and Michael Schroeder:
Grid-Computing.
Complete Text [.pdf, 85KB]
In: Informatik Spektrum 27 (6), December 2004
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-21
Rolf Backofen, Mike Badea, Pedro Barahona, Liviu Badea, François Bry, Gihan Dawelbait, Andreas Doms, François Fages, Carole Goble, Andreas Henschel, Anca Hotaran, Bingding Huang, Ludwig Krippahl, Patrick Lambrix, Werner Nutt, Michael Schroeder, Sylvain Soliman, and Sebastian Will:
Poster: Towards a semantic web for bioinformatics.
In: Proceedings of Bioinformatics 2004, Linköping, Sweden (3rd - 6th June 2004), Organization: SocBIN - Society for Bioinformatics in the Nordic countries

PMS-FB-2004-20
François Bry and Uta Schwertel:
REWERSE - Reasoning on the Web.
Complete Text [.pdf, 3.3MB]
In: AgentLink News (15), September 2004

PMS-FB-2004-19
Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Pătrânjan, Sebastian Schaffert, Uta Schwertel, and Stephanie Spranger:
Reasoning on the Web: Language Prototypes and Perspectives.
Complete Text [.ps, 72KB / .pdf, 55KB]
In: Proceedings of European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology (EWIMT 2004), London, U.K (25th - 26th November 2004), Organization: The Institution of Electrical Engineers, IEE, 157-164

PMS-FB-2004-18
Hans Jürgen Ohlbach and Sebastian Schaffert (editors):
Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE.
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-17
Sacha Berger, François Bry, and Christoph Wieser:
Visual Querying for the Semantic Web.
Complete Text [.pdf, 74KB]
In: Proceedings of 23rd International Conference on Conceptual Modeling (ER'2004), Shanghai, China (8th - 12th November 2004)
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-16
François Bry, Włodzimierz Drabent, and Jan Maluszynski:
On Subtyping of Tree-structured Data A Polynomial Approach.
Complete Text [.pdf, 178KB]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-15
Wolfgang May, José Júlio Alferes, and François Bry:
Towards generic query, update, and event languages for the Semantic Web.
Complete Text [.ps, 191KB / .pdf, 236 KB]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-14
François Bry and Stephanie Spranger:
Towards a Multi-Calendar Temporal Type System for (Semantic) Web Query Languages.
Complete Text [.pdf, 159KB]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-13
François Bry, Tim Furche, Paula-Lavinia Pătrânjan, and Sebastian Schaffert:
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach.
Complete Text [.pdf, 294KB]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-12
Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, and François Bry:
Visual Exploration and Retrieval of XML Document Collections with the Generic System X².
Complete Text [.pdf, 398KB]
In: Journal on Digital Libraries, Special Issue on "Information Visualization Interfaces for Retrieval and Analysis" 4, 2004
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-11
François Bry, Paula-Lavinia Pătrânjan, and Sebastian Schaffert:
Xcerpt and XChange: Logic Programming Languages for Querying and Evolution on the Web.
Complete Text [.pdf, 78KB]
poster [.pdf, 232KB]
In: Proceedings of 19th International Conference on Logic Programming (ICLP'04), St. Malo, France (6th - 10th September 2004), LNCS
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-10
François Bry, Sebastian Schaffert, and Paula-Lavinia Pătrânjan:
Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web.
Complete Text [.pdf, 32KB]
In: Proceedings of Workshop on Semantic Web Services and Dynamic Networks (SWSDN2004), Ulm, Germany (22nd - 24th September 2004), Organization: GI
Gesellschaft für Informatik (GI)
© Gesellschaft für Informatik (GI)

PMS-FB-2004-9
Sacha Berger, François Bry, and Sebastian Schaffert:
Xcerpt et visXcerpt : Langages déductifs d'interrogation du Web.
Complete Text [.pdf, 181KB]
In: Proceedings of Treiziemes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'2004), Angers, France (21st - 23rd June 2004), Organization: INRIA, 183 ff

PMS-FB-2004-8
Sacha Berger, François Bry, and Sebastian Schaffert:
Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web.
Complete Text [.pdf, 181KB]
In: Proceedings of 16. Workshop Grundlagen von Datenbanken, Monheim am Rhein, Germany (1st - 4th June 2004), Organization: GI

PMS-FB-2004-7
Sebastian Schaffert and François Bry:
Querying the Web Reconsidered: A Practical Introduction to Xcerpt.
Complete Text [.pdf, 185KB]
Publication in Online-Proceedings [.html]
In: Proceedings of Extreme Markup Languages 2004, Montreal, Quebec, Canada (2nd - 6th August 2004)

PMS-FB-2004-6
Felix Weigel, Holger Meuss, Klaus U. Schulz, and François Bry:
Content and Structure in Indexing and Ranking XML.
Complete Text [.ps.gz, 197KB / .pdf, 237KB]
In: Proceedings of Seventh International Workshop on the Web and Databases (WebDB 2004), Paris, France (17th - 18th June 2004)

PMS-FB-2004-5
François Bry, Sebastian Schaffert, and Andreas Schröder:
A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.
Complete Text [.ps.gz, 236KB / .pdf, 224KB]
revised version of PMS-FB-2004-3
In: Applications of Declarative Programming and Knowledge Management, Proceedings of 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming (INAP/WLP), Potsdam, Germany (14th - 16th March 2004), Organization: GLP, GI 3392, 258-268, ISBN 3-540-25560-5

PMS-FB-2004-4
Hans Jürgen Ohlbach:
Fuzzy Time Intervals and Relations - The FuTIRe Library.
Complete Text [.ps.gz, 355KB / .pdf, 445KB]

PMS-FB-2004-3
François Bry, Sebastian Schaffert, and Andreas Schröder:
A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.
Complete Text [.pdf, 160KB]
revision in PMS-FB-2004-5

PMS-FB-2004-2
François Bry, Tim Furche, and Dan Olteanu:
Datenströme.
Complete Text [.ps.gz, 101KB / .pdf, 465KB]
In: Informatik Spektrum 27 (2), 168-171, April 2004
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

PMS-FB-2004-1
Dan Olteanu, Tim Furche, and François Bry:
An Efficient Single-Pass Query Evaluator for XML Data Streams.
Complete Text [.ps.gz, 673KB / .pdf, 191KB]
In: Data Streams Track, Proceedings of 19th Annual ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus (14th - 17th March 2004), Organization: ACM

2003

PMS-FB-2003-17
François Bry and Peer Kröger:
Bioinformatics Databases: State of the Art and Research Perspectives.
Complete Text [ .pdf, 22KB]
In: Proceedings of 7th East European Conference on Advances in Databases and Information Systems (ADBIS 03), Dresden, Germany (3rd - 6th September 2003), LNCS 2798, ISBN 3-540-20047-9
© Springer-Verlag

PMS-FB-2003-16
François Bry, Nicola Henze, and Jan Maluszynski (editors):
Principles and Practice of Semantic Web Reasoning.
publisher's presentation [.html]
LNCS 2901, 2003, ISBN 978-3-540-20582-1
Springer-Verlag
© Springer-Verlag

PMS-FB-2003-15
Dan Olteanu, Tim Furche, and François Bry:
Evaluating Complex Queries against XML streams with Polynomial Combined Complexity.
Complete Text [.ps.gz, 505KB / .pdf, 313KB]
In: Proceedings of 21st Annual British National Conference on Databases (BNCOD21), Edinburgh, United Kingdom (7th - 9th July 2004)

PMS-FB-2003-14
Felix Weigel, Holger Meuss, François Bry, and Klaus U. Schulz:
Content-Aware DataGuides for Indexing Large Collections of XML Documents.
Complete Text [.ps.gz, 246KB / .pdf, 875KB]

PMS-FB-2003-13
Felix Weigel, Holger Meuss, François Bry, and Klaus U. Schulz:
Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data.
Complete Text [.ps.gz, 569KB / .pdf, 834KB]
In: Proceedings of European Conference on Information Retrieval Research (ECIR), Sunderland, U.K. (5th - 7th April 2004)
Springer-Verlag
© Springer-Verlag

PMS-FB-2003-12
François Bry and Holger Wagner:
Collaborative Categorization on the Web: Approach, Prototype, and Experience Report.
Complete Text [.ps.gz, 2.4MB / .pdf, 264KB]

PMS-FB-2003-11
Michael Kraus, François Bry, and Kazuhiro Kitagawa:
XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.
Complete Text [.ps.gz, 216KB / .pdf, 176KB]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (ICLP03), Mumbai, India (9th - 13th December 2003), LNCS 2901, 2003, ISBN 3-540-20582-9
Springer-Verlag
© Springer-Verlag

PMS-FB-2003-10
François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, and Stephanie Spranger:
On Reasoning on Time and Location on the Web.
Complete Text [.ps.gz, 155KB / .pdf, 149KB]
Slides [.ps.gz, 71K / .pdf, 68K]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (ICLP03), Mumbai, India (9th - 13th December 2003), LNCS 2901, 2003, ISBN 3-540-20582-9
Springer-Verlag
© Springer-Verlag

PMS-FB-2003-9
François Bry, Carsten Lutz, Ulrike Sattler, and Mareike Schoop (editors):
Proceedings of 10th International Workshop on `Knowledge Representation meets Databases' (KRDB2003).
Complete Text [.html]

PMS-FB-2003-8
Slim Abdennadher and Thom Frühwirth:
Automatic Generation of CHR Constraint Solvers.
Complete Text [.ps.gz, 99KB / .pdf, 248KB]
In: Special Issue of Theory and Practice of Logic Programming on Constraint Handling Rules, 2003

PMS-FB-2003-7
Slim Abdennadher and Thom Frühwirth:
Integration and Optimization of Rule-based Constraint Solvers.
Complete Text [.ps.gz, 77KB / .pdf, 226KB]
In: Proceedings of International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), Uppsala, Sweden (25th August 2003 - 27th August 2002)

PMS-FB-2003-6
Sacha Berger, François Bry, and Sebastian Schaffert:
A Visual Language for Web Querying and Reasoning.
Complete Text [.pdf, 320KB]
In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (ICLP03), Mumbai, India (9th - 13th December 2003), LNCS 2901, 2003, ISBN 3-540-20582-9
Springer-Verlag
© Springer-Verlag

PMS-FB-2003-5
François Bry and Sebastian Schaffert:
An Entailment Relation for Reasoning on the Web.
Complete Text [.pdf, 270KB]
In: Proceedings of Rules and Rule Markup Languages for the Semantic Web (RuleML'03), Sanibel Island (Florida), USA (20th October 2003), LNCS
Springer-Verlag
© Springer-Verlag

PMS-FB-2003-4
François Bry, Norbert Eisinger, and Georg Schneemayer:
Web Services for Teaching: A Case Study.
Complete Text [.ps.gz, 97KB / .pdf, 150KB]
In: Proceedings of First International Conference on Web Services (ICWS'03), Las Vegas, USA (23rd - 26th June 2003), ISBN 1-892512-49-1
© C.S.R.E.A. Press

PMS-FB-2003-3
François Bry and Stephanie Spranger:
Temporal Constructs for a Web Language.
Complete Text [.ps.gz, 164KB / .pdf, 174KB]
In: Proceedings of 4th Workshop on Interval Temporal Logics and Duration Calculi (ESSLLI'03), Vienna, Austria (25th - 29th August 2003)

PMS-FB-2003-2
Sacha Berger, François Bry, Sebastian Schaffert, and Christoph Wieser:
Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data.
Complete Text [.pdf, 176KB]
In: Proceedings of 29th Intl. Conference on Very Large Data Bases (VLDB03), Berlin, Germany (9th - 12th September 2003), ISBN 0-12-722442-4

PMS-FB-2003-1
Sacha Berger, François Bry, and Sebastian Schaffert:
Pattern Queries for XML and Semistructured Data.
Complete Text [.ps.gz, 541KB / .pdf, 318KB]
slides [.pdf, 166KB]
revised version of PMS-FB-2004-3
In: Proceedings of 17. Workshop Logische Programmierung (WLP), Dresden, Germany (11th - 13th December 2002), Organization: GLP, GI

2002

PMS-FB-2002-19
François Bry and Sebastian Schaffert:
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.
Complete Text [.ps.gz, 180KB / .pdf, 185KB]
slides [.pdf, 274KB]
short version of PMS-FB-2002-2
In: Proceedings of International Conference on Logic Programming (ICLP), Copenhagen, Denmark (29th July - 1st August 2002), LNCS 2401
Springer-Verlag
© Springer-Verlag

PMS-FB-2002-18
François Bry and Michael Kraus:
Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors.
Complete Text [.ps.gz, 85KB / .pdf, 84KB]
poster [.ps.gz, 44KB / .pdf, 28KB]
short version of PMS-FB-2002-1
In: Proceedings of 2nd Int. Conf. on Adaptive Hypermedia and Adaptive Web Based Systems (AH2002), Malaga, Spain (29th - 31st May 2002), 427-475, ISBN 978-3-540-43737-6

PMS-FB-2002-17
Ulrich Rückert, Stefan Kramer, and Luc De Raedt:
Phase Transitions and Stochastic Local Search in k-Term DNF Learning.
Complete Text [.ps.gz, 390KB / .pdf, 496KB]
In: Proceedings of 13th European Conference on Machine Learning (ECML'02), Helsinki, Finland (19th - 23rd August 2002), LNCS 2430, 43-63, ISBN 978-3-540-44036-4
Springer-Verlag
© Springer-Verlag

PMS-FB-2002-16
Holger Meuss, Klaus U. Schulz, and François Bry:
Visual Querying and Exploration of Large Answers in XML Databases with X²: A Demonstration.
Complete Text [.ps.gz, 77KB / .pdf, 77KB]
In: Proceedings of 19th International Conference on Data Engineering (ICDE), Bangalore, India (5th - 8th March 2003), Organization: IEEE, 777-779, ISBN 0-7803-7665-X

PMS-FB-2002-15
Slim Abdennadher and Christophe Rigotti:
Automatic Generation of Rule-Based Constraint Solvers over Finite Domains.
Complete Text [.ps.gz, 133KB / .pdf, 384KB]
to appear
In: ACM Transactions on Computational Logic (TOCL)

PMS-FB-2002-14
François Bry and Peer Kröger:
Aktuelles Schlagwort: Datenbanken in der Bioinformatik.
Complete Text [.ps.gz, 77KB / .pdf, 244KB]
In: Informatik Spektrum 25 (5), 359-362, October 2002
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

PMS-FB-2002-13
Slim Abdennadher and Christophe Rigotti:
Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints.
Complete Text [.ps.gz, 90KB / .pdf, 225KB]
In: International Journal on Artificial Intelligence Tools 11 (2), 283-302, 2002

PMS-FB-2002-12
Dan Olteanu, Tobias Kiesling, and François Bry:
An Evaluation of Regular Path Expressions with Qualifiers against XML Streams.
Complete Text [.ps.gz, 940KB / .pdf, 480KB]
In: Proceedings of 19th International Conference on Data Engineering (ICDE), Bangalore, India (5th - 8th March 2003), Organization: IEEE, 702-704, ISBN 0-7803-7665-X

PMS-FB-2002-11
François Bry and Sebastian Schaffert:
A Gentle Introduction into Xcerpt, a Rule-based Query and Transformation Language for XML.
Complete Text [.ps.gz, 196KB / .pdf, 231KB]
In: Proceedings of International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (RuleML 2002), Sardinia, Italy (14th June 2002)

PMS-FB-2002-10
Slim Abdennadher and Thom Frühwirth:
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.
Complete Text [.ps.gz, 163KB / .pdf, 132KB]
In: Proceedings of Onzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPLC'2002), Nice, France (27th - 29th May 2002), Organization: INRIA, 257-271, ISBN 2-7462-0477-0

PMS-FB-2002-9
Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss:
JACK: A Java Constraint Kit.
Complete Text [.ps.gz, 176KB / .pdf, 657KB]
In: Electronic Notes in Theoretical Computer Science 64, 1-17, 2002

PMS-FB-2002-8
François Bry and Peer Kröger:
A Computational Biology Database Digest: Data, Data Analysis, and Data Management.
revised version of PMS-FB-2001-3
In: Distributed and Parallel Databases 13 (1), 7-42, Jan 2003

PMS-FB-2002-7
François Bry and Sebastian Schaffert:
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics.
Complete Text [.ps.gz, 180KB / .pdf, 196KB]
slides [.pdf, 250KB]
In: Web, Web-Services, and Database Systems, Proceedings of 2nd Annual International Workshop "Web and Databases", Erfurt, Germany (9th - 10th October 2002), Organization: German Informatics Society (GI), LNCS 2593, ISBN 3-540-00745-8
Springer-Verlag
© Springer-Verlag

PMS-FB-2002-6
François Bry and Michael Kraus:
Perspectives for Electronic Books in the World Wide Web Age.
Complete Text [.ps.gz, 61KB / .pdf, 104KB]
In: The Electronic Library 20 (4), 2002

PMS-FB-2002-5
François Bry and Sebastian Schaffert:
Pattern Queries for XML and Semistructured Data.
Complete Text [.ps.gz, 138KB / .pdf, 167KB]
slides [.pdf, 166KB]
revised version in PMS-FB-2003-1

PMS-FB-2002-4
Dan Olteanu, Holger Meuss, Tim Furche, and François Bry:
XPath: Looking Forward.
Complete Text [.ps.gz, 109KB / .pdf, 280KB]
short version of PMS-FB-2001-17
In: Proceedings of Workshop on XML-Based Data Management at EDBT 2002 (XMLDM), Prague, Czech Republic (24th - 28th March 2002), LNCS 2490
Springer-Verlag
© Springer-Verlag

PMS-FB-2002-3
François Bry and Michael Kraus:
Position Paper: Style Sheets for Context Adaptation.
Complete Text [.html, 26KB]
In: Proceedings of W3C Workshop on Delivery Context, Sophia-Antipolis, France (4th - 5th March 2002), Organization: W3C/INRIA

PMS-FB-2002-2
François Bry and Sebastian Schaffert:
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.
Complete Text [.ps.gz, 195KB / .pdf, 225KB]
slides [.pdf, 274KB]
short version in PMS-FB-2002-19

PMS-FB-2002-1
François Bry and Michael Kraus:
Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors.
Complete Text [.ps.gz, 203KB / .pdf, 127KB]
short version in PMS-FB-2002-18

2001

PMS-FB-2001-18
Michael Marte:
A Modular Approach To Proving Confluence.
Complete Text [.pdf, 200KB]

PMS-FB-2001-17
Dan Olteanu, Holger Meuss, Tim Furche, and François Bry:
XPath: Looking Forward.
Complete Text [.ps.gz, 180KB / .pdf, 380KB]
short version in PMS-FB-2002-4
revised version of PMS-FB-2001-16

PMS-FB-2001-16
Dan Olteanu, Holger Meuss, Tim Furche, and François Bry:
Symmetry in XPath.
Complete Text [.ps.gz, 180KB / .pdf, 380KB]
slides [.pdf, 180KB]
revision in PMS-FB-2001-17
In: Proceedings of Seminar on Rule Markup Techniques, no. 02061, Schloss Dagstuhl, Germany (7th February 2002)

PMS-FB-2001-15
Slim Abdennadher and Christophe Rigotti:
Towards Inductive Constraint Solving.
Complete Text [.ps.gz, 83KB / .pdf, 212KB]
In: Proceedings of Seventh International Conference on Principles and Practice of Constraint Programming (CP'2001), Paphos, Cyprus (26th November - 1st December 2001)

PMS-FB-2001-14
Slim Abdennadher and Christophe Rigotti:
Generation of Propagation Rules for Intentionally Defined Constraints.
Complete Text [.ps.gz, 45KB / .pdf, 90KB]
In: Proceedings of Thirteenth IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2001), Dallas, Texas (7th - 9th November 2001)

PMS-FB-2001-13
Michael Marte:
A Global Constraint for Parallelizing the Execution of Task Sets.
Complete Text [.pdf, 376KB]

PMS-FB-2001-12
Miguel Penabad, Nieves Brisaboa, José Paramá, and Hendrick Decker:
A General Procedure to Test Containment of Conjunctive Queries.
Complete Text [.ps.gz, 90KB / .pdf, 210KB]

PMS-FB-2001-11
François Bry and Michael Kraus:
Advanced Modeling and Browsing of Technical Documents.
Complete Text [.ps.gz, 40KB / .pdf, 92KB]
In: Track on Electronic Books for Teaching and Learning, Proceedings of 17th ACM Symposium on Applied Computing (SAC 2002), Madrid, Spain (10th - 14th March 2002)

PMS-FB-2001-10
Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, and Matthias Schmauss:
JACK: A Java Constraint Kit.
Complete Text [.ps.gz, 143KB / .pdf, 225KB]
In: Proceedings of International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel, Germany (13th - 15th September 2001)

PMS-FB-2001-9
François Bry, Michael Kraus, Dan Olteanu, and Sebastian Schaffert:
Aktuelles Schlagwort: Semistrukturierte Daten.
Complete Text [.ps.gz, 50KB / .pdf, 110KB]
In: Informatik Spektrum 24 (4), 230-233, August 2001
Also in: Informatik-Lexikon der GI
© Springer-Verlag

PMS-FB-2001-8
Slim Abdennadher and Christophe Rigotti:
Using Confluence to Generate Rule-based Constraint Solvers.
Complete Text [.ps.gz, 72KB / .pdf, 157KB]
In: Proceedings of Third International Conference on Principles and Practice of Declarative Programming (PPDP01), Florence, Italy (5th - 7th September 2001), Organization: ACM

PMS-FB-2001-7
François Bry, Dan Olteanu, and Sebastian Schaffert:
Grouping Constructs for Semistructured Data.
Complete Text [.ps.gz, 80KB / .pdf, 200KB]
WebH2001 slides [.pdf, 250KB / printable .ps, 2.0MB]
In: Proceedings of Workshop at Dexa'01 (WebH2001), Munich, Germany (3rd September 2001)

PMS-FB-2001-6
François Bry:
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.
Complete Text [.ps.gz, 114KB / .pdf, 236KB]
slides [.pdf, 110KB]
In: Proceedings of Paraconsistent Computational Logic, Workshop of the Federated Logic Conference FLOC 2002 (PCL 2002), Copenhagen, Denmark (27th July 2002)

PMS-FB-2001-5
Reinhard Kahle and Thomas Studer:
Formalizing Non-Termination of Recursive Programs.
Complete Text [.ps.gz, 96KB / .pdf, 196KB]
In: Journal of Logic and Algebraic Programming 49 (1-2), 1-14

PMS-FB-2001-4
Reinhard Kahle:
Truth in Applicative Theories.
Complete Text [.ps.gz, 110KB / .pdf, 231KB]
In: Studia Logica 68 (1), 103-128, 2001

PMS-FB-2001-3
François Bry and Peer Kröger:
A Molecular Biology Database Digest.
Complete Text [.pdf, 1.1MB]
revised version in PMS-FB-2002-8

PMS-FB-2001-2
Slim Abdennadher and Matthias Saft:
A Visualization Tool for Constraint Handling Rules.
Complete Text [.ps.gz, 216KB / .pdf, 251KB]
In: Proceedings of 11th Workshop on Logic Programming Environments (PACLP99), Paphos, Cyprus (1st December 2001)

PMS-FB-2001-1
Hans Jürgen Ohlbach:
Set Description Languages and Reasoning about Numerical Features of Sets.
Complete Text [.ps.gz, 211KB / .pdf, 372KB]

2000

PMS-FB-2000-15
Holger Meuss, Klaus U. Schulz, and François Bry:
Towards Aggregated Answers for Semistructured Data.
Complete Text [.ps.gz, 118KB]
Joint work with CIS, http://www.cis.uni-muenchen.de/
conference version of PMS-FB-2000-7
In: Proceedings of 8th International Conference on Database Theory (ICDT 2001), London, United Kingdom (4th - 6th January 2001)

PMS-FB-2000-14
Slim Abdennadher, Ulrich Geske, and Dietmar Seipel (editors):
Proceedings of 15th Workshop on Logic Programming and Constraint Systems (WLP 2000), Berlin, Germany (25th - 27th August 2000).
GMD Report 110, August 2000

PMS-FB-2000-13
Reinhard Kahle:
Proof-Theoretic Notions for Software Maintenance.
Complete Text [.ps.gz, 80KB / .pdf, 158KB]

PMS-FB-2000-12
Reinhard Kahle and Thomas Studer:
A Theory of Explicit Mathematics Equivalent to ID_1.
Complete Text [.ps.gz, 102KB / .pdf, 243KB]
EUR 60.00
In: Lecture Notes in Computer Science Logic (CSL), Peter Clote, Helmut Schwichtenberg (editor/s), Proceedings of 14th International Workshop of Annual Conference of the EACSL (CSL 2000), Fischbachau, Germany (21st - 26th August 2000), LNCS 1862, 356-370, ISBN 3-540-67895-6
Springer-Verlag
© Springer-Verlag

PMS-FB-2000-11
Michael Marte:
Towards Constraint-Based Grammar School Timetabling.
Complete Text [.ps.gz, 12KB / .pdf, 51KB]
In: Burke, E. and Erben, W. (editor/s), Proceedings of 3rd International Conference on the Practice and Theory of Automated Timetabling (PATAT 2000), Constance, Germany (16th - 18th August 2000), 222-224, 2000

PMS-FB-2000-10
Angelika Blauth, Iris Pigeot, and François Bry:
Interactive Analysis of High-Dimensional Association Structures with Graphical Models.
revised version of statistik-kettenmodelle
In: Metrika 51 (1), 53-65, 2000

PMS-FB-2000-9
François Bry and Norbert Eisinger:
Data Modeling with Markup Languages: A Logic Programming Perspective.
Complete Text [.ps.gz, 137KB]
slides [.ps.gz, 24KB]
In: Proceedings of 15th Workshop on Logic Programming and Constraint Systems (WLP 2000), Berlin, Germany (25th - 27th August 2000)

PMS-FB-2000-8
François Bry and Adnan Yahya:
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.
Complete Text [.ps.gz, 184KB]
revision of PMS-FB-1997-8
In: Journal of Automated Reasoning 25 (1), 35-82, July 2000

PMS-FB-2000-7
Holger Meuss, Klaus U. Schulz, and François Bry:
Towards Aggregated Answers for Semistructured Data.
Complete Text [.ps.gz, 136KB / .pdf, 691KB]
Joint work with CIS, http://www.cis.uni-muenchen.de/
conference version in PMS-FB-2000-15
short version of PMS-FB-2000-6

PMS-FB-2000-6
Holger Meuss, Klaus U. Schulz, and François Bry:
Towards Aggregated Answers for Semistructured Data.
Complete Text [.ps.gz, 221KB / .pdf, 382KB]
Joint work with CIS, http://www.cis.uni-muenchen.de/
short version in PMS-FB-2000-7

PMS-FB-2000-5
Slim Abdennadher and Henning Christiansen:
An Experimental CLP Platform for Integrity Constraints and Abduction.
In: Proceedings of Fourth International Conference on Flexible Query Answering Systems (FQAS 2000), Warsaw, Poland (25th - 28th October 2000)

PMS-FB-2000-4
Slim Abdennadher and Christophe Rigotti:
Automatic Generation of Propagation Rules for Finite Domains.
In: Proceedings of Sixth International Conference on Principles and Practice of Constraint Programming (CP'2000), Singapore (18th - 22nd September 2000)

PMS-FB-2000-3
Thom Frühwirth and Slim Abdennadher:
The Munich Rent Advisor: A success for Logic Programming on the Internet.
In: Journal of Theory and Practice of Logic Programming, Special Issue on Logic Programming and the Internet, M. Hermenegildo, L. Naish and L. Sterling (editor/s), 2000

PMS-FB-2000-2
Slim Abdennadher and Michael Marte:
University Course Timetabling using Constraint Handling Rules.
Complete Text [.ps.gz, 56KB / .pdf, 163KB]
In: Journal of Applied Artificial Intelligence, Special Issue on Constraint Handling Rules 14 (4), 311-326, 2000

PMS-FB-2000-1
Slim Abdennadher, Matthias Saft, and Sebastian Will:
Classroom Assignment using Constraint Logic Programming.
Complete Text [.ps.gz, 167KB / .pdf, 286KB]
In: Proceedings of Second International Conference and Exhibition on The Practical Application of Constraint Technology and Logic Programming (PACLP 2000), Manchester, United Kingdom (10th - 12th April 2000)

1999

PMS-FB-1999-12
Norbert E. Fuchs, Uta Schwertel, and Sunna Torge:
Controlled Natural Language Can Replace First-Order Language.
short version of PMS-FB-1999-5
In: Proceedings of 14th Int. Conf. on Automated Software Engineering, Cocoa Beach (Florida), United States (12th - 15th October 1999)

PMS-FB-1999-11
Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, and Klaus Schulz:
Aktuelles Schlagwort: Bioinformatik.
Complete Text [.html, 15KB]
In: Informatik Spektrum 22 (9), 376-378, October 1999
Also in: Informatik-Lexikon der GI
Springer-Verlag
© Springer-Verlag

PMS-FB-1999-10
Rolf Backofen, August Böck, François Bry, Andreas Buckenmaier, Peter Clote, Wilfried Gabriel, Rudolf Grosschedl, Heinz-Gerd Hegering, Reinhold G. Hermann, Hans-Peter Kriegel, Regine Kahmann, Fred Kröger, Claudia Linnhoff-Popien, Hans-Werner Mewes, Elisabeth Weiß, and Martin Wirsing:
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.
Complete Text [.html, 36KB]
abstract [.html]

PMS-FB-1999-9
Slim Abdennadher and Thom Frühwirth:
Operational Equivalence of CHR Programs And Constraints.
Complete Text [.ps.gz, 111KB / .pdf, 254KB]
In: Proceedings of Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandria (Virginia), United States (16th October 1999)

PMS-FB-1999-8
Slim Abdennadher:
Constraint Handling Rules: Applications and Extensions.
Complete Text [.ps.gz, 81KB / .pdf, 153KB]
Invited Talk
In: Proceedings of 2nd International Workshop on Optimization and Simulation of Complex Industrial Systems. Extensions and Applications of Constraint-Logic Programming and 7th International Workshop on Deductive Databases and Logic Programming in conjunction with the 12th International Conference on Applications of Prolog, INAP'99, Tokyo, Japan (1999)

PMS-FB-1999-7
Slim Abdennadher and Hans Schlenker:
Nurse Scheduling using Constraint Logic Programming.
Complete Text [.ps.gz, 89KB / .pdf, 220KB]
In: Proceedings of Eleventh Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-99), Orlando (Florida), United States (18th - 22nd July 1999)

PMS-FB-1999-6
Slim Abdennadher, Tim Geisler, and Sven Panne:
The Functional Rent Advisor.
Complete Text [.ps.gz, 124KB / .pdf, 303KB]
In: Proceedings of 8th International Workshop on Functional and Logic Programming (WFLP'99), Grenoble, France (28th - 30th June 1999)

PMS-FB-1999-5
Norbert E. Fuchs, Uta Schwertel, and Sunna Torge:
A Natural Language Front-End to Automatic Verification and Validation of Specifications.
Complete Text [.ps.gz, 121KB / .pdf, 248KB]
short version in PMS-FB-1999-12

PMS-FB-1999-4
Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach:
A Confluent Connection Calculus.
Complete Text [.ps.gz, 104KB / .pdf, 244KB]
short version of Koblenz-RR-23-9
In: Proceedings of 16th Int. Conf. on Automated Deduction (CADE) (1999), LNCS 1632
Springer-Verlag
© Springer-Verlag

PMS-FB-1999-3
François Bry and Sunna Torge:
Solving Database Satisfiability Problems.
Complete Text [.ps.gz, 63KB / .pdf, 147KB]
In: Proceedings of 11. Workshop "Grundlagen von Datenbanken", Luisenthal (Thüringen), Germany (25th - 28th May 1999)

PMS-FB-1999-2
Slim Abdennadher and Hans Schlenker:
INTERDIP - An Interactive Constraint Based Nurse Scheduler.
Complete Text [.ps.gz, 110KB / .pdf, 277KB]
In: Proceedings of First International Conference and Exhibition on The Practical Application of Constraint Technology and Logic Programming (PACLP99), London, United Kingdom (1999)

PMS-FB-1999-1
Slim Abdennadher and Michael Marte:
Constraint-Based Heuristics for Grammar School Timetabling.
Complete Text [.ps.gz, 60KB / .pdf, 118KB]
short presentation
In: Proceedings of Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'99), Ferrara, Italy (25th - 26th February 1999)

1998

PMS-FB-1998-15
Hendrik Decker:
On Knowledge Assimilation in Deductive Databases.
short version in PMS-FB-1998-10
In: Transactions and Change in Logic Databases, Freitag, B., Decker, H., Kifer, M. and Voronkov, A. (editor/s), Proceedings of International Seminar on Logic Databases and the Meaning of Change (ILPS'97), Schloss Dagstuhl, Germany (23rd - 27th September 1996), LNCS 1472, 1998, ISBN 3-540-65305-8
© Springer-Verlag

PMS-FB-1998-14
François Bry, Peter Clote, Heinz-Gerd Hegering, Hans-Peter Kriegel, Fred Kröger, Thomas Ludwig, and Martin Wirsing:
Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.
Complete Text [.ps.gz, 44KB / .html / .pdf, 217KB]

statistik-kettenmodelle
Iris Pigeot, Angelika Blauth, and François Bry:
Interactive Analysis of High-Dimensional Association Structures with Graphical Models.
Complete Text [.ps.gz, 138KB / .pdf, 216KB]
Sonderforschungsbereich 386, Universität München

Koblenz-RR-23-9
Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach:
A Confluent Connection Calculus.
Complete Text [.ps.gz, 65KB / .pdf, 403KB]
Universität Koblenz-Landau, Fachberichte Informatik Nr.23/98
short version in PMS-FB-1999-4
In: Intellectics and Computational Logic - Papers in Honor of Wolfgang Bibel, Steffen Hölldobler (editor/s)
Kluwer

PMS-FB-1998-13
Alexander von Drach, Tim Geisler, Sven Panne, and David Sacher:
SatAM -- Satchmo Abstract Machine (System Description).
Complete Text [.ps.gz, 80KB]
In: Proceedings of System description, demonstration at 13. Workshop Logische Programmierung (WLP '98), Vienna, Austria (6th - 8th October 1998)

PMS-FB-1998-12
Slim Abdennadher, Tim Geisler, and Sven Panne:
The Functional Rent Advisor.
Complete Text [.ps.gz, 124KB]
In: Proceedings of 8th International Workshop on Functional and Logic Programming, Grenoble, France (1999)

PMS-FB-1998-11
François Bry, Norbert Eisinger, Heribert Schütz, and Sunna Torge:
SIC: Ein interaktives Deduktionssystem zur Überprüfung der Erfüllbarkeit von Integritätsbedingungen in Datenbanken.
Complete Text [.ps.gz, 132KB]
In: Proceedings of Inference-Mechanisms in Knowledge-Based Systems: Theory and Applications, Workshop im Rahmen der 22. Jahrestagung Künstliche Intelligenz (KI-98), Bremen, Germany (15th - 17th September 1998)
Springer-Verlag

PMS-FB-1998-10
Hendrik Decker:
On Knowledge Assimilation in Deductive Databases.
Complete Text [.ps.gz, 38KB]
extended abstract
short version of PMS-FB-1998-15

PMS-FB-1998-9
Alexander von Drach, Tim Geisler, Sven Panne, and David Sacher:
An Abstract Machine for Model Generation with PUHR Tableaux.
Complete Text [.ps.gz, 94KB / .pdf, 213KB]
In: Proceedings of 13. Workshop Logische Programmierung (WLP '98), Vienna, Austria (6th - 8th October 1998)

PMS-FB-1998-8
Norbert Eisinger and Tim Geisler:
Problem Solving with Model-Generation Approaches based on PUHR Tableaux.
Complete Text [.ps.gz, 116KB / .pdf, 269KB]
In: Proceedings of Problem-solving Methodologies with Automated Deduction (CADE '98), Lindau, Germany (5th July 1998)

PMS-FB-1998-7
Thomas Brüggemann:
Zwei Modellgenerierungsverfahren für die Modallogik.
Complete Text [.ps.gz, 218KB / .pdf, 147KB]

PMS-FB-1998-6
François Bry and Sunna Torge:
A Deduction Method Complete for Refutation and Finite Satisfiability.
Complete Text [.ps.gz, 70KB / .pdf, 256KB]
In: Proceedings of 6th European Workshop on Logics in AI (JELIA), Schloss Dagstuhl, Germany (12th - 15th October 1998), LNAI 1489, 1998
Springer-Verlag
© Springer-Verlag

PMS-FB-1998-5
Slim Abdennadher and Thom Frühwirth:
On Completion of Constraint Handling Rules.
Complete Text [.ps.gz, 156KB / .pdf, 284KB]
In: Proceedings of Fourth International Conference on Principles and Practice of Constraint Programming (CP'98), Pisa, Italy (26th - 30th October 1998)

PMS-FB-1998-4
Slim Abdennadher and Heribert Schütz:
CHR^v: A Flexible Query Language.
Complete Text [.pdf, 154KB]
In: Proceedings of Third International Conference on Flexible Query Answering Systems (FQAS'98), Roskilde, Denmark (13th - 15th May 1998), LNAI 1495
Springer-Verlag
© Springer-Verlag

PMS-FB-1998-3
François Bry, Norbert Eisinger, Heribert Schütz, and Sunna Torge:
SIC: Satisfiability Checking for Integrity Constraints.
Complete Text [.ps.gz, 122KB / .pdf, 147KB]
In: Proceedings of Deductive Databases and Logic Programming, workshop at JICSLP (DDLP'98) (15th - 19th June 1998)

PMS-FB-1998-2
Slim Abdennadher and Michael Marte:
Constraintbasierte Stundenplanung für Universitäten.
Complete Text [.ps.gz, 37KB / .pdf, 167KB]
In: Proceedings of 12. Workshop "Planen und Konfigurieren" (PuK-98), Paderborn, Germany (20th - 21st April 1998)

PMS-FB-1998-1
Slim Abdennadher and Michael Marte:
University Timetabling using Constraint Handling Rules.
Complete Text [.ps.gz, 56KB / .pdf, 139KB]
In: Proceedings of VII-èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'98), Nantes, France (27th - 29th May 1998)

1997

PMS-FB-1997-23
Heribert Schütz and Tim Geisler:
Efficient Model Generation through Compilation.
short version of PMS-FB-1997-21
In: Proceedings of 13th Int. Conf. on Automated Deduction (CADE)
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-22
François Bry, Raghu Ramakrishnan, and Kotagiri Ramamohanarao (editors):
Proceedings of Deductive and Object-Oriented Databases (DOOD '97), Montreux, Switzerland (8th - 12th December 1997).
Complete Text [.ps.gz, 23KB / .pdf, 96KB]
table of contents [.ps.gz, 15KB / .pdf, 64KB]
LNCS 1341, ISBN 3-540-63792-3
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-21
Heribert Schütz and Tim Geisler:
Efficient Model Generation through Compilation.
Complete Text [.ps.gz, 143KB]
short version in PMS-FB-2002-24
In: Information and Computation 162 (1)

PMS-FB-1997-20
Slim Abdennadher, Thom Frühwirth, and Holger Meuss:
Confluence and Semantics of Constraint Simplification Rules.
Complete Text [.ps.gz, 111KB]
In: Constraints Journal 4 (2), May 1999

PMS-FB-1997-19
Heribert Schütz:
Indefinite Information with a Data Model Based on Algebraic Datatypes.
Complete Text [.ps.gz, 62KB / .pdf, 220KB]

PMS-FB-1997-18
François Bry, Norbert Eisinger, Heribert Schütz, and Sunna Torge:
SIC: An Interactive Tool for the Design of Integrity Constraints (System Description).
Complete Text [.ps.gz, 67KB / .pdf, 147KB]
In: Proceedings of Extending Database Technology (EDBT'98), Valencia, Spain (23rd - 27th March 1998) 1377, ISBN 3-540-64264-1

PMS-FB-1997-17
Hendrik Decker:
Some Aspects of Paraconsistency in Deductive Databases.
Complete Text [.ps.gz, 60KB / .pdf, 186KB]

PMS-FB-1997-16
Hendrik Decker:
One Abductive Procedure for Two Kinds of Updates.
Complete Text [.ps.gz, 70KB / .pdf, 288KB]
In: Proceedings of Workshop "DYNAMICS'97" at Int. Logic Programming Symposium, Port Jefferson (Long Island N.Y.), United States (17th October 1997)

PMS-FB-1997-15
François Bry and Sunna Torge:
Model Generation for Applications -- A Tableaux Method Complete for Finite Satisfiability.
Complete Text [.ps.gz, 70KB / .pdf, 259KB]

PMS-FB-1997-14
Hendrik Decker:
Toward a Paraconsistent Semantics of Database Integrity.
Complete Text [.ps.gz, 63KB / .pdf, 265KB]
In: Proceedings of First World Congress on Paraconsistency, Ghent, Belgium (30th July - 2nd August 1997)

PMS-FB-1997-13
Hendrik Decker:
Abduction for Knowledge Assimilation in Deductive Databases.
Complete Text [.ps.gz, 65KB / .pdf, 237KB]
In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), Valpariso, Chile (12th - 14th November 1997)

PMS-FB-1997-12
Hendrik Decker:
A Model-Theoretic Semantics of Integrity Constraints in Deductive Databases.
Complete Text [.ps.gz, 60KB / .pdf, 297KB]
In: Proceedings of Workshop LP and Knowledge Representation at Int. Logic Programming Symposium, Port Jefferson (Long Island N.Y.), United States (12th - 17th October 1997)

PMS-FB-1997-11
Hendrik Decker:
On Paraconsistency in Deductive Databases.
Complete Text [.ps.gz, 40KB / .pdf, 275KB]
In: Proceedings of First World Congress on Paraconsistency, Ghent, Belgium (30th July - 2nd August 1997)

PMS-FB-1997-10
François Bry, Burkhard Freitag, and Dietmar Seipel (editors):
Proceedings of Twelfth Workshop on Logic Programming (WLP'97), Munich, Germany (17th - 19th September 1997).

PMS-FB-1997-9
François Bry:
Query Answering in Information Systems with Integrity Constraints.
In: Integrity and Internal Controls in Information Systems I -- Increasing the Confidence in Information Systems, Proceedings of Working Conference on Integrity and Control in Information Systems, Chapman and Hall (IFIP WG 11.5) (4th - 5th December 1997)

PMS-FB-1997-8
François Bry and Adnan Yahya:
Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation.
Complete Text [.ps.gz, 97KB / .pdf, 331KB]
revision in PMS-FB-2000-8
Kluwer

PMS-FB-1997-7
Thom Frühwirth and Slim Abdennadher:
Constraint-Programmierung - Grundlagen und Anwendungen.
Complete Text [.ps.gz, 55KB / .pdf, 128KB]
In: Constraint-Programmierung, 1997, ISBN 3-540-60670-X
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-6
Slim Abdennadher:
Operational Semantics and Confluence of Constraint Propagation Rules.
Complete Text [.ps.gz, 69KB / .pdf, 270KB]
In: Proceedings of Third International Conference on Principles and Practice of Constraint Programming (CP97), Schloss Hagenberg, Austria (29th October - 1st November 1997), LNCS 1330
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-5
Slim Abdennadher and Hans Schlenker:
INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen.
Complete Text [.ps.gz, 97KB / .pdf, 481KB]
In: Proceedings of 12. Workshop logische Programmierung, Munich, Germany (17th - 19th September 1997)

PMS-FB-1997-4
Slim Abdennadher and Heribert Schütz:
Model Generation with Existentially Quantified Variables and Constraints.
Complete Text [.ps.gz, 78KB / .pdf, 275KB]
In: Proceedings of Sixth International Conference on Algebraic and Logic Programming (ALP), Southampton (3rd - 5th September 1997), LNCS 1298, ISBN 3-540-63459-2
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-3
Thom Frühwirth and Slim Abdennadher:
Anwendungen Constraintbasierter Programmierung.
Complete Text [.ps.gz, 58KB / .pdf, 224KB]
In: Proceedings of GI-Jahrestagung, Aachen, Germany (1997)
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-2
Norbert Eisinger, Tim Geisler, and Sven Panne:
Logic Implemented Functionally.
Complete Text [.ps.gz, 152KB / .pdf, 257KB]
In: Proceedings of Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP), Southampton, United Kingdom (1997), LNCS 1292, ISBN 3-540-63398-7
Springer-Verlag
© Springer-Verlag

PMS-FB-1997-1
Mathias Kettner and Norbert Eisinger:
The Tableau Browser SNARKS (System Description).
Complete Text [.ps.gz, 152KB / .pdf, 238KB]
In: Proceedings of 14th Int. Conf. on Automated Deduction (CADE), Townsville, Australia (16th July 1997), LNAI 1249
Springer-Verlag
© Springer-Verlag

1996

PMS-FB-1996-21
François Bry and Dietmar Seipel:
Aktuelles Schlagwort: Deduktive Datenbanken.
Complete Text [.ps.gz, 72KB]
In: Informatik Spektrum 19 (4), August 1996
Also in: Informatik Lexikon der GI
Springer-Verlag
© Springer-Verlag

PMS-FB-1996-20

synonym of PMS-FB-1996-3

PMS-FB-1996-19
Tim Geisler, Sven Panne, and Heribert Schütz:
Satchmo. The Compiling and Functional Variants.
Complete Text [.ps.gz, 99KB / .pdf, 222KB]
In: Journal of Automated Reasoning 18 (2), 227-236

PMS-FB-1996-18
Heribert Schütz:
Comparison of Two Complementary Herbrand Model Generators.
Complete Text [.ps.gz, 70KB / .pdf, 228KB]

PMS-FB-1996-17
Heribert Schütz and Dietmar Zaefferer:
Eine linguistische Wissensbank.
Complete Text [.ps.gz, 65KB / .pdf, 185KB]

PMS-FB-1996-16
Thom Frühwirth and Slim Abdennadher:
Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung.
Complete Text [.ps.gz, 166KB / .pdf, 355KB]
In: Künstliche Intelligenz - Themenheft Constraints der GI 1, March 1997

PMS-FB-1996-15
François Bry and Slim Abdennadher (editors):
Programm für den Tag der Informatik an der LMU, TdI'96.
Complete Text [.ps, 45KB]

PMS-FB-1996-14
Slim Abdennadher, Thom Frühwirth, and Holger Meuss:
Implementing Constraint Solvers: Theory and Practice.
Complete Text [.ps.gz, 42KB / .pdf, 150KB]
In: Proceedings of Forum de la Recherche en Informatique (FRI 96), Tunis, Tunisia (1996)

PMS-FB-1996-13
Adnan Yahya:
Generalized Query Answering in Disjunctive Databases Using Minimal Model Generation.
Complete Text [.ps.gz, 112KB / .pdf, 369KB]

PMS-FB-1996-12
Adnan Yahya:
A Goal-Driven Approach to Efficient Query Processing in Disjunctive Databases.
Complete Text [.ps.gz, 122KB / .pdf, 369KB]
Earlier version in: Dagstuhl Seminar Report Nr. 150, July 1996

PMS-FB-1996-11
Thom Frühwirth and Slim Abdennadher:
The Munich Rent Advisor.
Complete Text [.ps.gz, 119KB / .pdf, 375KB]
In: Proceedings of 1st Workshop on Logic Programming for Internet Applications, in conjunction with Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, Germany (2nd - 6th September 1996)

PMS-FB-1996-10
Adnan Yahya:
Model Generation in Disjunctive Normal Databases.
Complete Text [.ps.gz, 97KB / .pdf, 311KB]

PMS-FB-1996-9
Slim Abdennadher, Thom Frühwirth, and Peter Blenninger:
Rent Estimates with Constraints over the Internet (System Description).
Complete Text [.ps.gz, 97KB / .pdf, 297KB]
In: Proceedings of V-èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'96), Clermont-Ferrand, France (1996)

PMS-FB-1996-8
Slim Abdennadher, Thom Frühwirth, and Holger Meuss:
On Confluence of Constraint Handling Rules.
Complete Text [.ps.gz, 69KB / .pdf, 267KB]
In: Proceedings of Second International Conference on Principles and Practice of Constraint Programming (CP'96), Cambridge (Massachusetts), USA (19th - 22nd August 1996), LNCS 1118
Springer-Verlag
© Springer-Verlag

PMS-FB-1996-7
Slim Abdennadher, Thom Frühwirth, and Holger Meuss:
Confluent Simplification Rules.
Complete Text [.ps.gz, 80KB / .pdf, 266KB]

PMS-FB-1996-5
Thomas Brüggemann, François Bry, Norbert Eisinger, Tim Geisler, Sven Panne, Heribert Schütz, Sunna Torge, and Adnan Yahya:
Satchmo: Minimal Model Generation and Compilation (System Description).
Complete Text [.ps.gz, 45KB / .pdf, 117KB]
In: Proceedings of V-èmes Journées Francophones de Programmation en Logique et Programmation par Contraintes (JFPLC'96), Clermont-Ferrand, France (1996)

PMS-FB-1996-4
François Bry:
A Compositional Semantics for Logic Programs and Deductive Databases.
Complete Text [.ps.gz, 91KB / .pdf, 292KB]
short version in PMS-FB-1996-3
MIT Press

PMS-FB-1996-3
François Bry:
A Compositional Semantics for Logic Programs and Deductive Databases.
Complete Text [.ps.gz, 64KB / .pdf, 213KB]
short version of PMS-FB-1996-4
In: Proceedings of Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn, Germany (2nd - 6th September 1996)
MIT Press

PMS-FB-1996-2
Heribert Schütz and Tim Geisler:
Efficient Model Generation through Compilation.
Complete Text [.ps.gz, 85KB / .pdf, 94KB]
In: Proceedings of 13th Int. Conf. on Automated Deduction (CADE) (1996)
Springer-Verlag
© Springer-Verlag

PMS-FB-1996-1
François Bry and Adnan Yahya:
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
Complete Text [.ps.gz, 85KB / .pdf, 304KB]
In: Proceedings of 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (1996)
Springer-Verlag
© Springer-Verlag

1995

PMS-FB-1995-5
François Bry and Adnan Yahya:
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
Complete Text [.ps.gz, 72KB / .pdf, 298KB]
In: Proceedings of 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (1996)
Springer-Verlag
© Springer-Verlag

PMS-FB-1995-4
Slim Abdennadher, Thom Frühwirth, Michael Marte, and Holger Meuss:
A Confluence Test for Concurrent Constraint Programs.
Complete Text [.ps.gz, 55KB]

PMS-FB-1995-3
Slim Abdennadher, François Bry, Norbert Eisinger, and Tim Geisler:
The Theorem Prover Satchmo: Strategies, Heuristics, and Applications (System Description).
Complete Text [.ps.gz, 49KB / .pdf, 186KB]
In: Proceedings of IV-èmes Journées Francophones de Programmation Logique et Programmation par Contraintes (JFPL'95), Dijon, France (1995)

PMS-FB-1995-2
François Bry and Rainer Manthey:
Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.
Complete Text [.ps.gz, 57KB / .pdf, 215KB]
In: Proceedings of 11. Workshop Logische Programmierung (27th - 29th September 1995), Organization: GMD

PMS-FB-1995-1
François Bry, Rainer Manthey, and Heribert Schütz:
Deduktive Datenbanken.
Complete Text [.ps.gz, 58KB / .pdf, 170KB]
In: KI - Künstliche Intelligenz - Themenheft Logische Programmierung, Gesellschaft für Informatik 3/96, September 1996

1994

PMS-FB-1994-2
François Bry:
Disjunctive Logic Programming: What Applications Developers Need.
In: Proceedings of IFIP Workshop on Disjunctive Logic Programming and Disjunctive Databases (28th August - 2nd September 1995)

PMS-FB-1994-1
François Bry:
Ingénierie des Systèmes d'Informations.
In: Special issue of Ingénierie des Systèmes d'Informations on Bases de Données Avancées 2 (1), January 1994

1993

ECRC-91-1
Norbert Eisinger and Hans Jürgen Ohlbach:
Deduction Systems Based on Resolution.
Complete Text [.ps.gz, 257KB / .pdf, 692]
In: Handbook of Logic in Artificial Intelligence and Logic Programming, Gabbay, Hogger and Robinson (editor/s) 1, 1993
Oxford University Press

Dissertations

2008

DISS_Michael.Eckert
Michael Eckert:
Complex Event Processing with XChangeEQ: Language Design, Formal Semantics and Incremental Evaluation for Querying Events.
Complete Text [.pdf, 1.8MB]
PhD Thesis, Institute for Informatics, University of Munich, 2008

DISS_Tim.Furche
Tim Furche:
Implementation of Web Query Language Reconsidered: Beyond Tree and Single-Language Algebras at (Almost) No Costs.
PhD Thesis, Institute for Informatics, University of Munich, 2008

DISS_Sacha.Berger
Sacha Berger:
Regular Rooted Graph Grammars - A Web Type and Schema Language.
Complete Text [.pdf, 4.0MB]
PhD Thesis, Institute for Informatics, University of Munich, 2008

2006

DISS_Bernhard.Lorenz
Bernhard Lorenz:
Multi-Paradigm Spatial Information Processing.
Complete Text [.pdf, 3.2MB]
PhD Thesis, Institute for Informatics, University of Munich, 2006

DISS_Felix.Weigel
Felix Weigel:
Structural Summaries as a Core Technology for Efficient XML Retrieval.
Complete Text [.pdf, 7.1MB]

2005

DISS_Stephanie.Spranger
Stephanie Spranger:
Calendars as Types -- Data Modeling, Constraint Reasoning, and Type Checking with Calendars.
Complete Text [.pdf, 3.0MB]
PhD Thesis, Institute for Informatics, University of Munich, 2005
Herbert Utz Verlag, Munich, ISBN 3-8316-0564-5

PMS-DISS-2005-2
Paula-Lavinia Pătrânjan:
The Language XChange: A Declarative Approach to Reactivity on the Web.
Complete Text [.pdf, 1.6MB]
PhD Thesis, Institute for Informatics, University of Munich, 2005
University Library (Electronic Dissertation Service) [.html]

PMS-DISS-2005-1
Dan Olteanu:
Evaluation of XPath Queries against XML Streams.
Complete Text [.pdf, 1.5MB]
PhD Thesis, Institute for Informatics, University of Munich, 2005
University Library (Electronic Dissertation Service) [.html]

2004

PMS-DISS-2004-1
Sebastian Schaffert:
Xcerpt: A Rule-Based Query and Transformation Language for the Web.
Complete Text [.pdf, 2.3MB]
PhD Thesis, Institute for Informatics, University of Munich, 2004
University Library (Electronic Dissertation Service) [.html]