Giuseppe De Giacomo

Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime.

2017 · IRIS Research product catalog (Sapienza University of Rome)

OWL2QL is the profile of OWL2 targeted to Ontology-Based Data Access (OBDA) scenarios, where large amount of data are to be accessed, and thus answering conjunctive queries over data is the main task. However, this …

Planning and Synthesis Under Assumptions

2018 · arXiv (Cornell University)

In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's effects, its fairness, its trajectory constraints). In …

ElGolog: A High-Level Programming Language with Memory of the Execution History

2020 · Proceedings of the AAAI Conference on Artificial Intelligence

Most programming languages only support tests that refer exclusively to the current state. This applies even to high-level programming languages based on the situation calculus such as Golog. The result is that additional variables/fluents/data structures …

Synthesizing strategies under expected and exceptional environment behaviors

2020

We consider an agent that operates with two models of the environment: one that captures expected behaviors and one that captures additional exceptional behaviors. We study the problem of synthesizing agent strategies that enforce a …