Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paolo Mancarella
@article{DBLP:journals/sLogica/KakasMT18,
author = {Antonis C. Kakas and
Paolo Mancarella and
Francesca Toni},
title = {On Argumentation Logic and Propositional Logic},
journal = {Stud Logica},
volume = {106},
number = {2},
pages = {237--279},
year = {2018},
url = {https://doi.org/10.1007/s11225-017-9736-x},
doi = {10.1007/S11225-017-9736-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/KakasMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaate/CiampiCDFGLMS15,
author = {Luca Ciampi and
Alfonso Curreri and
Massimiliano Donati and
Luca Fanucci and
Federica Gorrasi and
Stefano Landucci and
Paolo Mancarella and
Fiammetta Savoia},
editor = {Cecilia Sik{-}L{\'{a}}nyi and
Evert{-}Jan Hoogerwerf and
Klaus Miesenberger and
Peter Cudd},
title = {Bridging the gap between high school and University studies for student
with disability},
booktitle = {Assistive Technology - Building Bridges, Proceedings of the 13th European
Conference on the Advancement of Assistive Technology, {AAATE} Conf.
2015, Budapest, Hungary, 9-12 September, 2015},
series = {Studies in Health Technology and Informatics},
volume = {217},
pages = {957--962},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-566-1-957},
doi = {10.3233/978-1-61499-566-1-957},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaate/CiampiCDFGLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/KakasTM14,
author = {Antonis C. Kakas and
Francesca Toni and
Paolo Mancarella},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Argumentation for Propositional Logic and Nonmonotonic Reasoning},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {272--286},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/KakasTM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/KakasTM14,
author = {Antonis C. Kakas and
Francesca Toni and
Paolo Mancarella},
editor = {Simon Parsons and
Nir Oren and
Chris Reed and
Federico Cerutti},
title = {Argumentation Logic},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2014, Atholl
Palace Hotel, Scottish Highlands, UK, September 9-12, 2014},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {266},
pages = {345--356},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-436-7-345},
doi = {10.3233/978-1-61499-436-7-345},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/KakasTM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KakasMSST14,
author = {Antonis C. Kakas and
Paolo Mancarella and
Fariba Sadri and
Kostas Stathis and
Francesca Toni},
title = {Computational Logic Foundations of {KGP} Agents},
journal = {CoRR},
volume = {abs/1401.3443},
year = {2014},
url = {http://arxiv.org/abs/1401.3443},
eprinttype = {arXiv},
eprint = {1401.3443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KakasMSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KakasM13,
author = {Antonis C. Kakas and
Paolo Mancarella},
title = {On the semantics of abstract argumentation},
journal = {J. Log. Comput.},
volume = {23},
number = {5},
pages = {991--1015},
year = {2013},
url = {https://doi.org/10.1093/logcom/exs068},
doi = {10.1093/LOGCOM/EXS068},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KakasM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/isrl/MorgeMBMST13,
author = {Maxime Morge and
Jarred McGinnis and
Stefano Bromuri and
Paolo Mancarella and
Kostas Stathis and
Francesca Toni},
editor = {Maria Ganzha and
Lakhmi C. Jain},
title = {Argumentative Agents for Service-Oriented Computing},
booktitle = {Multiagent Systems and Applications - Volume 1: Practice and Experience},
series = {Intelligent Systems Reference Library},
volume = {45},
pages = {217--255},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-33323-1\_9},
doi = {10.1007/978-3-642-33323-1\_9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/isrl/MorgeMBMST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MancarellaT12,
author = {Paolo Mancarella and
Francesca Toni},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {Semi-negative Abductive Logic Programs with Implicative Integrity
Constraints: Semantics and Properties},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {33--51},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_4},
doi = {10.1007/978-3-642-29414-3\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MancarellaT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/MancarellaT11,
author = {Paolo Mancarella and
Francesca Toni},
title = {Computational logic in agent based systems},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {139--143},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0017},
doi = {10.3233/IA-2011-0017},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/MancarellaT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/DungTM10,
author = {Phan Minh Dung and
Francesca Toni and
Paolo Mancarella},
editor = {Pietro Baroni and
Federico Cerutti and
Massimiliano Giacomin and
Guillermo Ricardo Simari},
title = {Some design guidelines for practical argumentation systems},
booktitle = {Computational Models of Argument: Proceedings of {COMMA} 2010, Desenzano
del Garda, Italy, September 8-10, 2010},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {216},
pages = {183--194},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-619-5-183},
doi = {10.3233/978-1-60750-619-5-183},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/DungTM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MancarellaTSTE09,
author = {Paolo Mancarella and
Giacomo Terreni and
Fariba Sadri and
Francesca Toni and
Ulle Endriss},
title = {The {CIFF} proof procedure for abductive logic programming with constraints:
Theory, implementation and experiments},
journal = {Theory Pract. Log. Program.},
volume = {9},
number = {6},
pages = {691--750},
year = {2009},
url = {https://doi.org/10.1017/S1471068409990093},
doi = {10.1017/S1471068409990093},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/MancarellaTSTE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/argmas/MorgeM09,
author = {Maxime Morge and
Paolo Mancarella},
editor = {Peter McBurney and
Iyad Rahwan and
Simon Parsons and
Nicolas Maudet},
title = {Assumption-Based Argumentation for the Minimal Concession Strategy},
booktitle = {Argumentation in Multi-Agent Systems, 6th International Workshop,
ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6057},
pages = {114--133},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12805-9\_7},
doi = {10.1007/978-3-642-12805-9\_7},
timestamp = {Sat, 19 Oct 2019 20:24:15 +0200},
biburl = {https://dblp.org/rec/conf/argmas/MorgeM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-1182,
author = {Paolo Mancarella and
Giacomo Terreni and
Fariba Sadri and
Francesca Toni and
Ulrich Endriss},
title = {The {CIFF} Proof Procedure for Abductive Logic Programming with Constraints:
Theory, Implementation and Experiments},
journal = {CoRR},
volume = {abs/0906.1182},
year = {2009},
url = {http://arxiv.org/abs/0906.1182},
eprinttype = {arXiv},
eprint = {0906.1182},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-1182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KakasMSST08,
author = {Antonis C. Kakas and
Paolo Mancarella and
Fariba Sadri and
Kostas Stathis and
Francesca Toni},
title = {Computational Logic Foundations of {KGP} Agents},
journal = {J. Artif. Intell. Res.},
volume = {33},
pages = {285--348},
year = {2008},
url = {https://doi.org/10.1613/jair.2596},
doi = {10.1613/JAIR.2596},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KakasMSST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MorgeMMBS08,
author = {Maxime Morge and
Paolo Mancarella and
Jarred McGinnis and
Stefano Bromuri and
Kostas Stathis},
title = {An Argumentative Model for Service-Oriented Agents},
booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the
2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
California, USA, March 26-28, 2008},
pages = {37--42},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-007.php},
timestamp = {Fri, 17 Feb 2012 14:17:25 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/MorgeMMBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MancarellaT08,
author = {Paolo Mancarella and
Francesca Toni},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Computational Logic and Agent Based Systems},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MancarellaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eforensics/MaggentiBM08,
author = {Giada Maggenti and
Andrea Bracciali and
Paolo Mancarella},
editor = {Matthew Sorell and
Lang White},
title = {Abduction and legal reasoning},
booktitle = {1st International {ICST} Conference on Forensic Applications and Techniques
in Telecommunications, Information and Multimedia, {E-FORENSICS} 2008,
Adelaide, Australia, January 21-23, 2008},
pages = {33},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/e-forensics.2008.2640},
doi = {10.4108/E-FORENSICS.2008.2640},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eforensics/MaggentiBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MancarellaTT09,
author = {Paolo Mancarella and
Giacomo Terreni and
Francesca Toni},
editor = {Demis Ballis and
Santiago Escobar},
title = {Web Sites Repairing through Abduction},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {137--152},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.009},
doi = {10.1016/J.ENTCS.2009.03.009},
timestamp = {Thu, 09 Mar 2023 13:11:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MancarellaTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DungMT07,
author = {Phan Minh Dung and
Paolo Mancarella and
Francesca Toni},
title = {Computing ideal sceptical argumentation},
journal = {Artif. Intell.},
volume = {171},
number = {10-15},
pages = {642--674},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2007.05.003},
doi = {10.1016/J.ARTINT.2007.05.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DungMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MancarellaTT07,
author = {Paolo Mancarella and
Giacomo Terreni and
Francesca Toni},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Web Sites Verification: An Abductive Logic Programming Tool},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {434--435},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_33},
doi = {10.1007/978-3-540-74610-2\_33},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MancarellaTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/MorgeMBTMS07,
author = {Maxime Morge and
Jarred McGinnis and
Stefano Bromuri and
Francesca Toni and
Paolo Mancarella and
Kostas Stathis},
editor = {Val{\'{e}}rie Camps and
Philippe Mathieu},
title = {Vers une architecture modulaire d'agent argumentatif pour la composition
de services},
booktitle = {Les Mod{\`{e}}les de Comportements - {JFSMA} 07 - Quinzi{\`{e}}mes
Journ{\'{e}}es francophones sur les syst{\`{e}}mes multi-agents,
Carcassonne, France, October 17-19, 2007},
pages = {233--242},
publisher = {Cepadues Editions},
year = {2007},
timestamp = {Mon, 13 Feb 2012 15:12:36 +0100},
biburl = {https://dblp.org/rec/conf/jfsma/MorgeMBTMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MancarellaSTT07,
author = {Paolo Mancarella and
Fariba Sadri and
Giacomo Terreni and
Francesca Toni},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Programming Applications in {CIFF}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {284--289},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_27},
doi = {10.1007/978-3-540-72200-7\_27},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/MancarellaSTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/DungMT06,
author = {Phan Minh Dung and
Paolo Mancarella and
Francesca Toni},
editor = {Paul E. Dunne and
Trevor J. M. Bench{-}Capon},
title = {A dialectic procedure for sceptical, assumption-based argumentation},
booktitle = {Computational Models of Argument: Proceedings of {COMMA} 2006, September
11-12, 2006, Liverpool, {UK}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {144},
pages = {145--156},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1935},
timestamp = {Wed, 18 Feb 2009 08:34:01 +0100},
biburl = {https://dblp.org/rec/conf/comma/DungMT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdid/AtzoriMT05,
author = {Maurizio Atzori and
Paolo Mancarella and
Franco Turini},
editor = {Francesco Bonchi and
Jean{-}Fran{\c{c}}ois Boulicaut},
title = {Memory-Aware Frequent \emph{k}-Itemset Mining},
booktitle = {Knowledge Discovery in Inductive Databases, 4th International Workshop,
{KDID} 2005, Porto, Portugal, October 3, 2005, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3933},
pages = {38--54},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11733492\_3},
doi = {10.1007/11733492\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/kdid/AtzoriMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gis/MancarellaRRT04,
author = {Paolo Mancarella and
Alessandra Raffaet{\`{a}} and
Chiara Renso and
Franco Turini},
title = {Integrating knowledge representation and reasoning in Geographical
Information Systems},
journal = {Int. J. Geogr. Inf. Sci.},
volume = {18},
number = {4},
pages = {417--447},
year = {2004},
url = {https://doi.org/10.1080/13658810410001672908},
doi = {10.1080/13658810410001672908},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gis/MancarellaRRT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/KakasMSST04,
author = {Antonis C. Kakas and
Paolo Mancarella and
Fariba Sadri and
Kostas Stathis and
Francesca Toni},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {Declarative Agent Control},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {96--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_6},
doi = {10.1007/11533092\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/KakasMSST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/MancarellaSTT04,
author = {Paolo Mancarella and
Fariba Sadri and
Giacomo Terreni and
Francesca Toni},
editor = {Jo{\~{a}}o Alexandre Leite and
Paolo Torroni},
title = {Planning Partially for Situated Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 5th International Workshop,
{CLIMA} V, Lisbon, Portugal, September 29-30, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3487},
pages = {230--248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11533092\_14},
doi = {10.1007/11533092\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/MancarellaSTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/BraccialiMST04,
author = {Andrea Bracciali and
Paolo Mancarella and
Kostas Stathis and
Francesca Toni},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {On Modelling Multi-agent Systems Declaratively},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {53--68},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_4},
doi = {10.1007/11493402\_4},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/BraccialiMST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KakasMSST04,
author = {Antonis C. Kakas and
Paolo Mancarella and
Fariba Sadri and
Kostas Stathis and
Francesca Toni},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {The {KGP} Model of Agency},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {33--37},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KakasMSST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/BraccialiMST04,
author = {Andrea Bracciali and
Paolo Mancarella and
Kostas Stathis and
Francesca Toni},
editor = {Marie{-}Pierre Gleizes and
Andrea Omicini and
Franco Zambonelli},
title = {Engineering Stable Multi-agent Systems},
booktitle = {Engineering Societies in the Agents World V, 5th InternationalWorkshop,
{ESAW} 2004, Toulouse, France, October 20-22, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3451},
pages = {322--334},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423355\_23},
doi = {10.1007/11423355\_23},
timestamp = {Mon, 07 Oct 2019 16:15:28 +0200},
biburl = {https://dblp.org/rec/conf/esaw/BraccialiMST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/BraccialiDEKLMSSTT04,
author = {Andrea Bracciali and
Neophytos Demetriou and
Ulrich Endriss and
Antonis C. Kakas and
Wenjin Lu and
Paolo Mancarella and
Fariba Sadri and
Kostas Stathis and
Giacomo Terreni and
Francesca Toni},
editor = {Corrado Priami and
Paola Quaglia},
title = {The {KGP} Model of Agency for Global Computing: Computational Model
and Prototype Implementation},
booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
Italy, March 9-12, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {340--367},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31794-4\_18},
doi = {10.1007/978-3-540-31794-4\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/gc/BraccialiDEKLMSSTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EndrissMSTT04,
author = {Ulrich Endriss and
Paolo Mancarella and
Fariba Sadri and
Giacomo Terreni and
Francesca Toni},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {The {CIFF} Proof Procedure for Abductive Logic Programming with Constraints},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {31--43},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_6},
doi = {10.1007/978-3-540-30227-8\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EndrissMSTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EndrissMSTT04a,
author = {Ulrich Endriss and
Paolo Mancarella and
Fariba Sadri and
Giacomo Terreni and
Francesca Toni},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Abductive Logic Programming with {CIFF:} System Description},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {680--684},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_56},
doi = {10.1007/978-3-540-30227-8\_56},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EndrissMSTT04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MancarellaT03,
author = {Paolo Mancarella and
Giacomo Terreni},
editor = {Amedeo Cappelli and
Franco Turini},
title = {An Abductive Proof Procedure Handling Active Rules},
booktitle = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the
Italian Association for Artificial Intelligence, Pisa, Italy, September
23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2829},
pages = {105--117},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39853-0\_9},
doi = {10.1007/978-3-540-39853-0\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/MancarellaT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AtzoriMT03,
author = {Maurizio Atzori and
Paolo Mancarella and
Franco Turini},
editor = {Amedeo Cappelli and
Franco Turini},
title = {Abduction in Classification Tasks},
booktitle = {AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the
Italian Association for Artificial Intelligence, Pisa, Italy, September
23-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2829},
pages = {213--224},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39853-0\_18},
doi = {10.1007/978-3-540-39853-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/AtzoriMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/DungM02,
author = {Phan Minh Dung and
Paolo Mancarella},
title = {Production Systems with Negation as Failure},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {14},
number = {2},
pages = {336--352},
year = {2002},
url = {https://doi.org/10.1109/69.991720},
doi = {10.1109/69.991720},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/DungM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaldanMRT02,
author = {Paolo Baldan and
Paolo Mancarella and
Alessandra Raffaet{\`{a}} and
Franco Turini},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {MuTACLP: {A} Language for Temporal Reasoning with Multiple Theories},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {1--40},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_1},
doi = {10.1007/3-540-45632-5\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaldanMRT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MancarellaPR02,
author = {Paolo Mancarella and
Dino Pedreschi and
Salvatore Ruggieri},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Negation as Failure through Abduction: Reasoning about Termination},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {240--272},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_11},
doi = {10.1007/3-540-45628-7\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MancarellaPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DungMT02,
author = {Phan Minh Dung and
Paolo Mancarella and
Francesca Toni},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic
Reasoning},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {2408},
pages = {289--310},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45632-5\_12},
doi = {10.1007/3-540-45632-5\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DungMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/MancarellaNRT00,
author = {Paolo Mancarella and
Gianluca Nerbini and
Alessandra Raffaet{\`{a}} and
Franco Turini},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {MuTACLP: {A} Language for Declarative {GIS} Analysis},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1002--1016},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_67},
doi = {10.1007/3-540-44957-4\_67},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/MancarellaNRT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/MancarellaRT99,
author = {Paolo Mancarella and
Alessandra Raffaet{\`{a}} and
Franco Turini},
title = {Knowledge representation with multiple logical theories and time},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {11},
number = {1},
pages = {47--76},
year = {1999},
url = {https://doi.org/10.1080/095281399146616},
doi = {10.1080/095281399146616},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/MancarellaRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/MancarellaRT99,
author = {Paolo Mancarella and
Alessandra Raffaet{\`{a}} and
Franco Turini},
title = {Temporal Annotated Constraint Logic Programming with Multiple Theories},
booktitle = {10th International Workshop on Database {\&} Expert Systems Applications,
Florence, Italy, September 1-3, 1999, Proceedings},
pages = {501--508},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DEXA.1999.795234},
doi = {10.1109/DEXA.1999.795234},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/MancarellaRT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarbutiFMS98,
author = {Roberto Barbuti and
Nicoletta De Francesco and
Paolo Mancarella and
Antonella Santone},
title = {Towards a Logical Semantics for Pure Prolog},
journal = {Sci. Comput. Program.},
volume = {32},
number = {1-3},
pages = {145--176},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(97)00033-6},
doi = {10.1016/S0167-6423(97)00033-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BarbutiFMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrogiLMM97,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
title = {A Unifying View for Logic Programming with Non-Monotonic Reasoning},
journal = {Theor. Comput. Sci.},
volume = {184},
number = {1-2},
pages = {1--5},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)80755-4},
doi = {10.1016/S0304-3975(97)80755-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrogiLMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MancarellaRT97,
author = {Paolo Mancarella and
Alessandra Raffaet{\`{a}} and
Franco Turini},
title = {Time in a Multi-Theory Logical Framework},
booktitle = {4th International Workshop on Temporal Representation and Reasoning,
{TIME} '97, Daytona Beach, Florida, USA, May 10-11, 1997},
pages = {62--68},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TIME.1997.600783},
doi = {10.1109/TIME.1997.600783},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MancarellaRT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DungM96,
author = {Phan Minh Dung and
Paolo Mancarella},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Production Systems Need Negation as Failure},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1242--1247},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-184.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DungM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BarbutiM96,
author = {Roberto Barbuti and
Paolo Mancarella},
editor = {Hanne Riis Nielson},
title = {A Multiple-Valued Logical Semantics for Prolog},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {62--76},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_29},
doi = {10.1007/3-540-61055-3\_29},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BarbutiM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MancarellaRT95,
author = {Paolo Mancarella and
Alessandra Raffaet{\`{a}} and
Franco Turini},
editor = {Mar{\'{\i}}a Alpuente and
Maria I. Sessa},
title = {{LOO:} An Object Oriented Logic Programming Language},
booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
di Vietri, Italy, September 11-14, 1995},
pages = {271--282},
year = {1995},
timestamp = {Wed, 01 Dec 2004 15:33:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/MancarellaRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrogiLMM95,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {An Abductive Framework for Extended Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {330--343},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_24},
doi = {10.1007/3-540-59487-6\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrogiLMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BrogiMPT94,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
title = {Modular Logic Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1361--1398},
year = {1994},
url = {https://doi.org/10.1145/183432.183528},
doi = {10.1145/183432.183528},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BrogiMPT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KakasM94,
author = {Antonis C. Kakas and
Paolo Mancarella},
editor = {Pascal Van Hentenryck},
title = {Abduction and Abductive Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {18--19},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KakasM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KakasMD94,
author = {Antonis C. Kakas and
Paolo Mancarella and
Phan Minh Dung},
editor = {Pascal Van Hentenryck},
title = {The Acceptability Semantics for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {504--519},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KakasMD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BrogiCMMPRT94,
author = {Antonio Brogi and
A. Chiarelli and
Paolo Mancarella and
V. Mazzotta and
Dino Pedreschi and
Chiara Renso and
Franco Turini},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Implementations of Program Composition Operations},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {292--307},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_21},
doi = {10.1007/3-540-58402-1\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/BrogiCMMPRT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KakasM92,
author = {Antonis C. Kakas and
Paolo Mancarella},
title = {Short Note: Preferred Extensions are Partial Stable Models},
journal = {J. Log. Program.},
volume = {14},
number = {3{\&}4},
pages = {341--348},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90015-U},
doi = {10.1016/0743-1066(92)90015-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/KakasM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnkbs/BrogiLMM92,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {G{\'{e}}rard Comyn and
Matthias Jarke and
Suryanarayana M. Sripada},
title = {Normal logic programs as open positive programs},
booktitle = {CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge
Bases, Munich, Germany, 6-7 February 1992},
volume = {{ECRC-92-2}},
pages = {9--11},
publisher = {European Computer-Industry Research Centre, Munich},
year = {1992},
timestamp = {Tue, 30 May 2006 14:18:38 +0200},
biburl = {https://dblp.org/rec/conf/cnkbs/BrogiLMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrogiLMM92,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {Krzysztof R. Apt},
title = {Normal Logic Programs as Open Positive Programs},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {783--797},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrogiLMM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BrogiMPT92,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
editor = {Alberto Pettorossi},
title = {Meta for Modularising Logic Programming},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {105--119},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_7},
doi = {10.1007/3-540-56282-6\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meta/BrogiMPT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BrogiLMM91,
author = {Antonio Brogi and
Evelina Lamma and
Paolo Mancarella and
Paola Mello},
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Abductive Reasoning in a Multi-Theory Framework},
booktitle = {Trends in Artificial Intelligence, 2nd Congress of the Italian Association
for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31,
1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {549},
pages = {137--146},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54712-6\_226},
doi = {10.1007/3-540-54712-6\_226},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BrogiLMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrogiMPT91,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
editor = {Jean{-}Marie Jacquet},
title = {Theory Construction in Computational Logic},
booktitle = {Constructing Logic Programs - This book is issued from a workshop
on the subject of the construction of logic programs, organized during
the 1991 {ICLP}},
pages = {241--250},
publisher = {Wiley},
year = {1991},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrogiMPT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KakasM91,
author = {Antonis C. Kakas and
Paolo Mancarella},
editor = {Anil Nerode and
V. Wiktor Marek and
V. S. Subrahmanian},
title = {Negation as Stable Hypotheses},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
First International Workshop, Washington, D.C., USA, July 1991},
pages = {275--288},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/KakasM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/KakasM91,
author = {Antonis C. Kakas and
Paolo Mancarella},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {Stable Theories for Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {85--100},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/KakasM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BarbutiMPT90,
author = {Roberto Barbuti and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
title = {A Transformational Approach to Negation in Logic Programming},
journal = {J. Log. Program.},
volume = {8},
number = {3},
pages = {201--228},
year = {1990},
url = {https://doi.org/10.1016/0743-1066(90)90023-X},
doi = {10.1016/0743-1066(90)90023-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BarbutiMPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KakasM90a,
author = {Antonis C. Kakas and
Paolo Mancarella},
editor = {Jo{\~{a}}o P. Martins and
Michael Reinfrank},
title = {Knowledge Assimilation and Abduction},
booktitle = {Truth Maintenance Systems, {ECAI-90} Workshop, Stockholm, Sweden,
August 6, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {515},
pages = {54--70},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0037029},
doi = {10.1007/BFB0037029},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KakasM90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BrogiMPT90,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
title = {Universal Quantification by Case Analysis},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {111--116},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BrogiMPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KakasM90,
author = {Antonis C. Kakas and
Paolo Mancarella},
title = {Generalized Stable Models: {A} Semantics for Abduction},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {385--391},
year = {1990},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KakasM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KakasM90,
author = {Antonis C. Kakas and
Paolo Mancarella},
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {Abductive Logic Programming},
booktitle = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
pages = {49--61},
year = {1990},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/KakasM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BrogiMPT90,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {Logic Programming within a Functional Framework},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {372--386},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024196},
doi = {10.1007/BFB0024196},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/BrogiMPT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MancarellaPRT90,
author = {Paolo Mancarella and
Dino Pedreschi and
Marina Rondinelli and
Marco Tagliatti},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Algebraic Properties of a Class of Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {23--39},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/MancarellaPRT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/KakasM90,
author = {Antonis C. Kakas and
Paolo Mancarella},
editor = {Dennis McLeod and
Ron Sacks{-}Davis and
Hans{-}J{\"{o}}rg Schek},
title = {Database Updates through Abduction},
booktitle = {16th International Conference on Very Large Data Bases, August 13-16,
1990, Brisbane, Queensland, Australia, Proceedings},
pages = {650--661},
publisher = {Morgan Kaufmann},
year = {1990},
url = {http://www.vldb.org/conf/1990/P650.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/KakasM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MancarellaMP88,
author = {Paolo Mancarella and
Simone Martini and
Dino Pedreschi},
title = {Complete Logic Programs with Domain-Closure Axiom},
journal = {J. Log. Program.},
volume = {5},
number = {3},
pages = {263--276},
year = {1988},
url = {https://doi.org/10.1016/0743-1066(88)90013-1},
doi = {10.1016/0743-1066(88)90013-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MancarellaMP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/BertolinoMMNPT88,
author = {Bruno Bertolino and
Paolo Mancarella and
Luigi Meo and
Luca Nini and
Dino Pedreschi and
Franco Turini},
title = {A Progress Report on the {LML} Project},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {675--684},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/BertolinoMMNPT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MancarellaP88,
author = {Paolo Mancarella and
Dino Pedreschi},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {An Algebra of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {1006--1023},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MancarellaP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BarbutiMPT87,
author = {Roberto Barbuti and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Intensional Negation of Logic Programs: Examples and Implementation
Techniques},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {96--110},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014975},
doi = {10.1007/BFB0014975},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/BarbutiMPT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/MancarellaT83,
author = {Paolo Mancarella and
Franco Turini},
title = {A High Level Analysis Tool for Concurrent Programs},
booktitle = {International Conference on Parallel Processing, ICPP'83, Columbus,
Ohio, USA, August 1983},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {1983},
timestamp = {Wed, 04 Dec 2002 14:34:54 +0100},
biburl = {https://dblp.org/rec/conf/icpp/MancarellaT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-11-13 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
