9 Search Results for "Bry, Francois"

Document
Invited Paper
DOI: 10.4230/OASIcs.RW.2024/2025.9
Reasoning About Time in DatalogMTL: Course Notes (Invited Paper)

Authors: Przemysław Andrzej Wałęga

Published in: OASIcs, Volume 138, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025)

Abstract
Many real-world applications, such as those in healthcare, finance, and logistics, require reasoning over temporal data. Standard rule-based languages like Datalog, however, lack explicit mechanisms for handling time and temporal dependencies. In this chapter, we discussDatalogMTL, an extension of Datalog with operators frommetric temporal logic that allow to express complex temporal properties. We focus on reasoning algorithms for DatalogMTL, discussing bothmaterialisation, based on fixpoint applications of the immediate consequence operator, and anovel saturation-based extensionthat detects and halts infinite derivations, ensuring both completeness and termination of reasoning.
Cite as

Przemysław Andrzej Wałęga. Reasoning About Time in DatalogMTL: Course Notes (Invited Paper). In Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025). Open Access Series in Informatics (OASIcs), Volume 138, pp. 9:1-9:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{walega:OASIcs.RW.2024/2025.9,
  author =	{Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej},
  title =	{{Reasoning About Time in DatalogMTL: Course Notes}},
  booktitle =	{Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 \& RW 2025)},
  pages =	{9:1--9:23},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-405-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{138},
  editor =	{Artale, Alessandro and Bienvenu, Meghyn and Garc{\'\i}a, Yazm{\'\i}n Ib\'{a}\~{n}ez and Murlak, Filip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.RW.2024/2025.9},
  URN =		{urn:nbn:de:0030-drops-250546},
  doi =		{10.4230/OASIcs.RW.2024/2025.9},
  annote =	{Keywords: DatalogMTL, Logic Programming, Temporal Reasoning}
}
Document
Invited Talk
DOI: 10.4230/LIPIcs.ICLP.2012.1
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk)

Authors: François Bry and Sebastian Schaffert

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

Abstract
This article first reminds of simulation unification, a non-standard unification proposed at the 18th International Conference on Logic Programming (ICLP 2002) for making logic programming capable of querying semistructured data on the Web. This article further argues that, beyond querying semistructured data on the Web, simulation unification has a potential for Web querying of multimedia data and semantic metadata and for Web searching of data of all kinds.
Cite as

François Bry and Sebastian Schaffert. Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:LIPIcs.ICLP.2012.1,
  author =	{Bry, Fran\c{c}ois and Schaffert, Sebastian},
  title =	{{Simulation Unification: Beyond Querying Semistructured Data}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{1--13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.1},
  URN =		{urn:nbn:de:0030-drops-36060},
  doi =		{10.4230/LIPIcs.ICLP.2012.1},
  annote =	{Keywords: Simulation Unification, (Semantic) Web Querying}
}
Document
DOI: 10.4230/DagSemProc.10041.1
10041 Abstracts Collection – Perspectives Workshop: Digital Social Networks

Authors: Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
From 24.01.2010 to 29.01.2010, the Dagstuhl Seminar 10041 ``Perspectives Workshop: Digital Social Networks'' was held in Schloss Dagstuhl ~--~ Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert. 10041 Abstracts Collection – Perspectives Workshop: Digital Social Networks. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.10041.1,
  author =	{Bry, Francois and Cap, Clemens and Dahm, Ingo and Maintz, Julia and Schaffert, Sebastian},
  title =	{{10041 Abstracts Collection – Perspectives Workshop: Digital Social Networks}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.1},
  URN =		{urn:nbn:de:0030-drops-25214},
  doi =		{10.4230/DagSemProc.10041.1},
  annote =	{Keywords: Digital Social Media, Social Software, Social Computing}
}
Document
DOI: 10.4230/DagSemProc.10041.3
10041 Manifesto – Perspectives Workshop: Digital Social Media

Authors: Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
This manifesto explains and stresses the importance of “digital social media”, "social software" and "social computing". In particular, it makes the claim that we need a better understanding of how this mix of enabling technology, social behaviour and market practises is challenging our socio-economical and political systems, and puts forward an action plan for the areas of education, fundamental research and applied research, to address these challenges. The goal of this manifesto is to raise awareness for digital social media and to stress the need for research, research funding, and education in a field so far under-represented in public research funding programmes and in education. This manifesto does not cover all aspects of digital social media, or provide a comprehensive treatment of their socio-economical impact. Such issues are beyond the scope of this manifesto. This manifesto is an outcome of a Perspective Workshop held from the 25th to 29th of January 2010 at the research centre Schloss Dagstuhl. The workshop brought together scientists and practitioners from academia and industry, across the fields of social sciences and computer science.
Cite as

Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert. 10041 Manifesto – Perspectives Workshop: Digital Social Media. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.10041.3,
  author =	{Bry, Francois and Cap, Clemens and Dahm, Ingo and Maintz, Julia and Schaffert, Sebastian},
  title =	{{10041 Manifesto – Perspectives Workshop: Digital Social Media}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.3},
  URN =		{urn:nbn:de:0030-drops-25652},
  doi =		{10.4230/DagSemProc.10041.3},
  annote =	{Keywords: Digital Social Media, Social Software, Social Computing}
}
Document
DOI: 10.4230/DagSemProc.10041.2
10041 Executive Summary – Perspectives Workshop: Digital Social Networks

Authors: Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
The Perspective Workshop on “Digital Social Networks” held in between January 25th and 29th, 2010 at the research centre Schloss Dagstuhl focused on technological, socio-economical, and political aspects of digital social networks, and, more generally, digital social media. Digital social media give rise to users and communities to collaboratively generate and exchange content and to interact. They enable social computation, i.e. computations that involve both software and groups of people. They are operated by specific software systems called social software and use information and communication technologies such as the Internet and Web technologies. Digital social media ease and strengthen social interactions by overcoming physical limitations in communication (like distance and synchronicity) and alleviating human limitations like the number of people with whom one can maintain relationships. Digital social media build, and/or rely upon, social networks that might be the primary purpose of the media.
Cite as

Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert. 10041 Executive Summary – Perspectives Workshop: Digital Social Networks. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.10041.2,
  author =	{Bry, Francois and Cap, Clemens and Dahm, Ingo and Maintz, Julia and Schaffert, Sebastian},
  title =	{{10041 Executive Summary – Perspectives Workshop: Digital Social Networks}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.2},
  URN =		{urn:nbn:de:0030-drops-25480},
  doi =		{10.4230/DagSemProc.10041.2},
  annote =	{Keywords: Digital Social Media, Social Software, Social Computing}
}
Document
DOI: 10.4230/DagSemProc.10041.4
Gaming as social activity

Authors: Carsten Busch

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
Gaming – no matter, wether it's done analog or digital – is a social kind of acitivity. The GamesLab of HTW in Berlin has made an investigation about Gaming in Germany. Some of the results of an representetive survey are: Only 2 % of all Germans don't like to play analog or digital games; 95 % play at least occasionally board games, 43 % play at least occasionally video games or computer games; 74 % like "playing together with others, because it's communicative and interessing".
Cite as

Carsten Busch. Gaming as social activity. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{busch:DagSemProc.10041.4,
  author =	{Busch, Carsten},
  title =	{{Gaming as social activity}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.4},
  URN =		{urn:nbn:de:0030-drops-25205},
  doi =		{10.4230/DagSemProc.10041.4},
  annote =	{Keywords: Games}
}
Document
DOI: 10.4230/DagSemProc.10041.5
On the locality of virtual networks: Informal learning in the San Francisco Bay Area

Authors: Julia Maintz

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
Since the 1990s, informal and personal networks have gained increasing attention as repositories of learning and innovation. Social network analyses so far largely concentrate on the impact of network structures on innovation processes. The role of social network dynamics and the interrelation of structure and agency in these processes however need to be more intensively analyzed. This research concentrates on learning dynamics in personal online business networks of communication and computing industry professionals based in the San Francisco Bay Area. The technological potential for online global multi-connectivity of the studied LinkedIn networks showed limited realization due to the users’ stickiness to their physical practice communities and localities. Physical social interaction served as the prime motor of network formation and maintenance.
Cite as

Julia Maintz. On the locality of virtual networks: Informal learning in the San Francisco Bay Area. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{maintz:DagSemProc.10041.5,
  author =	{Maintz, Julia},
  title =	{{On the locality of virtual networks: Informal learning in the San Francisco Bay Area}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.5},
  URN =		{urn:nbn:de:0030-drops-25199},
  doi =		{10.4230/DagSemProc.10041.5},
  annote =	{Keywords: Innovation, personal online networks, physical space, qualitative social network analysis}
}
Document
DOI: 10.4230/DagSemProc.07191.9
Twelve Theses on Reactive Rules for the Web

Authors: François Bry and Michael Eckert

Published in: Dagstuhl Seminar Proceedings, Volume 7191, Event Processing (2007)

Abstract
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (e.g., recommender) sys- tems, and Web services, react to events such as Web page updates or data posted to a server. This article investigates issues of relevance in designing high-level programming languages dedicated to reactivity on the Web. It presents twelve theses on features desirable for a language of reactive rules tuned to programming Web and Semantic Web applications.
Cite as

François Bry and Michael Eckert. Twelve Theses on Reactive Rules for the Web. In Event Processing. Dagstuhl Seminar Proceedings, Volume 7191, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.07191.9,
  author =	{Bry, Fran\c{c}ois and Eckert, Michael},
  title =	{{Twelve Theses on Reactive Rules for the Web}},
  booktitle =	{Event Processing},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7191},
  editor =	{Mani Chandy and Opher Etzion and Rainer von Ammon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07191.9},
  URN =		{urn:nbn:de:0030-drops-11445},
  doi =		{10.4230/DagSemProc.07191.9},
  annote =	{Keywords: Event-Condition-Action Rules, Web}
}
Document
DOI: 10.4230/DagSemProc.05371.1
05371 Abstracts Collection – Principles and Practices of Semantic Web Reasoning

Authors: François Bry, François Fages, Massimo Marchiori, and Hans-Jürgen Ohlbach

Published in: Dagstuhl Seminar Proceedings, Volume 5371, Principles and Practices of Semantic Web Reasoning (2006)

Abstract
From 11.09.05 to 16.09.05, the Dagstuhl Seminar 05371 ``Principles and Practices of Semantic Web Reasoning'' % generate automaticall was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

François Bry, François Fages, Massimo Marchiori, and Hans-Jürgen Ohlbach. 05371 Abstracts Collection – Principles and Practices of Semantic Web Reasoning. In Principles and Practices of Semantic Web Reasoning. Dagstuhl Seminar Proceedings, Volume 5371, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.05371.1,
  author =	{Bry, Fran\c{c}ois and Fages, Fran\c{c}ois and Marchiori, Massimo and Ohlbach, Hans-J\"{u}rgen},
  title =	{{05371 Abstracts Collection –  Principles and Practices of Semantic Web Reasoning}},
  booktitle =	{Principles and Practices of Semantic Web Reasoning},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5371},
  editor =	{Fran\c{c}ois Bry and Fran\c{c}ois Fages and Massimo Marchiori and Hans-J\"{u}rgen Ohlbach},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05371.1},
  URN =		{urn:nbn:de:0030-drops-4813},
  doi =		{10.4230/DagSemProc.05371.1},
  annote =	{Keywords: Semantic Web, reasoning, rules, ontologies, Advanced Web Applications, rule-based reasoning}
}
  • Refine by Type
  • 9 Document/PDF
  • 1 Document/HTML

  • Refine by Publication Year
  • 1 2025
  • 1 2012
  • 5 2010
  • 1 2007
  • 1 2006

  • Refine by Author
  • 4 Maintz, Julia
  • 4 Schaffert, Sebastian
  • 3 Bry, Francois
  • 3 Bry, François
  • 3 Cap, Clemens
  • Show More...

  • Refine by Series/Journal
  • 1 LIPIcs
  • 1 OASIcs
  • 7 DagSemProc

  • Refine by Classification
  • 1 Theory of computation → Modal and temporal logics
  • 1 Theory of computation → Programming logic

  • Refine by Keyword
  • 3 Digital Social Media
  • 3 Social Computing
  • 3 Social Software
  • 1 (Semantic) Web Querying
  • 1 Advanced Web Applications
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact