 | 2009 |
|---|
| 116 |       | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Conceptual Modeling for Data Integration.
Conceptual Modeling: Foundations and Applications 2009: 173-197 |
| 115 | | Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
On Higher-Order Description Logics.
Description Logics 2009 |
| 114 | | Riccardo Rosati:
Effective Ontology-Based Data Integration.
OTM Workshops 2009: 18 |
| 113 | | 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: 255-356 |
| 112 | | Luca Iocchi,
Thomas Lukasiewicz,
Daniele Nardi,
Riccardo Rosati:
Reasoning about actions with sensing under qualitative and probabilistic uncertainty.
ACM Trans. Comput. Log. 10(1): (2009) |
| 2008 |
|---|
| 111 | | Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Towards Higher-Order DL-Lite.
Description Logics 2008 |
| 110 | | Riccardo Rosati:
Finite Model Reasoning in DL-Lite.
ESWC 2008: 215-229 |
| 109 |  | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Path-Based Identification Constraints in Description Logics.
KR 2008: 231-241 |
| 108 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies.
KR 2008: 242-251 |
| 107 | | Riccardo Rosati:
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules.
RR 2008: 13-27 |
| 106 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati,
Marco Ruzzi:
Data Integration throughDL-LiteA Ontologies.
SDKB 2008: 26-47 |
| 105 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Inconsistency tolerance in P2P data integration: An epistemic logic approach.
Inf. Syst. 33(4-5): 360-384 (2008) |
| 104 | | Antonella Poggi,
Domenico Lembo,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Linking Data to Ontologies.
J. Data Semantics 10: 133-173 (2008) |
| 2007 |
|---|
| 103 | | Giuseppe De Giacomo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics.
AAAI 2007: 403-408 |
| 102 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Actions and Programs over Description Logic Ontologies.
Description Logics 2007 |
| 101 | | 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 |
| 100 | | Riccardo Rosati:
On Conjunctive Query Answering in EL.
Description Logics 2007 |
| 99 | | Riccardo Rosati:
The Limits of Querying Ontologies.
ICDT 2007: 164-178 |
| 98 | | Luigi Dragone,
Riccardo Rosati:
Checking e-service consistency using Description Logics.
IEEE SCC 2007: 162-169 |
| 97 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics.
IJCAI 2007: 274-279 |
| 96 | | Boris Motik,
Riccardo Rosati:
A Faithful Integration of Description Logics with Logic Programming.
IJCAI 2007: 477-482 |
| 95 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Can OWL Model Football Leagues?
OWLED 2007 |
| 94 | | Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
On reconciling data exchange, data integration, and peer data management.
PODS 2007: 133-142 |
| 93 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
Ontology-based Database Access.
SEBD 2007: 324-331 |
| 92 | | 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 39(3): 385-429 (2007) |
| 2006 |
|---|
| 91 | | Giuseppe De Giacomo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
On the Update of Description Logic Ontologies at the Instance Level.
AAAI 2006 |
| 90 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases.
Description Logics 2006 |
| 89 | | Domenico Lembo,
Riccardo Rosati,
Marco Ruzzi:
On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases.
EDBT Workshops 2006: 358-374 |
| 88 | | Boris Motik,
Ian Horrocks,
Riccardo Rosati,
Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After?
International Semantic Web Conference 2006: 501-514 |
| 87 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
KR 2006: 260-270 |
| 86 | | Riccardo Rosati:
DL+log: Tight Integration of Description Logics and Disjunctive Datalog.
KR 2006: 68-78 |
| 85 | | 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 |
| 84 | | 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 |
| 83 | | Riccardo Rosati:
On the decidability and finite controllability of query processing in databases with incomplete information.
PODS 2006: 356-365 |
| 82 | | Riccardo Rosati:
Integrating Ontologies and Rules: Semantic and Computational Issues.
Reasoning Web 2006: 128-151 |
| 81 | | Riccardo Rosati:
The limits and possibilities of combining Description Logics and Datalog.
RuleML 2006: 3-4 |
| 80 | | Riccardo Rosati:
Multi-modal nonmonotonic logics of minimal knowledge.
Ann. Math. Artif. Intell. 48(3-4): 169-185 (2006) |
| 79 | | Diego Calvanese,
Luigi Dragone,
Daniele Nardi,
Riccardo Rosati,
Stefano Trisolini:
Enterprise modeling and Data Warehousing in Telecom Italia.
Inf. Syst. 31(1): 1-32 (2006) |
| 2005 |
|---|
| 78 | | Andrea Acciarri,
Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Mattia Palmieri,
Riccardo Rosati:
QuOnto: Querying Ontologies.
AAAI 2005: 1670-1671 |
| 77 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies.
AAAI 2005: 602-607 |
| 76 | | Luca Grieco,
Domenico Lembo,
Riccardo Rosati,
Marco Ruzzi:
Consistent query answering under key and exclusion dependencies: algorithms and experiments.
CIKM 2005: 792-799 |
| 75 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.
DBPL 2005: 90-105 |
| 74 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
Description Logics 2005 |
| 73 | | Riccardo Rosati,
Georg Gottlob:
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic.
IJCAI 2005: 1378-1383 |
| 72 | | 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: 379-383 |
| 71 | | Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Tailoring OWL for Data Intensive Ontologies.
OWLED 2005 |
| 70 | | Riccardo Rosati:
Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules.
PPSWR 2005: 50-64 |
| 69 | | Luca Grieco,
Domenico Lembo,
Riccardo Rosati,
Marco Ruzzi:
Experimenting efficient query answering over inconsistent databases (extended abstract).
SEBD 2005: 300-307 |
| 68 | | 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: 915-917 |
| 67 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies.
SWAP 2005 |
| 66 | | Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Generation of Strong Cyclic Plans with Incomplete Information and Sensing.
Intelligenza Artificiale 2(4): 58-65 (2005) |
| 65 | | Andrea Calì,
Domenico Lembo,
Riccardo Rosati:
A comprehensive semantic framework for data integration systems.
J. Applied Logic 3(1): 308-328 (2005) |
| 64 | | Riccardo Rosati:
On the decidability and complexity of integrating ontologies and rules.
J. Web Sem. 3(1): 61-73 (2005) |
| 2004 |
|---|
| 63 | | Andrea Calì,
Domenico Lembo,
Riccardo Rosati,
Marco Ruzzi:
Experimenting Data Integration with DIS@DIS.
CAiSE 2004: 51-66 |
| 62 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati,
Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls.
Description Logics 2004 |
| 61 | | Luca Iocchi,
Thomas Lukasiewicz,
Daniele Nardi,
Riccardo Rosati:
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty.
ECAI 2004: 818-822 |
| 60 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati,
Guido Vetere:
Hyper: A Framework for Peer-to-Peer Data Integration on Grids.
ICSNW 2004: 144-157 |
| 59 | | Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Tackling Inconsistencies in Data Integration through Source Preferences.
IQIS 2004: 27-34 |
| 58 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation.
KR 2004: 469-478 |
| 57 | | Luca Iocchi,
Thomas Lukasiewicz,
Daniele Nardi,
Riccardo Rosati:
Qualitative and probabilistic uncertainty in reasoning about actions with sensing.
NMR 2004: 240-248 |
| 56 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration.
PODS 2004: 241-251 |
| 55 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Query Reformulation over Ontology-based Peers.
SEBD 2004: 418-425 |
| 2003 |
|---|
| 54 | | Diego Calvanese,
Elio Damaggio,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Semantic Data Integration in P2P Systems.
DBISP2P 2003: 77-90 |
| 53 | | Alexander Borgida,
Maurizio Lenzerini,
Riccardo Rosati:
Description Logics for Databases.
Description Logic Handbook 2003: 462-484 |
| 52 | | Andrea Calì,
Domenico Lembo,
Riccardo Rosati:
Query rewriting and answering under constraints in data integration systems.
IJCAI 2003: 16-21 |
| 51 | | Diego Calvanese,
Riccardo Rosati:
Anwering Recursive Queries under Keys and Foreign Keys is Undecidable.
KRDB 2003 |
| 50 | | Andrea Calì,
Domenico Lembo,
Riccardo Rosati:
On the decidability and complexity of query answering over inconsistent and incomplete databases.
PODS 2003: 260-271 |
| 49 | | Andrea Calì,
Domenico Lembo,
Riccardo Rosati:
Intensional query processing in data integration systems under integrity constraints.
SEBD 2003: 475-482 |
| 48 | | 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: 537-544 |
| 47 | | 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: 335-338 |
| 46 | | Andrea Calì,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Source Integration for Data Warehousing.
Multidimensional Databases 2003: 361-392 |
| 45 | | Riccardo Rosati:
Minimal Belief and Negation as Failure in Multi-Agent Systems.
Ann. Math. Artif. Intell. 37(1-2): 5-32 (2003) |
| 2002 |
|---|
| 44 | | Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Source inconsistency and incompleteness in data integration.
Description Logics 2002 |
| 43 | | Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Source inconsistency and incompleteness in data integration.
KRDB 2002 |
| 42 | | Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Integrating Inconsistent and Incomplete Data Sources.
SEBD 2002: 299-306 |
| 41 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Description logics of minimal knowledge and negation as failure.
ACM Trans. Comput. Log. 3(2): 177-225 (2002) |
| 2001 |
|---|
| 40 | | Claudio Castelpietra,
A. Guidotti,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Design and Implementation of Cognitive Soccer Robots.
RoboCup 2001: 312-318 |
| 39 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Data Integration in Data Warehousing.
Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001) |
| 38 | | Riccardo Rosati:
A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most.
Studia Logica 69(1): 171-191 (2001) |
| 2000 |
|---|
| 37 | | Riccardo Rosati:
Minimal Belief and Negation as Failure in Multi-Agent System.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 7-16 |
| 36 | | Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Planning with sensing, concurrency, and exogenous events: logical framework and implementation.
KR 2000: 678-689 |
| 35 | | Riccardo Rosati:
Tableau Calculus for Only Knowing and Knowing at Most.
TABLEAUX 2000: 383-397 |
| 34 | | Riccardo Rosati:
On the decidability and complexity of reasoning about only knowing.
Artif. Intell. 116(1-2): 193-215 (2000) |
| 1999 |
|---|
| 33 | | Daniele Nardi,
Riccardo Rosati:
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.
AI*IA 1999: 1-12 |
| 32 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
A Principled Approach to Data Integration and Reconciliation in Data Warehousing.
DMDW 1999: 16 |
| 31 | | Riccardo Rosati:
Towards expressive KR systems integrating datalog and description logics: preliminary report.
Description Logics 1999 |
| 30 | | Riccardo Rosati:
Model Checking for Nonmonotonic Logics: Algorithms and Complexity.
IJCAI 1999: 76-83 |
| 29 | | Riccardo Rosati:
Towards First-Order Nonmonotonic Reasoning.
LPNMR 1999: 332-346 |
| 28 | | Giuseppe De Giacomo,
Riccardo Rosati:
Minimal Knowledge Approach to Reasoning about Actions and Sensing.
Electron. Trans. Artif. Intell. 3(C): 1-18 (1999) |
| 27 | | Riccardo Rosati:
Reasoning about Minimal Belief and Negation as Failure.
J. Artif. Intell. Res. (JAIR) 11: 277-300 (1999) |
| 26 | | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
A Theory and Implementation of Cognitive Mobile Robots.
J. Log. Comput. 9(5): 759-785 (1999) |
| 25 | | Riccardo Rosati:
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.
Journal of Logic, Language and Information 8(2): 187-203 (1999) |
| 24 | | Diego Calvanese,
Giuseppe De Giacomo,
Riccardo Rosati:
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support.
Networking and Information Systems 2(4): 413-432 (1999) |
| 1998 |
|---|
| 23 | | Riccardo Rosati:
Reducing Query Answering to Satisfiability in Nonmonotonic Logics.
AAAI/IAAI 1998: 853-858 |
| 22 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support.
CoopIS 1998: 280-291 |
| 21 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Source Integration in Data Warehousing.
DEXA Workshop 1998: 192-197 |
| 20 | | Diego Calvanese,
Giuseppe De Giacomo,
Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases.
Description Logics 1998 |
| 19 | | Riccardo Rosati:
Embedding Minimal Knowledge into Negation as Failure.
ECAI 1998: 28-32 |
| 18 | | Riccardo Rosati:
Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case.
ECAI 1998: 47-48 |
| 17 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Description Logic Framework for Information Integration.
KR 1998: 2-13 |
| 16 | | Riccardo Rosati:
Autoepistemic Description Logics.
AI Commun. 11(3-4): 219-221 (1998) |
| 1997 |
|---|
| 15 | | Riccardo Rosati:
Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity.
AAAI/IAAI 1997: 430-435 |
| 14 | | Riccardo Rosati:
Embedding Minimal Knowledge into Autoepistemic Logic.
AI*IA 1997: 231-241 |
| 13 | | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Description Logic-baqsed Framrwork for Planning with Sensing Actions.
Description Logics 1997 |
| 12 | | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Planning with Sensing for a Mobile Robot.
ECP 1997: 156-168 |
| 11 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Autoepistemic Description Logics.
IJCAI (1) 1997: 136-141 |
| 10 | | Riccardo Rosati:
Complexity of Only Knowing: The Propositional Case.
LPNMR 1997: 76-91 |
| 9 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Ground Nonmonotonic Modal Logics.
J. Log. Comput. 7(4): 523-548 (1997) |
| 1996 |
|---|
| 8 | | Riccardo Rosati:
On the Complexity of Reasoning with Negation as Failure.
DDLP 1996: 107-118 |
| 7 | | Riccardo Rosati:
On the Semantics of Epistemic Description Logics.
Description Logics 1996: 185-188 |
| 6 | | Francesco M. Donini,
Fabio Massacci,
Daniele Nardi,
Riccardo Rosati:
A Uniform Tableaux Method for Nonmonotonic Modal Logics.
JELIA 1996: 87-103 |
| 5 | | Giuseppe De Giacomo,
Luca Iocchi,
Daniele Nardi,
Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work.
KR 1996: 198-209 |
| 1995 |
|---|
| 4 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Non-first-order features in concept languages.
AI*IA 1995: 91-102 |
| 3 | | Daniele Nardi,
Riccardo Rosati:
A Preference Semantics for Ground Nonmonotonic Modal Logics.
EPIA 1995: 223-235 |
| 2 | | Francesco M. Donini,
Daniele Nardi,
Riccardo Rosati:
Ground Nonmonotonic Modal Logics for Knowledge Representation.
WOCFAI 1995: 133-144 |
| 1992 |
|---|
| 1 | | Daniele Nardi,
Riccardo Rosati:
Deductive Synthesis of Programs for Query Answering.
LOPSTR 1992: 15-29 |
