Giuseppe De Giacomo

Florian Zuleger

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

The Trembling-Hand Problem for LTLf Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Lifted Planning: Recent Advances in Planning Using First-Order Representations.

[BibT_eX]

[DOI]

Augusto B. Corrêa

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Planning with Object Creation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Composition of Stochastic Services for LTLf Goal Specifications.

[BibT_eX]

[DOI]

Luciana Silo

Proceedings of the Foundations of Information and Knowledge Systems, 2024

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.

[BibT_eX]

[DOI]

Shriram Krishnamurthi

Tim Nelson

Milda Zizyte

Proceedings of the Formal Methods - 26th International Symposium, 2024

Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes.

[BibT_eX]

[DOI]

Gabriel Paludo Licks

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic.

[BibT_eX]

[DOI]

Luigi Bonassi

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Pure-Past Action Masking.

[BibT_eX]

[DOI]

Giovanni Varricchione

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Abstraction of Situation Calculus Concurrent Game Structures.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Mimicking Behaviors in Separated Domains (Abstract Reprint).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Digital twin composition in smart manufacturing via Markov decision processes.

[BibT_eX]

[DOI]

Comput. Ind., August, 2023

A tool for declarative Trace Alignment via automated planning.

[BibT_eX]

[DOI]

Softw. Impacts, May, 2023

AI-augmented Business Process Management Systems: A Research Manifesto.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., March, 2023

Mimicking Behaviors in Separated Domains.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications.

[BibT_eX]

[DOI]

Luciana Silo

CoRR, 2023

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

[BibT_eX]

[DOI]

CoRR, 2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.

[BibT_eX]

[DOI]

CoRR, 2023

Symbolic LTLf Best-Effort Synthesis.

[BibT_eX]

[DOI]

CoRR, 2023

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version.

[BibT_eX]

[DOI]

CoRR, 2023

Composition of Nondeterministic Services for LTLf Task Specification.

[BibT_eX]

[DOI]

Luciana Silo

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Clock Specifications for Temporal Tasks in Planning and Learning.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Stochastic Best-Effort Strategies for Borel Goals.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Grounding LTLf Specifications in Image Sequences.

[BibT_eX]

[DOI]

Elena Umili

Roberto Capobianco

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Towards ILP-Based LTL f Passive Learning.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming - 32nd International Conference, 2023

Abstraction of Nondeterministic Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Symbolic sc ltlf Best-Effort Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Behavioral QLTL.

[BibT_eX]

[DOI]

Giuseppe Perelli

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

FOND Planning for Pure-Past Linear Temporal Logic Goals.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

AIDA: A Tool for Resiliency in Smart Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Systems, 2023

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.

[BibT_eX]

[DOI]

Nadezda Alexandrovna Knorozova

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Automata Cascades: Expressivity and Sample Complexity.

[BibT_eX]

[DOI]

Alessandro Ronca

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Reactive Synthesis of Dominant Strategies.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Finite-trace and generalized-reactivity specifications in temporal synthesis.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., December, 2022

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Measuring the interestingness of temporal logic behavioral specifications in process mining.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2.

[BibT_eX]

[DOI]

Future Internet, 2022

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.

[BibT_eX]

[DOI]

Francesco Fuggitti

CoRR, 2022

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning.

[BibT_eX]

[DOI]

CoRR, 2022

Augmented Business Process Management Systems: A Research Manifesto.

[BibT_eX]

[DOI]

CoRR, 2022

Situation calculus for controller synthesis in manufacturing systems with first-order state representation.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Compositional Safety LTL Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Grounding LTLf Specifications in Images.

[BibT_eX]

[DOI]

Elena Umili

Roberto Capobianco

Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), 2022

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Act for Your Duties but Maintain Your Rights.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes.

[BibT_eX]

[DOI]

Alessandro Ronca

Gabriel Paludo Licks

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Verification of Generic, Relational Transition Systems.

[BibT_eX]

[DOI]

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Synthesis of Maximally Permissive Strategies for LTLf Specifications.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Iterative Depth-First Search for FOND Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

Embedding reactive behavior into artifact-centric business process models.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2021

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models.

[BibT_eX]

[DOI]

Ramon Fraga Pereira

Francesco Fuggitti

CoRR, 2021

Timed Trace Alignment with Metric Temporal Logic over Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

The Nondeterministic Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Synthesis with Mandatory Stop Actions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Synthesizing Best-effort Strategies under Multiple Environment Specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Efficient PAC Reinforcement Learning in Regular Decision Processes.

[BibT_eX]

[DOI]

Alessandro Ronca

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Intensional and Extensional Views in DL-Lite Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Digital Twins Composition via Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Non-terminating processes in the situation calculus.

[BibT_eX]

[DOI]

Eugenia Ternovska

Ray Reiter

Ann. Math. Artif. Intell., 2020

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Nondeterministic Strategies and their Refinement in Strategy Logic.

[BibT_eX]

[DOI]

Bastien Maubert

Aniello Murano

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Temporal Logic Monitoring Rewards via Transducers.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

High-level Programming via Generalized Planning and LTL Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Synthesizing strategies under expected and exceptional environment behaviors.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Temporal Logic-Based Measurement Framework for Process Mining.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Process Mining, 2020

Extending DL-LiteR TBoxes with View Definitions.

[BibT_eX]

[DOI]

Manuel Namici

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Imitation Learning over Heterogeneous Agents with Restraining Bolts.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

LTLƒ Synthesis with Fairness and Stability Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

[BibT_eX]

[DOI]

Eugenia Ternovska

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Restraining Bolts for Reinforcement Learning Agents.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Acquiring Ontology Axioms through Mappings to Data Sources.

[BibT_eX]

[DOI]

Future Internet, 2019

Regular Decision Processes: A Model for Non-Markovian Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Automatic Business Process Model Extension to Repair Constraint Violations.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

The What-To-Ask Problem for Ontology-Based Peers.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Planning under LTL Environment Specifications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Hybrid Temporal Situation Calculus.

[BibT_eX]

[DOI]

Vitaliy Batusov

Mikhail Soutchanski

Proceedings of the Advances in Artificial Intelligence, 2019

Unbounded Orchestrations of Transducers for Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

WhiteMech: White-Box Self-Programming Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

2018

Ontology-Based Data Access and Integration.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

First-order μ-calculus over generic transition systems and applications to the situation calculus.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Planning and Synthesis Under Assumptions.

[BibT_eX]

[DOI]

CoRR, 2018

Reinforcement Learning for LTLf/LDLf Goals.

[BibT_eX]

[DOI]

CoRR, 2018

Situation Calculus for Synthesis of Manufacturing Controllers.

[BibT_eX]

[DOI]

CoRR, 2018

Synthesis under Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications.

[BibT_eX]

[DOI]

Manuel Namici

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Interestingness of Traces in Declarative Process Mining: The Janus LTLp _f Approach.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 16th International Conference, 2018

Hierarchical Agent Supervision.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Synthesis of Orchestrations of Transducers for Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

LTLf/LDLf Non-Markovian Rewards.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Using Ontologies for Semantic Data Integration.

[BibT_eX]

[DOI]

Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017

Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version).

[BibT_eX]

[DOI]

CoRR, 2017

On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 2017

Practical Update Management in Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Linking Data and BPMN Processes to Achieve Executable Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2017

Service Composition in Stochastic Settings.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Abstraction in Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Progression and Verification of Situation Calculus Agents with Bounded Beliefs.

[BibT_eX]

[DOI]

Stud Logica, 2016

Bounded situation calculus action theories.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Agent planning programs.

[BibT_eX]

[DOI]

Alessandro Saetti

Artif. Intell., 2016

Updating DL-Lite Ontologies Through First-Order Queries.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2016, 2016

On First-Order μ-Calculus over Situation Calculus Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Regular Open APIs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Online Situation-Determined Agents and their Supervision.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

LTLf and LDLf Synthesis under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Imperfect-Information Games and Generalized Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Online Agent Supervision in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Situation Calculus Game Structures and GDL.

[BibT_eX]

[DOI]

Adrian R. Pearce

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Computing Trace Alignment against Declarative Process Models through Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Verifying ConGolog Programs on Bounded Situation Calculus Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Temporal Reasoning in Bounded Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Adding DL-Lite TBoxes to Proper Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

Synthesis for LTL and LDL on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.

[BibT_eX]

[DOI]

Mikhail Soutchanski

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Data Complexity of Query Answering in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Declarative Process Modeling in BPMN.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2015

Synchronous Games in the Situation Calculus.

[BibT_eX]

[DOI]

Adrian R. Pearce

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Knowledge Representation and Reasoning: What's Hot.

[BibT_eX]

[DOI]

Chitta Baral

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

LTLf and LDLf Monitoring: A Technical Report.

[BibT_eX]

[DOI]

CoRR, 2014

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 12th International Conference, 2014

Verification of data-aware commitment-based multiagent system.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Verification of Human Driven Data-Centric Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Automated Service Composition Based on Behaviors: The Roman Model.

[BibT_eX]

[DOI]

Proceedings of the Web Services Foundations, 2014

2013

MASTRO STUDIO: Managing Ontology-Based Data Access applications.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2013

On simplification of schema mappings.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2013

Description Logic Knowledge and Action Bases.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Finite model reasoning on UML class diagrams via constraint programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Automatic behavior composition synthesis.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Data complexity of query answering in description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Verification and Synthesis in Description Logic Based Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Verification of relational data-centric dynamic systems with external services.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Foundations of data-aware process analysis: a database theory perspective.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Bounded Epistemic Situation Calculus Theories.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

A Generic Technique for Synthesizing Bounded Finite-State Controllers.

[BibT_eX]

[DOI]

Yuxiao Hu

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).

[BibT_eX]

[DOI]

Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012

Query Processing under GLAV Mappings for Relational and Graph Databases.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2012

View-based query answering in Description Logics: Semantics and complexity.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Verification of Conjunctive Artifact-Centric Services.

[BibT_eX]

[DOI]

Riccardo De Masellis

Int. J. Cooperative Inf. Syst., 2012

Ontology-Based Governance of Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Mastro: Ontology-Based Data Access at Work (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Goal-Based Composition of Stateful Services for Smart Homes.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

MASTRO: A Reasoner for Effective Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.

[BibT_eX]

[DOI]

Paolo Felli

Alessio Lomuscio

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Semantically-Governed Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Verification of Description Logic Knowledge and Action Bases.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

On supervising agents in situation-determined ConGolog.

[BibT_eX]

[DOI]

Christian J. Muise

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Ontology-Based Data Access with Dynamic TBoxes in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Bounded Situation Calculus Action Theories and Decidable Verification.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Robotics, 2012

2011

The MASTRO system for ontology-based data access.

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

Marco Ruzzi

Domenico Fabio Savo

Semantic Web, 2011

Computing Infinite Plans for LTL Goals Using a Classical Planner.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Generalized Planning: Synthesizing Plans that Work for Multiple Environments.

[BibT_eX]

[DOI]

Yuxiao Hu

Proceedings of the IJCAI 2011, 2011

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Simplifying schema mappings.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

Mapping Data to Higher-Order Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Verification of Conjunctive-Query Based Semantic Artifacts.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Foundations of Relational Artifacts Verification.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 9th International Conference, 2011

Higher-Order Description Logics for Domain Metamodeling.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

View Synthesis from Schema Mappings

[BibT_eX]

[DOI]

CoRR, 2010

Generalized Planning with Loops under Strong Fairness Constraints.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Situation Calculus Based Programs for Representing and Reasoning about Game Structures.

[BibT_eX]

[DOI]

Adrian R. Pearce

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Conjunctive Artifact-Centric Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Agent programming via planning programs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Agent composition synthesis based on ATL.

[BibT_eX]

[DOI]

Paolo Felli

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Two-Player Game Structures for Generalized Planning and Agent Composition.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

Node Selection Query Languages for Trees.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

On Instance-level Update and Erasure in Description Logic Ontologies.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Automated Composition of Nondeterministic Stateful Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

On-line adaptation of sequential mobile processes running concurrently.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Ontologies and Databases: The DL-Lite Approach.

[BibT_eX]

[DOI]

Mariano Rodriguez-Muro

Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

Composition of ConGolog Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Artifact-Centric Workflow Dominance.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

On Higher-Order Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

An Automata-Theoretic Approach to Regular XPath.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 2009

Conceptual Modeling for Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Composition of Partially Observable Services Exporting their Behaviour.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Using OWL in Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008

Conjunctive query containment and answering under description logic constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Linking Data to Ontologies.

[BibT_eX]

[DOI]

J. Data Semant., 2008

Inconsistency tolerance in P2P data integration: An epistemic logic approach.

[BibT_eX]

[DOI]

Inf. Syst., 2008

Automatic Service Composition via Simulation.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

Automatic Service Composition and Synthesis: the Roman Model.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2008

Data Integration throughDL-LiteA Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Behavior Composition in the Presence of Failure.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

View-Based Query Answering over Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Path-Based Identification Constraints in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Towards Higher-Order DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

A model of contingent planning for agent programming languages.

[BibT_eX]

[DOI]

Atalay Nafi Ozgovde

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Realizing Multiple Autonomous Agents through Scheduling of Shared Devices.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

View-based query processing: On the relationship between rewriting, answering and losslessness.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

Ontology-based Database Access.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

On reconciling data exchange, data integration, and peer data management.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Can OWL Model Football Leagues?

[BibT_eX]

[DOI]

Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Automatic Synthesis of New Behaviors from a Library of Available Behaviors.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

EQL-Lite: Effective First-Order Query Processing in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

AutomaticWorkflows Composition of Mobile Services.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Actions and Programs over Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring.

[BibT_eX]

[DOI]

Massimiliano de Leoni

Proceedings of the Business Process Management, 5th International Conference, 2007

Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

On the Approximation of Instance Level Update and Erasure in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Automatic web services composition in trustaware communities.

[BibT_eX]

[DOI]

Fahima Cheikh

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

Linking Data to Ontologies: The Description Logic DL-Lite_A.

[BibT_eX]

[DOI]

Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

On the Limits of Planning over Belief States under Strict Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

ComposingWeb Services with Nondeterministic Behavior.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Epistemic First-order Queries over Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

On the Update of Description Logic Ontologies at the Instance Level.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Automatic Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005

Decidable containment of recursive queries.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Automatic Service Composition Based on Behavioral Descriptions.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2005

Conjunctive Query Containment and Answering under Description Logics Constraints

[BibT_eX]

[DOI]

CoRR, 2005

Data Integration: A Logic-Based Perspective.

[BibT_eX]

[DOI]

AI Mag., 2005

Reasoning on UML class diagrams.

[BibT_eX]

[DOI]

Daniela Berardi

Artif. Intell., 2005

Automatic Composition of Transition-based Semantic Web Services with Messaging.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Efficiently Managing Data Intensive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the SWAP 2005, 2005

Automatic Composition of Web Services in Colombo.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Tailoring OWL for Data Intensive Ontologies.

[BibT_eX]

[DOI]

Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Composition of Services with Nondeterministic Observable Behavior.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

Modeling Data & Processes for Service Specifications in Colombo.

[BibT_eX]

[DOI]

Proceedings of the EMOI, 2005

DL-Lite: Tractable Description Logics for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

QuOnto: Querying Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Data integration under integrity constraints.

[BibT_eX]

[DOI]

Inf. Syst., 2004

On the Semantics of Deliberation in Indigolog - from Theory to Implementation.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

: A Tool for Automatic Composition ofServices Based on Logics of Programs.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Query Reformulation over Ontology-based Peers.

[BibT_eX]

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Logical Foundations of Peer-To-Peer Data Integration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

What to Ask to a Peer: Ontolgoy-based Query Reformulation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Tackling Inconsistencies in Data Integration through Source Preferences.

[BibT_eX]

[DOI]

Proceedings of the IQIS 2004, 2004

Synthesis of underspecified composite e-services based on automated reasoning.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

Hyper: A Framework for Peer-to-Peer Data Integration on Grids.

[BibT_eX]

[DOI]

Proceedings of the Semantics for Grid Databases, 2004

DL-Lite: Practical Reasoning for Rich Dls.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Towards Implementing Finite Model Reasoning in Description Logics.

[BibT_eX]

[DOI]

Marco Cadoli

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

On Ability to Autonomously Execute Agent Programs with Sensing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Scaling Up Reasoning about Actions Using Relational Database Technology.

[BibT_eX]

[DOI]

Toni Mancini

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Reasoning on regular path queries.

[BibT_eX]

[DOI]

SIGMOD Rec., 2003

A Foundational Vision of e-Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2003

Query Containment Using Views.

[BibT_eX]

Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

View-based query containment.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

Automatic Composition of E-services That Export Their Behavior.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2003

Expressive Description Logics.

[BibT_eX]

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

e-Service Composition by Description Logics Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Reasoning on UML Class Diagrams is EXPTIME-hard.

[BibT_eX]

[DOI]

Daniela Berardi

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Semantic Data Integration in P2P Systems.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2003

IBIS: Semantic Data Integration at Work.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

2002

Rewriting of Regular Expressions and Regular Path Queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

On the Role of Integrity Constraints in Data Integration.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2002

IBIS: Data Integration at Work.

[BibT_eX]

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Lossless Regular Views.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Description Logics: Foundations for Class-based Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Reasoning about Actions and Planning in LTL Action Theories.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

A Formal Framework for Reasoning on UML Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

On the Expressive Power of Data Integration Systems.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2002

2ATAs make DLs easy.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Description Logics for Information Integration.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Incremental execution of guarded theories.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2001

Data Integration in Data Warehousing.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2001

A Framework for Ontology Integration.

[BibT_eX]

Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

Identification Constraints and Functional Dependencies in Description Logics.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Accessing Data Integration Systems through Conceptual Schemas.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2001

Ontology of Integration and Integration of Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

View-Based Query Answering and Query Containment over Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

Reasoning in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL.

[BibT_eX]

[DOI]

Fabio Massacci

Inf. Comput., 2000

ConGolog, a concurrent programming language based on the situation calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2000

View-Based Query Processing for Regular Path Queries with Inverse.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

View-Based Query Processing and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

What is View-Based Query Rewriting?

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Containment of Conjunctive Regular Path Queries with Inverse.

[BibT_eX]

Proceedings of the KR 2000, 2000

Answering Regular Path Queries Using Views.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Keys for Free in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

What is Query Rewriting?

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents IV, 2000

Answering Queries Using Views over Description Logics Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support.

[BibT_eX]

Netw. Inf. Syst. J., 1999

Modeling and Querying Semi-Structured data .

[BibT_eX]

Netw. Inf. Syst. J., 1999

A Theory and Implementation of Cognitive Mobile Robots.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Report on the 1998 International Workshop on Description Logics (DL'98).

[BibT_eX]

[DOI]

Enrico Franconi

Ian Horrocks

Deborah L. McGuinness

Werner Nutt

Peter F. Patel-Schneider

Christopher A. Welty

J. Log. Comput., 1999

Representing and Reasoning on XML Documents: A Description Logic Approach.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Minimal Knowledge Approach to Reasoning about Actions and Sensing.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1999

The AAAI Fall Symposia.

[BibT_eX]

[DOI]

AI Mag., 1999

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.

[BibT_eX]

[DOI]

Xiao Jun Chen

Artif. Intell., 1999

Query Answering Using Views for Data Integration over the Web.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Rewriting of Regular Path Queries.

[BibT_eX]

Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Answering Queries Using Views in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999

Projection Using Regression and Sensors.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Automata-Theoretic Approach to Planning for Temporally Extended Goals.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

A Principled Approach to Data Integration and Reconciliation in Data Warehousing.

[BibT_eX]

[DOI]

Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

Queries and Constraints on Semi-structured Data.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1999

1998

Extending Semi-Structured Data.

[BibT_eX]

Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

On the Decidability of Query Containment under Constraints.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Execution Monitoring of High-Level Robot Programs.

[BibT_eX]

Raymond Reiter

Mikhail Soutchanski

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Description Logic Framework for Information Integration.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Semi-structured Data with Constraints and Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Source Integration in Data Warehousing.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Information Integration: Conceptual Modeling and Reasoning Support.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

What can Knowledge Representation do for Semi-Structured Data?

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

A Uniform Framework for Concept Definitions in Description Logics.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1997

Representing and Reasoning on SGML Documents.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Planning with Sensing for a Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Description Logic-baqsed Framrwork for Planning with Sensing Actions.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

Conjunctive Query Containment in Description Logics with n-ary Relations.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

Eliminating "Converse" from Converse PDL.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1996

Intensional Query Answering by Partial Evaluation.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 1996

Conceptual Data Model with Structured Objects for Statistical Database.

[BibT_eX]

[DOI]

Paolo Naggar

Proceedings of the Eighth International Conference on Scientific and Statistical Database Management, 1996

TBox and ABox Reasoning in Expressive Description Logics.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Moving a Robot: The KR&R Approach at Work.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Exptime Tableaux for ALC.

[BibT_eX]

Francesco M. Donini

Fabio Massacci

Proceedings of the 1996 International Workshop on Description Logics, 1996

Representing SGML Documents in Description Logics.

[BibT_eX]

Proceedings of the 1996 International Workshop on Description Logics, 1996

Tableaux and Algorithms for Propositional Dynamic Logic with Converse.

[BibT_eX]

[DOI]

Fabio Massacci

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Increasing the Power of Structured Objects.

[BibT_eX]

[DOI]

Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Structured Objects: Modeling and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 1995

PDL-based framework for reasoning about actions.

[BibT_eX]

[DOI]

Proceedings of the Topics in Artificial Intelligence, 1995

1994

Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1992

Intensional Query Answering: An Application of Partial Evaluation.

[BibT_eX]

[DOI]