The following pages link to Giuseppe De Giacomo (Q286404):
Displaying 50 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- Automatic behavior composition synthesis (Q360044) (← links)
- Data complexity of query answering in description logics (Q360130) (← links)
- On simplification of schema mappings (Q389226) (← links)
- View-based query answering in description logics: semantics and complexity (Q414845) (← links)
- Decidable containment of recursive queries (Q555766) (← links)
- On the semantics of deliberation in IndiGolog -- from theory to implementation (Q596477) (← links)
- Rewriting of regular expressions and regular path queries (Q696951) (← links)
- View-based query processing: on the relationship between rewriting, answering and losslessness (Q870266) (← links)
- Agent planning programs (Q899440) (← links)
- (Q1583231) (redirect page) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Combining deduction and model checking into tableaux and algorithms for converse-PDL. (Q1854371) (← links)
- Eliminating ``converse'' from converse PDL (Q1923830) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- The what-to-ask problem for ontology-based peers (Q2185466) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- Two approaches to efficient open-world reasoning (Q2734931) (← links)
- Reasoning in expressive description logics (Q2751375) (← links)
- (Q3045452) (← links)
- (Q3046903) (← links)
- On Instance-level Update and Erasure in Description Logic Ontologies (Q3184232) (← links)
- (Q3457205) (← links)
- AUTOMATIC SERVICE COMPOSITION VIA SIMULATION (Q3526983) (← links)
- Conceptual Modeling for Data Integration (Q3637334) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
- Representing and reasoning on XML documents: a description logic approach (Q4260084) (← links)
- (Q4386962) (← links)
- (Q4414545) (← links)
- (Q4473479) (← links)
- (Q4537448) (← links)
- (Q4576186) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- (Q4707758) (← links)
- Description Logic Knowledge and Action Bases (Q4917617) (← links)
- (Q4934644) (← links)
- A theory and implementation of cognitive mobile robots (Q4934814) (← links)
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (Q4989324) (← links)
- Conjunctive query containment and answering under description logic constraints (Q5277811) (← links)
- (Q5282994) (← links)
- Database Theory - ICDT 2005 (Q5316604) (← links)
- Linking Data to Ontologies (Q5445729) (← links)
- Database Programming Languages (Q5493334) (← links)
- Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies (Q5504577) (← links)
- (Q5714249) (← links)
- Incremental execution of guarded theories (Q5738916) (← links)
