| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
View-based query answering in Description Logics: Semantics and complexity.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Prexto: Query Rewriting under Extensional Constraints in DL - Lite. |
ESWC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Reasoning about Minimal Belief and Negation as Failure |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
On the finite controllability of conjunctive query answering in databases under open-world assumption. |
J. Comput. Syst. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
The MASTRO system for ontology-based data access. |
Semantic Web |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (eds.) |
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giulia Masotti, Riccardo Rosati, Marco Ruzzi |
Practical ABox Cleaning in DL-Lite (progress report). |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Mapping Data to Higher-Order Description Logic Knowledge Bases. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
Query Rewriting for Inconsistent DL-Lite Ontologies. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Higher-Order Description Logics for Domain Metamodeling. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Riccardo Rosati |
Reconciling description logics and rules. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati |
Conjunctive Artifact-Centric Services. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
Inconsistency-Tolerant Semantics for Description Logics. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati, Alessandro Almatelli |
Improving Query Answering over DL-Lite Ontologies. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
On Instance-level Update and Erasure in Description Logic Ontologies. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati |
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi |
Using OWL in Data Integration. |
Semantic Web Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Effective Ontology-Based Data Integration. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
On Higher-Order Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Conceptual Modeling for Data Integration. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati |
Ontologies and Databases: The DL-Lite Approach. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Linking Data to Ontologies. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Inconsistency tolerance in P2P data integration: An epistemic logic approach. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi |
Data Integration throughDL-LiteA Ontologies. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Finite Model Reasoning in DL-Lite. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Towards Higher-Order DL-Lite. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Path-Based Identification Constraints in Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
View-Based Query Answering over Description Logic Ontologies. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
DL-Lite, Description logics, Query answering, Ontology languages |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
EQL-Lite: Effective First-Order Query Processing in Description Logics. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Riccardo Rosati |
A Faithful Integration of Description Logics with Logic Programming. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
On Conjunctive Query Answering in EL. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Actions and Programs over Description Logic Ontologies. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati |
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
Ontology-based Database Access. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luigi Dragone, Riccardo Rosati |
Checking e-service consistency using Description Logics. |
IEEE SCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Can OWL Model Football Leagues? |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
The Limits of Querying Ontologies. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
On reconciling data exchange, data integration, and peer data management. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
data integration, data exchange, peer data management |
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
On the Approximation of Instance Level Update and Erasure in Description Logics. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini |
Enterprise modeling and Data Warehousing in Telecom Italia. |
Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Multi-modal nonmonotonic logics of minimal knowledge. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T30 |
| 1 | Domenico Lembo, Riccardo Rosati, Marco Ruzzi |
On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. |
EDBT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Epistemic First-order Queries over Description Logic Knowledge Bases. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
Multimodal Nonmonotonic Logics of Minimal Knowledge. |
ISAIM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris |
Reasoning Support for Ontology Design. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
Linking Data to Ontologies: The Description Logic DL-Lite_A. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
The limits and possibilities of combining Description Logics and Datalog. |
RuleML |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
DL+log: Tight Integration of Description Logics and Disjunctive Datalog. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Data Complexity of Query Answering in Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler |
Can OWL and Logic Programming Live Together Happily Ever After? |
International Semantic Web Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Integrating Ontologies and Rules: Semantic and Computational Issues. |
Reasoning Web |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
On the decidability and finite controllability of query processing in databases with incomplete information. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
On the Update of Description Logic Ontologies at the Instance Level. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
On the decidability and complexity of integrating ontologies and rules. |
J. Web Sem. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Domenico Lembo, Riccardo Rosati |
A comprehensive semantic framework for data integration systems. |
J. Applied Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Iocchi, Daniele Nardi, Riccardo Rosati |
Generation of Strong Cyclic Plans with Incomplete Information and Sensing. |
Intelligenza Artificiale |
2005 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati, Georg Gottlob |
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Data Complexity of Query Answering in Description Logics. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi |
Experimenting efficient query answering over inconsistent databases (extended abstract). |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. |
PPSWR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis |
The INFOMIX system for advanced integration of incomplete and inconsistent data. |
SIGMOD Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Tailoring OWL for Data Intensive Ontologies. |
OWLED |
2005 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
Data Integration: a Challenging ASP Application. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Efficiently Managing Data Intensive Ontologies. |
SWAP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati |
QuOnto: Querying Ontologies. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
DL-Lite: Tractable Description Logics for Ontologies. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi |
Consistent query answering under key and exclusion dependencies: algorithms and experiments. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
computational complexity, inconsistency, query rewriting |
| 1 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati |
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi |
Experimenting Data Integration with DIS@DIS. |
CAiSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere |
DL-Lite: Practical Reasoning for Rich Dls. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Query Reformulation over Ontology-based Peers. |
SEBD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere |
Hyper: A Framework for Peer-to-Peer Data Integration on Grids. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Tackling Inconsistencies in Data Integration through Source Preferences. |
IQIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
What to Ask to a Peer: Ontolgoy-based Query Reformulation. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati |
Qualitative and probabilistic uncertainty in reasoning about actions with sensing. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Logical Foundations of Peer-To-Peer Data Integration. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Minimal Belief and Negation as Failure in Multi-Agent Systems. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Source Integration for Data Warehousing. |
Multidimensional Databases |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Domenico Lembo, Riccardo Rosati |
Query rewriting and answering under constraints in data integration systems. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Semantic Data Integration in P2P Systems. |
DBISP2P |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati |
Description Logics for Databases. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Domenico Lembo, Riccardo Rosati |
Intensional query processing in data integration systems under integrity constraints. |
SEBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi |
DIS@DIS: un Sistema per l'Integrazione Semantica dei Dati in Presenza di Vincoli di Integrità. |
SEBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Riccardo Rosati |
Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. |
KRDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi |
DIS@DIS: A System for Semantic Data Integration under Integrity Constraints. |
WISE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Domenico Lembo, Riccardo Rosati |
On the decidability and complexity of query answering over inconsistent and incomplete databases. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati |
Description logics of minimal knowledge and negation as failure. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics |
| 1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Source inconsistency and incompleteness in data integration. |
Description Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Integrating Inconsistent and Incomplete Data Sources. |
SEBD |
2002 |
DBLP BibTeX RDF |
|
| 1 | Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Source inconsistency and incompleteness in data integration. |
KRDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati |
Data Integration in Data Warehousing. |
Int. J. Cooperative Inf. Syst. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Rosati |
A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati |
Design and Implementation of Cognitive Soccer Robots. |
RoboCup |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
On the decidability and complexity of reasoning about only knowing. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Rosati |
Tableau Calculus for Only Knowing and Knowing at Most. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Iocchi, Daniele Nardi, Riccardo Rosati |
Planning with sensing, concurrency, and exogenous events: logical framework and implementation. |
KR |
2000 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")