-
On Temporal Logic versus Datalog
We provide a direct and modular translation from the temporal logics $CTL$, $ETL$, $FCTL$ ($CTL$ extended with the ability to express fairness) and the Modal... -
Towards Farsighted Dependencies for Existential Rules
International audience -
Ontological Query Answering with Existential Rules
International audience -
Game semantics and parsing context-free lambda-grammars
Abstract categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus. These grammars can be described as grammars of... -
A Datalog recognizer for almost affine lambda-CFGs
International audience -
The Webdamlog System Managing Distributed Knowledge on the Web
We study the use of WebdamLog, a declarative high-level language in the style of datalog, to support the distribution of both data and knowledge (i.e., programs) over... -
Rule-Based Application Development using Webdamlog
International audience -
Introducing Access Control in Webdamlog
International audience -
Detection of First Order Axiomatic Theories
International audience -
Distributed data management with the rule-based language: Webdamlog
Our goal is to enable a Web user to easily specify distributed data management tasks in place, i.e. without centralizing the data to a single provider. Our system is... -
Distributed data management with a declarative rule-based language webdamlog
Our goal is to enable aWeb user to easily specify distributed data managementtasks in place, i.e. without centralizing the data to a single provider. Oursystem is... -
Kiabora: An Analyzer of Existential Rule Bases
International audience
