Per Sort

20 publications  /  Giuseppe Pisano
@article{metabop-ifcolog10,
   apice = {MetabopIfcolog10},
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Giovanni Sartor},
   booktitle = {Special Issue: Advances in Argumentation in AI},
   dblp = {journals/flap/PisanoCOS23},
   editor = {D'Agostino, Marcello and D'Asaro, Fabio Aurelio and Larese, Costanza},
   eissn = {2631-9829},
   iris = {11585/926735},
   isbn = {978-1-84890-433-0},
   issn = {2631-9810},
   journal = {Journal of Applied Logics},
   keywords = {burdens of persuasion, argumentation, meta-argumentation},
   month = may,
   note = {Special Issue: Advances in Argumentation in AI},
   number = 3,
   numpages = 28,
   pages = {393--420},
   publisher = {College Publications},
   scholar = {6899343197318040336},
   scopus = {2-s2.0-85160661742},
   title = {Burden of Persuasion: A Meta-argumentation Approach},
   url = {http://www.collegepublications.co.uk/downloads/ifcolog00059.pdf#page=134},
   volume = 10,
   wos = {WOS:001243893100005},
   year = 2023
}
@article{hamletfgcs2022,
   apice = {HamletFgcs2022},
   author = {Matteo Francia and Joseph Giovanelli and Pisano, Giuseppe},
   journal = {Future Generation Computer Systems},
   keywords = {Human-centered, AutoML, Logic, Argumentation, CRISP-DM, Data Scientist},
   pages = {182--194},
   title = {HAMLET: a framework for Human-centered AutoML via Structured Argumentation},
   year = 2023
}
@article{arg2p-ail2023,
   apice = {Arg2pAiandlaw},
   author = {Robaldo, Livio and Batsakis, Sotiris and Calegari, Roberta and Calimeri, Francesco and Fujita, Megumi and Governatori, Guido and Morelli, Maria Concetta and Pacenza, Francesco and Pisano, Giuseppe and Satoh, Ken and Tachmazidis, Ilias and Zangari, Jessica},
   doi = {10.1007/s10506-023-09360-z},
   eissn = {1572-8382},
   issn = {0924-8463},
   journal = {Artificial Intelligence and Law},
   keywords = {Compliance checking, First-order knowledge, LegalTech},
   month = jun,
   numpages = 51,
   title = {Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies},
   url = {https://link.springer.com/10.1007/s10506-023-09360-z},
   year = 2023
}
@article{arg2p-jlc32,
   apice = {Arg2pJlc32},
   author = {Calegari, Roberta and Pisano, Giuseppe and Omicini, Andrea and Sartor, Giovanni},
   dblp = {journals/logcom/CalegariOPS22},
   doi = {10.1093/logcom/exab089},
   editor = {Francesco Calimeri and Simona Perri and Ester Zumpano},
   iris = {11585/877812},
   issn = {0955-792X},
   journal = {Journal of Logic and Computation},
   keywords = {Arg2P, intelligent systems engineering, explainable intelligent systems, logic-based technology, argumentation, defeasible reasoning, multi-agent systems},
   lens = {108-808-937-990-575},
   month = mar,
   note = {{S}pecial {I}ssue from the 35th Italian Conference on Computational Logic ({CILC} 2020)},
   number = 2,
   openalex = {W4206516686},
   pages = {369--401},
   publisher = {Oxford University Press},
   scholar = {7687317421217944977},
   scopus = {2-s2.0-85126283334},
   title = {{Arg\textsf{2}P}: An argumentation framework for explainable intelligent systems},
   url = {https://academic.oup.com/logcom/article-abstract/32/2/369/6513341},
   volume = 32,
   wos = {WOS:000762067600009},
   year = 2022
}
@article{defreasoning-j-2021,
   abstract = {Different formalisms for defeasible reasoning have been used to represent knowledge and reason in the legal field. In this work, we provide an overview of the following logic-based approaches to defeasible reasoning: defeasible logic, Answer Set Programming, ABA+, ASPIC+, and DeLP. We compare features of these approaches under three perspectives: the logical model (knowledge representation), the method (computational mechanisms), and the technology (available software resources). On top of that, two real examples in the legal domain are designed and implemented in ASPIC+ to showcase the benefit of an argumentation approach in real-world domains. The CrossJustice and Interlex projects are taken as a testbed, and experiments are conducted with the Arg2P technology.},
   apice = {DefeasibleReasoningJmdpi20},
   author = {Marco Billi and Calegari, Roberta and Giuseppe Contissa and Francesca Lagioia and Pisano, Giuseppe and Galileo Sartor and Sartor, Giovanni},
   doi = {10.3390/j4040061},
   editor = {Larisa Ivascu},
   iris = {11585/844314},
   issn = {2571-8800},
   journal = {J — Multidisciplinary Scientific Journal},
   keywords = {argumentation, defeasible reasoning, tools and technologies, Arg2P},
   month = dec,
   note = {Special Issue The Impact of Artificial Intelligence on Law},
   number = 4,
   numpages = 18,
   pages = {897--914},
   publisher = {MDPI},
   subtitle = {Special Issue The Impact of Artificial Intelligence on Law},
   title = {Argumentation and Defeasible Reasoning in the Law},
   url = {https://www.mdpi.com/2571-8800/4/4/61},
   volume = 4,
   year = 2021
}
5 articles in journal • top • index • bottom
@incollection{iclp2023le,
   apice = {Iclp2023Le},
   author = {Galileo Sartor and Jacinto Dàvila and Alessia Fidelangeli and Pisano, Giuseppe},
   keywords = {Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English, s(CASP)},
   title = {(Re)Integration of Logical English and s(CASP)},
   urlpdf = {https://ceur-ws.org/Vol-3437/paper7GDE.pdf},
   year = 2023
}
@incollection{cooparg-aixia2022,
   address = {Cham, Switzerland},
   apice = {CoopargAixia2022},
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
   booktitle = {AIxIA 2022 -- Advances in Artificial Intelligence},
   chapter = 10,
   dblp = {conf/aiia/PisanoCO22},
   doi = {10.1007/978-3-031-27181-6_10},
   editor = {Dovier, Agostino and Montanari, Angelo and Orlandini, Andrea},
   eisbn = {978-3-031-27181-6},
   institution = {University of Udine},
   iris = {11585/926736},
   isbn = {978-3-031-27180-9},
   issn = {0302-9743},
   keywords = {argumentation, arg2p, cooperative argumentation, multi-agent systems, cooperative reasoning},
   lens = {006-679-674-213-11X},
   location = {Udine, Italy},
   month = mar,
   note = {XXI International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 -- December 2, 2022, Proceedings},
   numpages = 14,
   openalex = {W4323903927},
   pages = {140--153},
   publisher = {Springer},
   scholar = {611421105673679245},
   scopus = {2-s2.0-85151050879},
   series = {Lecture Notes in Computer Science},
   subseries = {Lecture Notes in Artificial Intelligence},
   title = {Multi-Agent Cooperative Argumentation in {Arg\textsf{2}P}},
   url = {http://link.springer.com/10.1007/978-3-031-27181-6_10},
   volume = 13796,
   wos = {WOS:000999015100010},
   year = 2023
}
@inproceedings{calegari-aixia2021,
   address = {Cham},
   apice = {ModularArg2pAixia2021},
   author = {Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
   booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence},
   doi = {10.1007/978-3-031-08421-8_7},
   editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
   iris = {11585/903795},
   isbn = {978-3-031-08421-8},
   month = jul,
   pages = {91--103},
   publisher = {Springer International Publishing},
   scopus = {2-s2.0-85135031367},
   series = {Lecture Notes in Computer Science},
   subseries = {AIxIA Series},
   title = {Modular Logic Argumentation in Arg-TuProlog},
   volume = 13196,
   year = 2022
}
@inproceedings{argautomldataplat2022,
   apice = {ArgAutoMLDataPlat2022},
   author = {Joseph Giovanelli and Pisano, Giuseppe},
   keywords = {AutoML, Argumentation, Logic, CRISP-DM, Data Scientist},
   numpages = 5,
   title = {Towards Human-centric AutoML via Logic and Argumentation},
   year = 2022
}
@article{lescaspgde2022,
   apice = {ScaspGde2022},
   author = {Galileo Sartor and Jacinto Dávila and Marco Billi and Giuseppe Contissa and Pisano, Giuseppe and Robert Kowalski},
   booktitle = {Workshop on Goal-directed Execution of Answer Set Programs},
   keywords = {Logic Programming, Prolog, Controlled Natural Language, Legal Rule Modelling, Explainable AI, Logical English},
   series = {GDE 2022},
   title = {Integration of Logical English and s(CASP)},
   urlpdf = {http://platon.etsii.urjc.es/%7Ejarias/GDE-2022/GDE-01.pdf},
   year = 2022
}
@incollection{burdenofpersuasion-aixia2021,
   address = {Cham},
   apice = {BurdenofpersuasionAixia2021},
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
   booktitle = {AIxIA 2021 -- Advances in Artificial Intelligence},
   dblp = {conf/aiia/PisanoCOS21a},
   doi = {10.1007/978-3-031-08421-8_8},
   editor = {Bandini, Stefania and Gasparini, Francesca and Mascardi, Viviana and Palmonari, Matteo and Vizzari, Giuseppe},
   iris = {11585/893244},
   isbn = {978-3-031-08421-8},
   keywords = {Burdens of persuasion · Argumentation · Meta-argumentation},
   lens = {158-280-406-888-96X},
   location = {Milan, Italy},
   month = jul,
   openalex = {W4285820874},
   pages = {104--119},
   publisher = {Springer International Publishing},
   scholar = {17799901578643288638},
   scopus = {2-s2.0-85135015182},
   series = {Lecture Notes in Computer Science},
   subseries = {AI*IA Series},
   title = {Burden of Persuasion in Meta-argumentation},
   url = {http://link.springer.com/10.1007/978-3-031-08421-8_8},
   urlopenaccess = {https://cris.unibo.it/retrieve/005890bb-146a-4ab9-9b0b-63a7032c6e9d/AIxIA2021-METABP.pdf},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-031-08421-8_8.pdf},
   volume = 13196,
   wos = {WOS:000876859300008},
   year = 2022
}
@inproceedings{complchecking-cilc2022,
   abstract = {This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. We are interested here in formalizations at the first-order level. Past literature on normative reasoning mostly focuses on the propositional level. However, the propositional level is of little usefulness for concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. This paper formalizes a selected use case in the considered reasoners and compares the implementations. The comparison will highlight that lot of further research still need to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework. All source codes are available at https://github.com/liviorobaldo/compliancecheckers},
   apice = {ComplCheckingCilc2022},
   author = {Livio Robaldo and Sotiris Batsakis and Calegari, Roberta and Francesco Calimeri and Megumi Fujita and Guido Governatori and Maria Concetta Morelli and Pisano, Giuseppe and Ken Satoh and Ilias Tachmazidis},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
   iris = {11585/903805},
   keywords = {Compliance checking, Normative reasoning, LegalTech},
   numpages = 16,
   pages = {1--16},
   publisher = {CEUR Workshop Proceedings},
   scopus = {2-s2.0-85138245042},
   series = {AI*IA Series},
   title = {Taking stock of available technologies for compliance checking on first-order knowledge},
   url = {http://ceur-ws.org/Vol-3204/},
   urlpdf = {http://ceur-ws.org/Vol-3204/paper_1.pdf},
   volume = 3204,
   year = 2022
}
@inproceedings{metabp-ai321,
   apice = {MetabpAi32021},
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
   booktitle = {Advances in Argumentation in Artificial Intelligence 2021},
   dblp = {conf/aiia/PisanoCOS21},
   editor = {D'Agostino, Marcello and Aurelio D'Asaro, Fabio and Larese, Costanza},
   iris = {11585/893243},
   issn = {1613-0073},
   keywords = {burdens of persuasion, argumentation, meta-argumentation, reasoning over burdens},
   month = feb,
   note = {Proceedings of the Workshop on Advances in Argumentation in Artificial Intelligence (AI$^{3}$ 2021), co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, November 29, 2021},
   numpages = 19,
   pages = {5:1--5:19},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scholar = {10187981790280478304},
   scopus = {2-s2.0-85125434069},
   series = {CEUR Workshop Proceedings},
   subseries = {AIxIA Series},
   title = {Burden of persuasion in argumentation: A meta-argumentation approach},
   url = {http://ceur-ws.org/Vol-3086/paper5.pdf},
   urlpdf = {http://ceur-ws.org/Vol-3086/paper5.pdf},
   volume = 3086,
   wos = {WOS:001796750900007},
   year = 2022
}
@article{conflictscomma2022,
   apice = {ConflictsComma2022},
   author = {Pisano, Giuseppe and Calegari, Roberta and Henry Prakken and Sartor, Giovanni},
   booktitle = {Computational Models of Argument},
   doi = {10.3233/FAIA220160},
   editor = {Francesca Toni and Sylwia Polberg and Richard Booth and Martin Caminada and Hiroyuki Kido},
   eisbn = {978-1-64368-307-2},
   institution = {Cardiff University},
   isbn = {978-1-64368-306-5},
   keywords = {meta-argumentation, argumentation, ASPIC+},
   location = {Cardiff},
   numpages = 12,
   pages = {284--295},
   publisher = {IOS Press},
   series = {Frontiers in Artificial Intelligence and Applications},
   title = {Arguing About the Existence of Conflicts},
   url = {https://ebooks.iospress.nl/volumearticle/60756},
   volume = 353,
   year = 2022
}
@inproceedings{xai-arg2p-causal2021,
   apice = {XaiLpCausal2021},
   author = {Billi, Marco and Calegari, Roberta and Contissa, Giuseppe and Pisano, Giuseppe and Sartor, Galileo and Sartor, Giovanni},
   booktitle = {Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021)},
   editor = {LeBlanc, Emily and Vennekens, Joost and Son, Tran Cao and Cabalar, Pedro and Fandiño, Jorge and Balduccini, Marcello and Lierler, Yuliya},
   iris = {11585/836343},
   location = {Porto, Portugal (virtual)},
   month = sep,
   numpages = 14,
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   series = {CEUR Workshop Proceedings},
   subseries = {AIxIA Series},
   title = {Explainability through argumentation in logic programming},
   url = {http://ceur-ws.org/Vol-2970/causalpaper2.pdf},
   volume = 2970,
   year = 2021
}
@inproceedings{arg2p-cilc2021,
   address = {Parma, Italy},
   apice = {Arg2pCilc2021},
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
   booktitle = {CILC 2021 -- Italian Conference on Computational Logic. Proceedings of the 36th Italian Conference on Computational Logic},
   dblp = {conf/cilc/PisanoCOS21},
   editor = {Monica, Stefania and Bergenti, Federico},
   iris = {11585/838785},
   issn = {1613-0073},
   keywords = {Argumentation · Defeasible preferences · Arg2P},
   lens = {190-718-935-515-919},
   month = {7-9~} # sep,
   openalex = {W3215091487},
   pages = {16--30},
   publisher = {CEUR-WS},
   scholar = {12433999243058736062},
   scopus = {2-s2.0-85122863663},
   semanticscholar = {243990504},
   series = {CEUR Workshop Proceedings},
   subseries = {AIxIA Series},
   title = {A Mechanism for Reasoning over Defeasible Preferences in {Arg\textsf{2}P}},
   url = {http://ceur-ws.org/Vol-3002/paper10.pdf},
   urlpdf = {http://ceur-ws.org/Vol-3002/paper10.pdf},
   volume = 3002,
   wos = {WOS:001798563300002},
   year = 2021
}
@inproceedings{distributedarg-woa2021,
   apice = {DistributedArgWoa2021},
   articleno = 12,
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea},
   booktitle = {WOA 2021 -- 22nd Workshop ``From Objects to Agents''},
   dblp = {conf/woa/PisanoCO21},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
   iris = {11585/834366},
   issn = {1613-0073},
   keywords = {Argumentation, MAS, cooperative argumentation, distributed argumentation process},
   lens = {129-636-770-768-561},
   location = {Bologna, Italy},
   month = oct,
   note = {22nd Workshop ``From Objects to Agents'' (WOA 2021), Bologna, Italy, 1--3~} # sep # {~2021. Proceedings},
   numpages = 16,
   openalex = {W3203008058},
   pages = {162--177},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scholar = {13615595110063768054},
   scopus = {2-s2.0-85116856131},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Towards cooperative argumentation for {MAS}: An actor-based approach},
   url = {http://ceur-ws.org/Vol-2963/paper17.pdf},
   volume = 2963,
   wos = {WOS:001788669700012},
   year = 2021
}
@inproceedings{arg2p-cilc2020,
   address = {Aachen, Germany},
   apice = {Arg2pCilc2020},
   author = {Pisano, Giuseppe and Calegari, Roberta and Omicini, Andrea and Sartor, Giovanni},
   booktitle = {CILC 2020 -- Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic},
   dblp = {conf/cilc/PisanoCOS20},
   editor = {Calimeri, Francesco and Perri, Simona and Zumpano, Ester},
   iris = {11585/776173},
   issn = {1613-0073},
   keywords = {argumentation; logic-based argumentation; burden of persuasion; tuProlog; micro-intelligence; symbolic intelligence},
   lens = {167-911-395-920-788},
   location = {Rende, CS, Italy},
   month = {13-15~} # oct,
   numpages = 16,
   openalex = {W3095625280},
   organization = {Sun SITE Central Europe, RWTH Aachen University},
   pages = {51--66},
   publisher = {CEUR-WS},
   scholar = {11457064787617704916},
   scopus = {2-s2.0-85095821934},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Arg-{{\sf tu}Prolog}: A {{\sf tu}Prolog}-based argumentation framework},
   url = {http://ceur-ws.org/Vol-2710/paper4.pdf},
   volume = 2710,
   wos = {WOS:001798566800008},
   year = 2020
}
@inproceedings{nsc4xai-woa2020,
   address = {Aachen, Germany},
   apice = {Nsc4xaiWoa2020},
   author = {Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
   booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
   dblp = {conf/woa/PisanoCCO20},
   editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
   iris = {11585/781387},
   issn = {1613-0073},
   keywords = {XAI, Hybrid Systems, Neural Networks, Logical Constraining},
   lens = {066-731-248-588-981},
   location = {Bologna, Italy},
   month = oct,
   note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
   numpages = 17,
   openalex = {W3095616054},
   pages = {101--117},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scopus = {2-s2.0-85095616404},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Neuro-symbolic Computation for {XAI}: Towards a Unified Model},
   url = {http://ceur-ws.org/Vol-2706/paper18.pdf},
   urlopenaccess = {http://ceur-ws.org/Vol-2706/paper18.pdf},
   urlpdf = {http://ceur-ws.org/Vol-2706/paper18.pdf},
   volume = 2706,
   wos = {WOS:001788676900008},
   year = 2020
}
@inproceedings{calegari-arg-jurix2020,
   apice = {Arg2pmodJurix2020},
   author = {Calegari, Roberta and Giuseppe Contissa and Pisano, Giuseppe and Galileo Sartor and Sartor, Giovanni},
   booktitle = {Legal Knowledge and Information Systems. JURIX 2020: The 33rd Annual Conference},
   doi = {10.3233/FAIA200880},
   editor = {Serena Villata and Jakub Harašta and Petr Křemen},
   iris = {11585/786687},
   keywords = {modular argumentation, private international law},
   location = {Brno/Prague, Czech Republic},
   month = {9-11~} # dec,
   numpages = 4,
   pages = {265--268},
   series = {Frontiers in Artificial Intelligence and Applications},
   title = {Arg-tuProlog: a modular logic argumentation tool for PIL},
   volume = 334,
   year = 2020
}
15 papers in proceedings • top • index • bottom