|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Monographie | Hochschulschrift | Zeitschriftenartikel | Paper | Buchbeitrag | Konferenzbeitrag | Bibliographie
Anzahl der Publikationen: 123
Monographie
Amzallag, Émile; Piccioli, Norbert und Bry, François
(1978):
Introduction a la statistique.
Paris: Hermann Collection Methodes.
[PDF, 17MB]
Hochschulschrift
Bry, François
(1981):
Sur les Couplages dans les Graphes Infinis.
Dissertation,
Université Pierre et Marie Curie, Paris 6
[PDF, 5MB]
[PDF, 5MB]
Zeitschriftenartikel
Bry, François
(2020):
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.
In: Theory and Practice of Logic Programming, Bd. 20, Nr. 1: S. 99-146
[PDF, 443kB]
Bry, François und Pohl, Alexander Yong-Su
(2017):
Large class teaching with Backstage.
In: Journal of Applied Research in Higher Education, Bd. 9, Nr. 1: S. 105-128
Bry, François; Kneißl, Fabian; Weiand, Klara und Furche, Tim
(2012):
Term-Specific Eigenvector-Centrality in
Multi-Relation Networks.
In: International Journal of Social Network Mining, Bd. 1, Nr. 2: S. 141-159
[PDF, 351kB]
Pohl, Alexander; Gehlen-Baum, Vera und Bry, François
(2012):
Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study.
In: International Journal of Emerging Technologies in Learning - iJET, Bd. 7, Nr. 1: S. 33-41
[PDF, 561kB]
Eckert, Michael und Bry, François
(1. April 2009):
Aktuelles Schlagwort "Complex Event Processing (CEP)".
In: Informatik-Spektrum, Bd. 32, Nr. 2: S. 163-167
[PDF, 144kB]
Schaffert, Sebastian; Bry, François und Baumeister, Joachim
(1. Dezember 2007):
Semantic Wiki.
In: Informatik-Spektrum, Bd. 30, Nr. 6: S. 434-439
[PDF, 310kB]
Meuss, Holger; Schulz, Klaus U.; Weigel, Felix; Leonardi, Simone und Bry, François
(1. März 2005):
Visual exploration and retrieval of XML document collections with the generic system X2.
In: International Journal on Digital Libraries, Bd. 5, Nr. 1: S. 3-17
[PDF, 379kB]
Bry, François; Nagel, Wolfgang E. und Schroeder, Michael
(1. Dezember 2004):
Grid-Computing.
In: Informatik-Spektrum, Bd. 27, Nr. 6: S. 542-545
[PDF, 83kB]
Bry, François und Kraus, Michael
(2002):
Perspectives for Electronic Books in the World Wide Web Age.
In: The Electronic Library, Bd. 20, Nr. 4: S. 275-287
[PDF, 82kB]
Bry, François
(Oktober 1990):
Query Evaluation in Deductive Databases. Bottom-up and Top-down Reconciled.
In: Data & knowledge engineering, Bd. 5, Nr. 4: S. 289-312
[PDF, 1MB]
Bry, François und Thauront, Gérard
(September 1986):
Gestion Interne de Données Statistiques.
In: Modèles et Bases de Données, Bd. 4: S. 25-38
[PDF, 2MB]
Bry, François
(1983):
On the Factorization of Graphs with Exactly One Vertex of Infinite Degree.
In: Discrete Mathematics, Bd. 43, Nr. 2-3: S. 317-320
[PDF, 7MB]
Bry, François
(1983):
On the Number of 1-Factors of Locally Finite Graphs.
In: Journal of combinatorial theory, Bd. 34, Nr. 1: S. 48-57
[PDF, 374kB]
Bry, François
(1983):
Sur les Couplages dans les Graphes localement finis.
In: Annals of Discrete Mathematics, Bd. 17: S. 143-147
[PDF, 714kB]
Bry, François und Las Vergnas, Michel
(1982):
The Edmonds-Gallai Decomposition for Matchings in Locally Finite Graphs.
In: Combinatorica, Bd. 2, Nr. 3: S. 229-235
[PDF, 1MB]
Bry, François
(Februar 1981):
Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members.
In: Journal of Combinatorial Theory - Series B, Bd. 30, Nr. 1: S. 100-102
[PDF, 123kB]
Paper
Brodt, Simon und Bry, François
(2013):
Analysing Temporal Relations –
Beyond Windows, Frames and Predicates.
[PDF, 487kB]
Bry, François; Kneissl, Fabian; Krefeld, Thomas 
ORCID: https://orcid.org/0000-0001-9657-6052; Lücke, Stephan ORCID: https://orcid.org/0000-0002-5853-1918 und Wieser, Christoph
(2013):
A Crowdsourcing Platform for Italian Linguistic Field Research.
[PDF, 2MB]
ORCID: https://orcid.org/0000-0001-9657-6052; Lücke, Stephan ORCID: https://orcid.org/0000-0002-5853-1918 und Wieser, Christoph
(2013):
A Crowdsourcing Platform for Italian Linguistic Field Research.
[PDF, 2MB]
Kneißl, Fabian und Bry, François
(2012):
Borsa Parole – A Market for Linguistic
Speculation.
[PDF, 2MB]
Hausmann, Steffen; Scherr, Maximilian und Bry, François
(2012):
Complex Actions for Event Processing.
[PDF, 299kB]
Brodt, Simon; Hausmann, Steffen und Bry, François
(31. August 2011):
D4.5 Implementation.
[PDF, 406kB]
Hausmann, Steffen; Brodt, Simon und Bry, François
(28. Februar 2011):
Dura. Concepts and Examples.
[PDF, 1MB]
Kotowski, Jakub; Bry, François und Eisinger, Norbert
(2011):
A Potpourri of Reason Maintenance Methods. Incremental View Maintenance Reconsidered.
[PDF, 553kB]
Baumgart, Daniel; Pohl, Alexander; Gehlen-Baum, Vera und Bry, François
(2011):
Providing guidance on Backstage, a novel digital backchannel for large class teaching.
[PDF, 406kB]
Brodt, Simon; Hausmann, Steffen und Bry, François
(31. August 2010):
Reactive Rules for Emergency Management.
[PDF, 762kB]
Brodt, Simon; Hausmann, Steffen; Bry, François; Poppe, Olga und Eckert, Michael
(30. Juni 2010):
A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures.
[PDF, 658kB]
Bry, François und Kotowski, Jakub
(19. Juni 2009):
Reason Maintenance - Conceptual Framework.
[PDF, 732kB]
Kotowski, Jakub; Stroka, Stephanie; Bry, François und Schaffert, Sebastian
(2009):
Dependency Updates and Reasoning in KiWi.
[PDF, 82kB]
Bry, François; Furche, Tim und Linse, Benedikt
(2009):
Model Theory and Entailment Rules for RDF
Containers, Collections and Reification.
[PDF, 193kB]
Bry, François und Kotowski, Jakub
(1. September 2008):
Reason Maintenance - State of the Art.
[PDF, 538kB]
Weiand, Klara; Bry, François und Furche, Tim
(31. August 2008):
Reasoning & Querying – State of the Art. Keyword-based querying for XML and RDF.
[PDF, 972kB]
Bry, François und Marchiori, Massimo
(2006):
Towards a Rule Interchange Language
for the Web.
[PDF, 179kB]
Spranger, Stephanie und Bry, François
(2006):
Temporal Data Modeling and Reasoning for Information Systems.
[PDF, 280kB]
Schaffert, Sebastian; Bry, François und Furche, Tim
(15. April 2005):
Initial Draft of a Possible Declarative Semantics for the Language.
[PDF, 587kB]
Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia und Schroeder, Michael
(28. Februar 2005):
Use-cases on reactivity.
[PDF, 100kB]
Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia und Schroeder, Michael
(28. Februar 2005):
Use-cases on evolution.
[PDF, 528kB]
Bry, François; Rieß, Frank-André und Spranger, Stephanie
(2005):
A Reasoner for Calendric and Temporal Data. Extended Version.
[PDF, 194kB]
Bry, François; Rieß, Frank-André und Spranger, Stephanie
(2005):
A Reasoner for Calendric and Temporal Data. [Short version].
[PDF, 149kB]
Bry, François; Rieß, Frank-André und Spranger, Stephanie
(2005):
A Type Language for Calendars. [Extended Version].
[PDF, 242kB]
Bry, François; Rieß, Frank-André und Spranger, Stephanie
(2005):
A Type Language for Calendars. [Short Version].
[PDF, 176kB]
Bry, François; Colonna, François-Marie und Lorenz, Bernhard
(2005):
Multi-Paradigm Reasoning for Access to Heterogeneous GIS.
[PDF, 213kB]
Bailey, James; Bry, François; Eckert, Michael und Patrânjan, Paula Lavinia
(2005):
Reactivity on the Web. Event Queries in XChange.
[PDF, 210kB]
Bailey, James; Bry, François; Eckert, Michael und Patrânjan, Paula Lavinia
(2005):
Flavours of XChange, a Rule-Based Reactive
Language for the (Semantic) Web.
[PDF, 175kB]
Furche, Tim; Bry, François; Schaffert, Sebastian; Orsini, Renzo; Horrocks, Ian; Kraus, Michael und Bolzer, Oliver
(8. September 2004):
Survey over Existing Query and Transformation Languages.
[PDF, 917kB]
Bry, François; Furche, Tim; Badea, Liviu; Koch, Christoph; Schaffert, Sebastian und Berger, Sacha
(15. August 2004):
Identification of Design Principles.
[PDF, 405kB]
Alferes, José Júlio; Bailey, James; Berndtsson, Mikael; Bry, François; Dietrich, Jens; Kozlenkov, Alexander; May, Wolfgang; Patrânjan, Paula Lavinia; Pinto, Alexandre; Schroeder, Michael und Wagner, Gerd
(5. August 2004):
State-of-the-art on evolution and reactivity.
[PDF, 817kB]
Bolzer, Oliver; Bry, François; Furche, Tim; Kraus, Sebastian und Schaffert, Sebastian
(6. März 2004):
Development of Use Cases, Part I. Illustrating the Functionality of a Versatile Web Query Language.
[PDF, 728kB]
Bry, François; Schaffert, Sebastian und Schroeder, Andreas
(Januar 2004):
A contribution to the Semantics of Xcerpt,
a Web Query and Transformation Language. (Extended Abstract).
[PDF, 133kB]
Bry, François; Furche, Tim und Olteanu, Dan
(2004):
Datenströme.
Informatik-Spektrum, 27
[PDF, 90kB]
Bry, François und Wagner, Holger
(September 2003):
Collaborative Categorization on the Web. Approach, Prototype, and Experience Report.
[PDF, 263kB]
Weigel, Felix; Meuss, Holger; Bry, François und Schulz, Klaus U.
(2003):
Content-Aware DataGuides for Indexing Large Collections of XML Documents.
[PDF, 835kB]
Bry, François und Kraus, Michael
(2002):
Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors.
[PDF, 115kB]
Bry, François und Schaffert, Sebastian
(2002):
Towards a Declarative Query and
Transformation Language for XML and
Semistructured Data: Simulation Unification.
[PDF, 198kB]
Bry, François und Kröger, Peer
(2002):
Aktuelles Schlagwort "Datenbanken in der Bioinformatik".
Informatik-Spektrum, 25
[PDF, 69kB]
Bry, François; Kraus, Michael; Olteanu, Dan und Schaffert, Sebastian
(13. Juni 2001):
Aktuelles Schlagwort "Semi-strukturierte Daten".
Informatik-Spektrum, 24
[PDF, 100kB]
Bry, François und Yahya, Adnan
(2000):
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.
Journal of Automated Reasoning, 25
[PDF, 425kB]
Backofen, Rolf; Bry, François; Clote, Peter; Kriegel, Hans-Peter; Seidl, Thomas und Schulz, Klaus
(1. Oktober 1999):
Aktuelles Schlagwort Bioinformatik.
Informatik-Spektrum, 22
[PDF, 397kB]
Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H. und Wirsing, Martin
(1999):
Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München.
[PDF, 469kB]
Pigeot, Iris; Blauth, Angelika und Bry, François
(1998):
Interactive analysis of high-dimensional association structures with graphical models.
Sonderforschungsbereich 386, Discussion Paper 131
[PDF, 326kB]
Bry, François; Clote, Peter; Hegering, Heinz-Gerd; Kriegel, Hans-Peter; Kröger, Fred; Ludwig, Thomas und Wirsing, Martin
(1998):
Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters.
[PDF, 131kB]
Bry, François und Torge, Sunna
(Dezember 1997):
Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability.
[PDF, 252kB]
Bry, François und Seipel, Dietmar
(1996):
Schlagwort "Deduktive Datenbanken".
Informatik-Spektrum, 19
[PDF, 82kB]
Bry, François; Manthey, Rainer und Schütz, Heribert
(1995):
Deduktive Datenbanken.
Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Themenheft Logische Programmierung
[PDF, 168kB]
Buchbeitrag
Fischer, Konrad; Vaupel, Sarah; Heller, Niels; Mader, Sebastian und Bry, François
(2021):
Effects of Competitive Coding Games on Novice Programmers.
In: Auer, Michael E. und Rüütmann, Tiia (Hrsg.):
Educating Engineers for Future Industrial Revolutions. Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020), Volume 1. Advances in Intelligent Systems and Computing (AISC), Bd. 1328. Cham: Springer. S. 464-475
Bry, François; Furche, Tim; Linse, Benedikt; Pohl, Alexander; Weinzierl, Antonius und Yestekhina, Olga
(2009):
Four Lessons in Versatility or How Query Languages Adapt to the Web.
In: Bry, François (Hrsg.): (2009):
Semantic Techniques for the Web : The REWERSE Perspective. Lecture Notes in Computer Science, Bd. 5500. Berlin u.a.: Springer. S. 50-160
[PDF, 1MB]
Konferenzbeitrag
Strickroth, Sven und Bry, François
(2022):
The Future of Higher Education Is Social and Personalized! Experience Report and Perspectives.
14th International Conference on Computer Supported Education (CSEDU 2022), Online, 22 to 24 April 2022.
Cukurova, Mutlu (Hrsg.):
In: Proceedings of the 14th International Conference on Computer Supported Education. Volume 1,
Setúbal: SciTePress - Science and Technology Publications. S. 389-396
Kotowski, Jakub und Bry, François
(2009):
A Perfect Match for Reasoning, Explanation,
and Reason Maintenance.
Third International Conference, RR 2009, Chantilly, USA, 25. - 26. Oktober 2009.
Polleres, Axel (Hrsg.):
In: Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25 - 26, 2009 ; proceedings,
Bd. 5837
Berlin: Springer. S. 227-241
[PDF, 238kB]
Brodt, Simon; Bry, François und Eisinger, Norbert
(2009):
Search for More Declarativity. Backward Reasoning for Rule Languages Reconsidered.
Third International Conference on Web Reasoning and Rule Systems, Chantilly, Virginia, USA, 25.- 26. Oktober 2009.
In: Web Reasoning and Rule Systems : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings,
Berlin u.a.: Springer. S. 71-86
[PDF, 348kB]
Bry, François; Furche, Tim und Weiand, Klara
(2009):
Web Queries: From a Web of Data to a Semantic
Web?
Web Information Systems Engineering - WISE 2009, Proceedings of 10th International Conference on Web Systems Engineering (WISE2009), Pozan, Polen, 5. - 7. Oktober 2009.
Vossen, Gottfried (Hrsg.):
In: Web Information Systems Engineering - WISE 2009 10th International Conference, Poznań, Poland, October 5-7, 2009. Proceedings,
Berlin u.a.: Springer. S. 71-86
[PDF, 77kB]
Bry, François; Furche, Tim; Ley, Clemens; Linse, Benedikt und Marnette, Bruno
(2008):
Taming Existence in RDF Querying.
Second International Conference, RR 2008, Karlsruhe, Deutschland, 31. Oktober - 1. November 2008.
Calvanese, Diego (Hrsg.):
In: Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings,
Berlin u.a.: Springer. S. 236-237
[PDF, 74kB]
Bry, François; Furche, Tim und Linse, Benedikt
(2008):
Simulation Subsumption or Déjà vu on the Web.
Second International Conference, RR 2008, Karlsruhe, Deutschland, 31. Oktober - 1. November 2008.
Calvanese, Diego (Hrsg.):
In: Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings,
Berlin u.a.: Springer. S. 28-42
[PDF, 253kB]
Aßmann, Uwe; Berger, Sacha; Bry, François; Henriksson, Jakob und Pătrânjan, Paula-Lavinia
(2007):
A Generic Module System forWeb Rule Languages:
Divide and Rule.
International Symposium, RuleML 2007, Orlando, Florida, USA, 25. - 26.. Oktober 2007.
Paschke, Adrian (Hrsg.):
In: Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings,
Berlin u.a.: Springer. S. 63-77
[PDF, 521kB]
Berstel, Bruno; Bonnard, Philippe; Bry, François; Eckert, Michael und Patranjan, Paula-Lavinia
(2007):
Reactive Rules on the Web.
Reasoning Web 2007 Third International Summer School, Dresden, Germany, 3. - 7. September 2007.
Antoniou, Grigoris (Hrsg.):
In: Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures,
Berlin u.a.: Springer. S. 183-239
[PDF, 496kB]
Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard und Wei, Fang
(2007):
Foundations of Rule-Based Query Answering.
Reasoning Web 2007 - Third International Summer School, Dresden, Germany, 3. - 7. September 2007.
Antoniou, Grigoris (Hrsg.):
In: Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures,
Berlin u.a.: Springer. S. 1-153
[PDF, 1MB]
Bry, François und Eckert, Michael
(2007):
Rule-Based Composite Event Queries. The Language XChangeEQ and its Semantics.
RR 2007: First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7. - 8. Juni 2007.
Antoniou, Grigoris (Hrsg.):
In: Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings,
Berlin u.a.: Springer. S. 16-30
[PDF, 206kB]
Berger, Sacha; Bry, François; Furche, Tim und Häusler, Andreas J.
(2007):
Completing Queries: Rewriting of IncompleteWeb
Queries under Schema Constraints.
RR 2007: First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7. - 8. Juni 2007.
Antoniou, Grigoris (Hrsg.):
In: Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings,
Berlin u.a.: Springer. S. 319-328
[PDF, 159kB]
Uwe, Aßmann; Berger, Sacha; Bry, François; Furche, Tim; Henriksson, Jakob und Johannes, Jendrik
(2007):
Modular Web Queries — From Rules to Stores.
OTM 2007 Workshops, Vilamoura, Portugal, 25. - 30. November 2007.
Meersman, Robert (Hrsg.):
In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops ; OTM Confederated International Workshops and Posters AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal,,
Berlin u.a.: Springer. S. 1165-1175
[PDF, 193kB]
Furche, Tim; Linse, Benedikt; Bry, François; Plexousakis, Dimitris und Gottlob, Georg
(2007):
RDF Querying. Language Constructs and Evaluation Methods
Compared.
Reasoning Web 2006: Summer School, Lisbon, Portugal, 4. - 8. September 2006.
In: Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures,
Berlin u.a.: Springer. S. 1-52
[PDF, 662kB]
Berger, Sacha; Bry, François; Furche, Tim; Linse, Benedikt und Schroeder, Andreas
(2006):
Effective and Efficient Data Access
in the Versatile Web Query Language Xcerpt.
PPSWR 2006, Budva, Montenegro, 10. - 11. Juni 2006.
Alferes, José Júlio (Hrsg.):
In: Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers,
Bd. 4187
Berlin: Springer. S. 219-224
[PDF, 645kB]
Bry, François; Eckert, Michael; Patrânjan, Paula-Lavinia und Romanenko, Inna
(2006):
Realizing Business Processes with ECA Rules. Benefits, Challenges, Limits.
PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, Budva, Montenegro, 10. - 11. Juni 2006.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 48-62
[PDF, 197kB]
Bry, François; Furche, Tim und Linse, Benedikt
(2006):
Data Model and Query Constructs for Versatile
Web Query Languages. State-of-the-Art and Challenges for Xcerpt.
PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, Budva, Montenegro, 10. - 11. Juni 2006.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 90-104
[PDF, 230kB]
Bry, François; Furche, Tim und Linse, Benedikt
(2006):
AMaχoS—Abstract Machine for Xcerpt. Architecture and Principles.
PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, Budva, Montenegro, 10. - 11. Juni 2006.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 105-119
[PDF, 3MB]
Bry, François und Eckert, Michael
(2006):
Twelve Theses on Reactive Rules for the Web.
EDBT 2006 Workshops, Munich, Germany, 26. - 31. März 2006.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 842-854
[PDF, 152kB]
Bry, François; Eckert, Michael und Patranjan, Paula-Lavinia
(2006):
Twelve Theses on Reactive Rules for the Web.
APWeb 2006 International Workshops, Harbin, China, 16. - 18. Januar 2006.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 38-47
[PDF, 145kB]
Bry, François und Marchiori, Massimo
(2006):
Ten Theses on Logic Languages for the Semantic Web.
PPSWR 2005, Third International Workshop Principles and Practice of Semantic Web Reasoning, Schloss Dagstuhl, Deutschland, 11. - 16. September 2005.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 42-49
[PDF, 158kB]
Bailey, James; Bry, François; Furche, Tim und Schaffert, Sebastian
(2005):
Web and Semantic Web Query Languages. A Survey.
Reasoning Web First International Summer School 2005, Msida, Malta, 25. - 29. Juli 2005.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 35-133
[PDF, 875kB]
Bry, François; Patranjan, Paula-Lavinia und Schaffert, Sebastian
(2004):
Poster Presentation: Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web.
ICLP 2004, 20th International Conference on Logic Programming, Saint-Malo, Frankreich, 6. - 10. September 2004.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 450-451
[PDF, 84kB]
Bry, François und Kröger, Peer
(2004):
Bioinformatics Databases:
State of the Art and Research Perspectives.
ADBIS 2003, 7th East European Conference Advances in Databases and Information Systems, Dresden, Deutschland, 3. - 6. September 2003.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 3
[PDF, 24kB]
Kraus, Michael; Bry, François und Kitagawa, Kazuhiro
(2003):
XML Document Adaptation Queries (XDAQ). An Approach to Adaptation Reasoning Using Web Query Languages.
PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, Mumbai, India, 9. - 13. Dezember 2003.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 113-127
[PDF, 184kB]
Bry, François; Lorenz, Bernhard; Ohlbach, Hans Jürgen und Spranger, Stephanie
(2003):
On Reasoning on Time and Location on the Web.
PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, Mumbai, India, 9. - 13. Dezember 2003.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 69-83
[PDF, 154kB]
Kraus, Michael; Bry, François und Kitagawa, Kazuhiro
(2003):
A Visual Language for Web Querying and
Reasoning.
PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, Mumbai, India, 9. - 13. Dezember 2003.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 99-112
[PDF, 326kB]
Bry, François und Schaffert, Sebastian
(2003):
An Entailment Relation for Reasoning on the Web.
RuleML 2003, Second International Workshop on Rules and Rule Markup Languages, Sunibel Island, Florida, USA, 20. October 2003.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 17-34
[PDF, 317kB]
Bry, François und Schaffert, Sebastian
(2002):
Towards a Declarative Query and Transformation
Language for XML and Semistructured Data:
Simulation Unification.
ICLP 2002, 18th International Conference on Logic Programming, Kopenhagen, Dänemark, 29. Juli - 1. August 2002.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 255-270
[PDF, 190kB]
Bry, François und Schaffert, Sebastian
(2002):
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics.
NODe 2002 Web- and Database-Related Workshops, Erfurt, Deutschland, 7. - 10. Oktober 2002.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 295-310
[PDF, 219kB]
Schaffert, Dan; Meuss, Holger; Furche, Tim und Bry, François
(2002):
XPath: Looking Forward.
EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prag, Tschechische Republik, 24. - 28. März 2002.
Lecture Notes in Computer Science.
Berlin u.a.: Springer. S. 109-127
[PDF, 276kB]
Bry, François
(1994):
Constrained Query Answering. preliminary report.
1st International Workshop on Nonstandard Queries and Answers, Toulouse, Frankreich, 01. - 04.07.1991.
Demolombe, R. (Hrsg.):
In: Nonstandard Queries and nonstandard Answers,
S. 1-19
[PDF, 2MB]
Bry, François
(1993):
Towards Intelligent Databases.
7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), Trondheim, Norway, 15.-18. Juni1993.
Komorowski, Jan (Hrsg.):
In: Methodologies for intelligent systems,
Berlin u.a.: Springer. S. 116-131
[PDF, 2MB]
Bry, François; Boley, Harold und Geske, Ulrich
(1993):
Neuere Entwicklung der deklarativen KI-Programmierung.
17. Fachtagung für Künstliche Intelligenz, Berlin, 13.09.-16.09.1993.
Kobsa, Alfred (Hrsg.):
In: Proceedings 17. Fachtagung für Künstliche Intelligenz,
S. 1-11
[PDF, 1MB]
Bry, François
(1992):
Reflections on the Foundations of Meta-Programming. Is a Type Theory Needed?
Joint International Conference and Symposium on Logic Programming, Washington, 11.1992.
Apt, Krzysztof R. (Hrsg.):
In: Logic Programming,
[PDF, 560kB]
Bry, François
(1991):
Negation in Logic Programming. A Formalization in Constructive Logic.
1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, Ulm, 19.03.-21.03.1990.
Karagiannis, Dimitris (Hrsg.):
In: Information Systems and Artificial Intelligence: Integration Aspects,
S. 30-46
[PDF, 1MB]
Bry, François; Manthey, Rainer und Martens, Bernd
(1991):
Integrity Verification in Knowledge Bases.
2nd Russian Conference on Logic Programming (RCLP), St. Petersburg, 11.09.-16.09.1991.
Voronkov, Andrej (Hrsg.):
In: Logic programming,
S. 114-139
[PDF, 3MB]
Bry, François
(1990):
Intensional Updates. Abduction via Deduction.
7th International Conference on Logic Programming (ICLP), Jerusalem, 18.06.-20.06.1990.
Warren, David H. (Hrsg.):
In: Logic programming,
S. 561-575
[PDF, 1MB]
Bry, François
(1990):
Query Evaluation in Recursive Databases. Bottom-up and Top-down Reconciled.
First International Conference on Deductive and Object-Oriented Databases (DOOD89), Kyoto, Japan, 4. - 6. Dezember1989.
Kim, Won (Hrsg.):
In: Deductive and object-oriented databases,
Amsterdam: North Holland Publishing Company. S. 25-44
[PDF, 2MB]
Bry, François
(1990):
Upside-down Deduction.
Proceedings 6èmes Journées Bases de Données Avancées, Montpellier, 25. - 28.09.1990.
Institut National de Recherche en Informatique et en Automatique (Hrsg.),
In: 6èmes Journées Bases de Données Avancées,
S. 1-12
[PDF, 1MB]
Bry, François
(1989):
Logic Programming as Constructivism. A Formalization and its Application to Databases.
Symposium on Principles of Database Systems, Philadelphia, Pennslyvania, 29.03.-31.03.1989.
Association for Computing Machinery / Special Interest Group on Automata and Computability Theory (Hrsg.),
In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems,
Philadelphia: Association for Computing Machinery. S. 34-50
[PDF, 2MB]
Bry, François
(1989):
Towards an Efficient Evaluation of General Queries. Quantifier and Disjunction Processing Revisited.
ACM SIGMOD International Conference on the Management of Data, Portland, Oregon, 31.5. - 2.6.1989.
Clifford, James (Hrsg.):
In: Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data,
Bd. 18, Nr. 2
New York: Association for Computing Machinery. S. 193-204
[PDF, 2MB]
Bry, François
(1989):
Logical Rewritings for Improving the evaluation of Quantified Queries.
2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Ungarn, 26.06.-30.06.1989.
Demetrovics, János (Hrsg.):
In: MFDBS eighty-nine,
S. 100-116
[PDF, 1MB]
Bry, François; Decker, Hendrik und Manthey, Rainer
(1988):
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
International Conference on Extending Database Technology, Venedig, 14.03.-18.03.1988.
Schmidt, Joachim W. (Hrsg.):
In: Advances in database technology,
S. 488-505
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1988):
SATCHMO: A Theorem Prover Implemented in Prolog.
9th International Conference on Automated Deduction (CADE), Argonne, Illinois, 23.05.-26.05.1988.
Lusk, Ewing (Hrsg.):
In: Proceedings 9th International Conference on Automated Deduction (CADE),
S. 415-434
[PDF, 2MB]
Bry, François und Decker, Hendrik
(1988):
Préserver l'Intégrité d'une Base de Données Déductive. Une Méthode et son Implémentation.
4èmes Journées Bases de Données Avancées, Benodet, Frankreich, 17. - 20.05.1988.
In: Compte-rendus des 4èmes Journées Bases de Données Avancées,
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1987):
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.
11th German Workshop on Artificial Intelligence (GWAI), Geseke bei Paderborn, Deutschland, 28.09. - 02.10.1987.
Morik, Katharina (Hrsg.):
In: GWAI-87: 11th German Workshop on Artificial Intelligence ; proceedings,
Berlin u.a.: Springer. S. 221-230
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1987):
Proving Finite Satisfiability of Deductive Databases.
1st Workshop on Computer Science Logic (CSL), Karlsruhe, 12.10.-16.10.1987.
Börger, Egon (Hrsg.):
In: Lecture Notes in Computer Science - CSL '87 : 1st Workshop on Computer Science Logic,
S. 44-55
[PDF, 955kB]
Bry, François und Thauront, Gérard
(1986):
Spécificités des SGBD statistiques.
4th International Symposium on Data Analysis and Informatics, Versailles, 09.10.-11.10.1985.
Diday, E. (Hrsg.):
In: Data analysis and informatics,
S. 749-758
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1986):
Sur la Validité des Schémas de Bases de Données.
Journées Bases de Données Avancées, Giens, Frankreich, 22. - 25.04.1986.
Journées Bases de Données Avancées.
Bd. 2
S. 1-19
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1986):
Checking Consistency of Database Constraints. A Logical Basis.
12th International Conference on Very Large Data Bases (VLDB), Kyoto, Japan, 25. - 28. August 1986.
Kambayashi, Yahiko (Hrsg.):
In: Very large data bases,
Los Altos: Morgan Kaufman. S. 13-20
[PDF, 1MB]
Bry, François
(1984):
A Statistical Data Model.
6th symposium on Computional Statistics (COMPSTAT), Prag, 21.08.-22.08.1984.
Havránek, Tomáš (Hrsg.):
In: Proceedings in computational statistics,
S. 1-4
[PDF, 340kB]
Bibliographie
Bry, François und Manthey, Rainer
(2005):
Variations on a Theme: A Bibliography on
Approaches to Theorem Proving
Inspired From Satchmo.
[PDF, 125kB]