11573/1707379 - 2023 -
Reconstructing a single-head formula to facilitate logical forgetting Liberatore, P. - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 1596-1624 - issn: 0955-792X - wos: WOS:000898384100001 (0) - scopus: 2-s2.0-85176812119 (0)
11573/1683514 - 2023 -
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity Liberatore, Paolo - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-49 - issn: 1529-3785 - wos: WOS:001020345500009 (0) - scopus: 2-s2.0-85162177805 (0)
11573/1658302 - 2022 -
Belief merging in absence of reliability information Liberatore, P - 01a Articolo in rivista
rivista: SYNTHESE (-DORDRECHT, NETHERLANDS: SPRINGER
-Dordrecht Netherlands: Kluwer Academic Publishers:Journals Department) pp. - - issn: 0039-7857 - wos: WOS:000820992100001 (0) - scopus: 2-s2.0-85133488128 (0)
11573/1184292 - 2018 -
Belief Integration and Source Reliability Assessment Liberatore, Paolo - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 87-143 - issn: 1076-9757 - wos: WOS:000455091500003 (2) - scopus: 2-s2.0-85054788140 (2)
11573/912746 - 2016 -
The size of BDDs and other data structures in temporal logics model checking Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON COMPUTERS (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 3148-3156 - issn: 0018-9340 - wos: WOS:000384131200016 (0) - scopus: 2-s2.0-84987602332 (0)
Liberatore, Paolo - 01g Articolo di rassegna (Review)
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 287-329 - issn: 1076-9757 - wos: WOS:000350466500006 (8) - scopus: 2-s2.0-84923687670 (10)
Liberatore, Paolo - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-38 - issn: 1529-3785 - wos: WOS:000373902700002 (3) - scopus: 2-s2.0-84954310978 (3)
11573/786073 - 2015 -
On the complexity of second-best abductive explanations Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING (Elsevier Science Incorporated / NY Journals:Madison Square Station, PO Box 882:New York, NY 10159:(212)633-3730, EMAIL: usinfo-f@elsevier.com, INTERNET: http://www.elsevier.com, Fax: (212)633-3680) pp. 22-31 - issn: 0888-613X - wos: WOS:000358626500002 (1) - scopus: 2-s2.0-84944810017 (1)
11573/767772 - 2014 -
Bijective faithful translations among default logics Liberatore, Paolo - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 763-807 - issn: 0955-792X - wos: WOS:000339921000003 (0) - scopus: 2-s2.0-84905195337 (0)
Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. 31-35 - issn: 1724-8035 - wos: (0) - scopus: (0)
11573/444433 - 2012 -
On the Complexity of Finding Second-Best Abductive Explanations Liberatore, Paolo; Schaerf, Marco - 13a Altro ministeriale
11573/524876 - 2011 -
Space Efficiency of Propositional Knowledge Representation Formalisms Marco, Cadoli; Francesco M., Donini; Liberatore, Paolo; Schaerf, Marco - 13a Altro ministeriale
11573/124767 - 2008 -
Redundancy in logic II: 2CNF and Horn propositional formulae Liberatore, Paolo - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 265-299 - issn: 0004-3702 - wos: WOS:000252652000007 (14) - scopus: 2-s2.0-37149003684 (19)
11573/125704 - 2008 -
Redundancy in logic III: Non-monotonic reasoning Liberatore, Paolo - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 1317-1359 - issn: 0004-3702 - wos: WOS:000257043100001 (7) - scopus: 2-s2.0-43949110979 (7)
Andrea, Ferrara; Liberatore, Paolo; Schaerf, Marco - 04b Atto di convegno in volume
congresso: 10th Congress of the Italian Association for Artificial Intelligence (Rome; Italy)
libro: Lecture Notes in Computer Science: Artificial Intelligence and Human-Oriented Computing - (9783540747819)
Liberatore, Paolo - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. --- - issn: 1529-3785 - wos: WOS:000246013800003 (0) - scopus: 2-s2.0-34247264467 (2)
Liberatore, Paolo - 01a Articolo in rivista
rivista: STUDIA LOGICA (London ; Dordrecht ; Boston ; Warszawa : Pa'nstwowe Wydawnictwo Naukowe : Kluwer Academic Publishers) pp. 89-110 - issn: 0039-3215 - wos: (0) - scopus: 2-s2.0-34547170036 (0)
11573/236024 - 2007 -
Compilability of Propositional Abduction Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 65-83 - issn: 1529-3785 - wos: WOS:000244402200002 (1) - scopus: 2-s2.0-33846602159 (7)
Cadoli, Marco; Francesco, Donini; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON COMPUTERS (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 913-917 - issn: 0018-9340 - wos: WOS:000237631000011 (2) - scopus: 2-s2.0-33744810648 (1)
11573/125447 - 2006 -
Complexity results on DPLL and resolution Liberatore, Paolo - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 84-107 - issn: 1529-3785 - wos: WOS:000243993400003 (2) - scopus: 2-s2.0-33745232509 (3)
11573/125701 - 2006 -
On the complexity of extension checking in default logic Liberatore, Paolo - 01a Articolo in rivista
rivista: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science
-Amsterdam : North-Holland) pp. 61-65 - issn: 0020-0190 - wos: WOS:000235849700004 (1) - scopus: 2-s2.0-32644438526 (2)
Andrea, Ferrara; Liberatore, Paolo; Schaerf, Marco - 04b Atto di convegno in volume
congresso: 9th Congress of the Italian-Association-for-Artificial-Intelligence (Milan, ITALY)
libro: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artific - (9783540290414; 9783540317333)
11573/124764 - 2005 -
Complexity and compilability of diagnosis and recovery of graph-based systems Liberatore, Paolo - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS (New York: John Wiley & Sons [c1986-) pp. 1053-1076 - issn: 0884-8173 - wos: WOS:000232232700005 (0) - scopus: 2-s2.0-27844452384 (0)
11573/125448 - 2005 -
Redundancy in logic I: CNF propositional formulae Liberatore, Paolo - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 203-232 - issn: 0004-3702 - wos: WOS:000227857200003 (61) - scopus: 2-s2.0-14544283551 (81)
11573/125699 - 2005 -
On the complexity of case-based planning Liberatore, Paolo - 01a Articolo in rivista
rivista: JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE (Taylor & Francis Limited:Rankine Road, Basingstoke RG24 8PR United Kingdom:011 44 1256 813035, EMAIL: madeline.sims@tandf.co.uk, info@tandf.co.uk, INTERNET: http://www.tandf.co.uk, Fax: 011 44 1256 330245) pp. 283-295 - issn: 0952-813X - wos: WOS:000232938100006 (12) - scopus: 2-s2.0-27544435235 (14)
Liberatore, Paolo - 01a Articolo in rivista
rivista: LOGIC JOURNAL OF THE IGPL (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 335-351 - issn: 1367-0751 - wos: WOS:000242800400007 (1) - scopus: 2-s2.0-33750127152 (3)
Liberatore, Paolo - 01a Articolo in rivista
rivista: JOURNAL OF APPLIED NON-CLASSICAL LOGICS (Editions Hermes:8 Quai du Marche Neuf, F 75004 Paris France:011 33 1 53101524, EMAIL: hermes@iway.fr, INTERNET: http://www.editions-hermes.fr, Fax: 011 33 1 53101521) pp. 321-340 - issn: 1166-3081 - wos: (0) - scopus: 2-s2.0-84887110248 (0)
11573/232021 - 2005 -
The complexity of model checking for propositional default logics Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: DATA & KNOWLEDGE ENGINEERING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 189-202 - issn: 0169-023X - wos: WOS:000236634900004 (3) - scopus: 2-s2.0-24644482379 (3)
11573/124761 - 2004 -
On polynomial sized MDP succinct policies Liberatore, Paolo - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 551-577 - issn: 1076-9757 - wos: WOS:000223767500007 (0) - scopus: 2-s2.0-27344434294 (2)
Liberatore, Paolo - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 747-765 - issn: 0955-792X - wos: WOS:000224482700007 (0) - scopus: 2-s2.0-7544240567 (1)
11573/233029 - 2004 -
The compactness of belief revision and update operators Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 377-393 - issn: 0169-2968 - wos: WOS:000225994200006 (4) - scopus: 2-s2.0-24044512988 (5)
11573/206821 - 2004 -
Expressive power and succinctness of propositional languages for preference representation Sylvie Coste, Marquis; Jerome, Lang; Liberatore, Paolo; Pierre, Marquis - 04a Atto di comunicazione a congresso
libro: NINTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR 2004) - (1577351991)
11573/124760 - 2003 -
Propositional independence: Formula-variable independence and forgetting J., Lang; Liberatore, Paolo; P., Marquis - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 391-443 - issn: 1076-9757 - wos: WOS:000183013600001 (131) - scopus: 2-s2.0-14544275947 (183)
Cadoli, Marco; Francesco M., Donini; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 89-120 - issn: 0890-5401 - wos: WOS:000177966200001 (32) - scopus: 2-s2.0-0036707242 (49)
Donini, F; Liberatore, Paolo; Massacci, F; Schaerf, Marco - 04a Atto di comunicazione a congresso
libro: Eighth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR02) - ()
11573/124758 - 2002 -
Conditional independence in propositional logic Jerome, Lang; Liberatore, Paolo; Pierre, Marquis - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 79-121 - issn: 0004-3702 - wos: WOS:000178468700004 (20) - scopus: 2-s2.0-0036784220 (27)
Liberatore, Paolo - 04b Atto di convegno in volume
congresso: 18th National Conference on Artificial Intelligence (AAAI-02), 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02) (Edmonton, Alberta; Canada)
libro: AAAI-2002 - ()
11573/124757 - 2002 -
Complexity of the unique extension problem in default logic Liberatore, Paolo; X. S., Zhao - 01a Articolo in rivista
rivista: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 79-104 - issn: 0169-2968 - wos: WOS:000180823300004 (1) - scopus: 2-s2.0-0036872802 (1)
11573/124755 - 2001 -
Monotonic reductions, representative equivalence, and compilation of intractable problems Liberatore, Paolo - 01a Articolo in rivista
rivista: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 1091-1125 - issn: 0004-5411 - wos: WOS:000174674100001 (15) - scopus: 2-s2.0-0000579854 (17)
11573/252117 - 2001 -
Belief revision and update: Complexity of model checking Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 43-72 - issn: 0022-0000 - wos: WOS:000167500800003 (19) - scopus: 2-s2.0-0035250904 (25)
11573/248590 - 2000 -
Space efficiency of propositional knowledge representation formalisms Cadoli, Marco; F. M., Donini; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1-31 - issn: 1076-9757 - wos: WOS:000088737400001 (22) - scopus: 2-s2.0-0346977661 (41)
11573/124752 - 2000 -
On the complexity of choosing the branching literal in DPLL Liberatore, Paolo - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 315-326 - issn: 0004-3702 - wos: WOS:000085125500012 (27) - scopus: 2-s2.0-0033895988 (36)
Liberatore, Paolo - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 141-190 - issn: 0004-3702 - wos: WOS:000087605400005 (19) - scopus: 2-s2.0-0033702140 (22)
11573/124754 - 2000 -
Compilability and compact representations of revision of Horn knowledge bases Liberatore, Paolo - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 131-161 - issn: 1529-3785 - wos: (0) - scopus: 2-s2.0-2442477058 (17)
Liberatore, Paolo - 04a Atto di comunicazione a congresso
libro: JELIA 2000 - ()
11573/249177 - 2000 -
BReLS: A system for the integration of knowledge bases Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
libro: Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000) - ()
Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
congresso: 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000) (AUSTIN, TX)
libro: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000) - (9780262511124)
Cadoli, Marco; Donini, F. M.; Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 25-64 - issn: 0004-3702 - wos: WOS:000084448600002 (22) - scopus: 2-s2.0-0033324326 (26)
11573/243254 - 1998 -
Arbitration (or how to merge knowledge bases) Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 76-90 - issn: 1041-4347 - wos: WOS:000073100600005 (111) - scopus: 2-s2.0-0031702261 (146)
11573/243792 - 1998 -
The complexity of model checking for propositional default logics Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
congresso: 13TH European Conference on Artificial Intelligence (ECAI 98) (BRIGHTON, ENGLAND)
libro: Thirteenth European Conference on Artificial Intelligence (ECAI'98) - (9780471984313)
Liberatore, P. - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 68-73 - issn: 1045-0823 - wos: WOS:000072707200011 (7) - scopus: 2-s2.0-84873438243 (12)
congresso: 15th International Joint Conference on Artificial Intelligence, IJCAI 1997 (Nagoya, Aichi; Japan)
11573/245228 - 1997 -
Reducing belief revision to circumscription (and vice versa) Liberatore, Paolo; Schaerf, Marco - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 261-296 - issn: 0004-3702 - wos: WOS:A1997XJ15800007 (18) - scopus: 2-s2.0-0031164254 (21)
11573/206824 - 1996 -
Feasibility and unfeasibility of off-line processing Cadoli, Marco; Donini, F.; Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
libro: Fourth Israeli Symposium on Theory of Computing and Systems (ISTCS'96) - ()
11573/206826 - 1996 -
The complexity of model checking for belief revision and update Liberatore, Paolo; Schaerf, Marco - 04a Atto di comunicazione a congresso
congresso: 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96) (PORTLAND, OR)
libro: Thirteenth National Conference on Artificial Intelligence (AAAI'96) - (9780262510912)
Cadoli, Marco; Donini Francesco, M.; Liberatore, Paolo; Schaerf, Marco - 04b Atto di convegno in volume
congresso: Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (San Jose, CA, USA,)
libro: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - ()