Knowledge Representation and
Automated Reasoning Lab

List of Publications

BibBase http://krarlab.dmi.unipg.it/temp_files/global.bib
generated by bibbase.org
  2020 (19)
Power index-based semantics for ranking arguments in abstract argumentation frameworks. Bistarelli, S.; and Taticchi, C. INTELLIGENZA ARTIFICIALE, 13: 137–154. 2020.
Power index-based semantics for ranking arguments in abstract argumentation frameworks [link]Paper   doi   bibtex   abstract  
Energy allocation and payment: a game-theoretic approach. Giuliodori, P.; Bistarelli, S.; and Mugnai, D. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. 2020.
Energy allocation and payment: a game-theoretic approach [link]Paper   doi   bibtex   abstract  
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence. Dondio, P.; Longo, L.; and Bistarelli, S. INTELLIGENZA ARTIFICIALE, 13: 121–122. 2020.
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence [link]Paper   doi   bibtex  
Probabilistic abstract argumentation frameworks, a possible world view. Mantadelis, T.; and Bistarelli, S. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 119: 204–219. 2020.
Probabilistic abstract argumentation frameworks, a possible world view [link]Paper   doi   bibtex   abstract  
Analysis of Ethereum Smart Contracts and Opcodes. Bistarelli, S.; Mazzante, G.; Micheletti, M.; Mostarda, L.; and Tiezzi, F. 2020.
Analysis of Ethereum Smart Contracts and Opcodes [link]Paper   doi   bibtex  
The Adversarial Stackelberg Value in Quantitative Games. Filliot, E.; Gentilini, R.; and Raskin, J. 2020.
doi   bibtex  
Editorial message: Special track on knowledge representation and reasoning (KRR). Bistarelli, S.; Ceberio, M.; Monfroy, E.; and Santini, F. 2020.
doi   bibtex  
A report on the security of home connections with IoT and docker honeypots. Bistarelli, S.; Bosimini, E.; and Santini, F. 2020.
bibtex  
Abstract argumentation and (optimal) stable marriage problems. Bistarelli, S.; and Santini, F. ARGUMENT & COMPUTATION, 11: 15–40. 2020.
doi   bibtex  
A first overview of ICCMA’19. Bistarelli, S.; Kotthoff, L.; Santini, F.; and Taticchi, C. 2020.
bibtex  
Preface. Prakken, H.; Bistarelli, S.; Santini, F.; and Taticchi, C. 2020.
bibtex  
Bubble regime identification in an attention-based model for Bitcoin and Ethereum price dynamics. Cretarola, A.; and Figà-Talamanca, G. ECONOMICS LETTERS, 191. 2020.
doi   bibtex  
Indifference pricing of pure endowments via BSDEs under partial information. Ceci, C.; Colaneri, K.; and Cretarola, A. SCANDINAVIAN ACTUARIAL JOURNAL, 2020: 904–933. 2020.
doi   bibtex   abstract  
Market attention and Bitcoin price modeling: theory, estimation and option pricing. Cretarola, A.; Figà-Talamanca, G.; and Patacca, M. DECISIONS IN ECONOMICS AND FINANCE, 43: 187–228. 2020.
doi   bibtex  
. Calemi, F. F. Dalla relazione all’identità: ontologie relazionali e non-relazionali, pages 17–32. Orthotes Editrice, 2020.
bibtex   abstract  
Quantificazione, predicazione e posizioni non-referenziali. Una soluzione al regresso di Bradley. Calemi, F. F. GIORNALE DI METAFISICA, XLII: 524–540. 2020.
bibtex  
A concurrent language for argumentation. Bistarelli, S.; and Taticchi, C. 2020.
bibtex  
Ranking-based semantics from the perspective of claims. Bistarelli, S.; Dvorak, W.; Taticchi, C.; and Woltran, S. 2020.
doi   bibtex  
ConArgLib: an argumentation library with support to search strategies and parallel search. Bistarelli, S.; Rossi, F.; and Santini, F. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE,1–28. 2020.
doi   bibtex  
  2019 (11)
Multi-context systems in dynamic environments. Cabalar, P.; Costantini, S.; De Gasperis, G.; and Formisano, A. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, 86: 87–120. 2019.
Multi-context systems in dynamic environments [link]Paper   doi   bibtex   abstract  
Augmenting knowledge representation and reasoning languages with customizable metalogic features. Costantini, S.; and Formisano, A. 2019.
bibtex   abstract  
Introduction to the 35th International Conference on Logic Programming Special Issue. Erdem, E.; Formisano, A.; Vidal, G.; and Yang, F. 2019.
bibtex   abstract  
Preface. Bogaerts, B.; Erdem, E.; Fodor, P.; Formisano, A.; Ianni, G.; Inclezan, D.; Vidal, G.; Villanueva, A.; De Vos, M.; and Yang, F. 2019.
Preface [link]Paper   bibtex  
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. Costantini, S.; and Formisano, A. INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING, 6: 245–274. 2019.
doi   bibtex   abstract  
Online firefighting on grids. Demange, M.; Ellison, D.; and Gentilini, R. 2019.
Online firefighting on grids [link]Paper   bibtex  
Model-based arbitrage in multi-exchange models for Bitcoin price dynamics. Bistarelli, S.; Cretarola, A.; Figà-Talamanca, G.; and Patacca, M. DIGITAL FINANCE. 2019.
Model-based arbitrage in multi-exchange models for Bitcoin price dynamics [link]Paper   doi   bibtex   abstract  
Is arbitrage possible in the bitcoin market? (Work-In-Progress Paper). Bistarelli, S.; Cretarola, A.; Figà-Talamanca, G.; Mercanti, I.; and Patacca, M. 2019.
Is arbitrage possible in the bitcoin market? (Work-In-Progress Paper) [link]Paper   doi   bibtex   abstract  
. Calemi, F. L'intersoggettività e il problema del disaccordo ontologico: alcune prospettive metodologiche, pages 13–58. Città Nuova della P.A.M.O.M., Roma, 2019.
L'intersoggettività e il problema del disaccordo ontologico: alcune prospettive metodologiche [link]Paper   bibtex   abstract  
Alla fontana di Silöe. Studi in onore di Carlo Vinti. Calemi, F. F.; Allegra, A.; and Moschini, M. 2019.
bibtex  
. Calemi, F. F. Volume 1 . Universali e significato focale in Polanyi, pages 167–173. Orthotes Editrice, Napoli-Salerno, 2019.
bibtex   abstract  
  2018 (4)
Rational Synthesis under Imperfect Information. Filiot, E.; Gentilini, R.; Raskin, undefined; and -F., J. 2018.
doi   bibtex   abstract  
A ConArg-based library for abstract argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. 2018.
doi   bibtex  
A novel weighted defence and its relaxation in abstract argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 92: 66–86. 2018.
doi   bibtex   abstract  
Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive. Bistarelli, S.; Rossi, F.; and Santini, F. JOURNAL OF LOGIC AND COMPUTATION, 28: 85–117. 2018.
Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive [link]Paper   doi   bibtex   abstract  
  2017 (2)
Accelerating Energy Games Solvers on Modern Architectures. Formisano, A.; Gentilini, R.; and Vella, F. 2017.
Accelerating Energy Games Solvers on Modern Architectures [link]Paper   doi   bibtex   abstract  
A conarg-based library for Abstract Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. 2017.
A conarg-based library for Abstract Argumentation [link]Paper   bibtex  
  2016 (1)
The Complexity of Rational Synthesis. Condurache, R.; Filiot, E.; Gentilini, R.; and Raskin, J. F. 2016.
doi   bibtex