Per Year

14 publications without Scopus ID  /  2022
 @article{nqueens-tplp22,
	author = {Drabent, W{\l}odzimierz},
	doi = {10.1017/S1471068421000223},
	journal = {Theory and Practice of Logic Programming},
	number = 1,
	pages = {37--50},
	publisher = {Cambridge University Press},
	title = {On Correctness and Completeness of an n {Q}ueens Program},
	volume = 22,
	year = 2022} 
 @proceedings{proceedings-cilc2022,
    address = {Bologna, Italy},
    dblp = {conf/cilc/2022},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    iris = {11585/899538},
    issn = {1613-0073},
    note = {37th Italian Conference on Computational Logic (CILC 2022), Bologna, Italy, 29~} # jun # {--1~} # jul # {~2022. Proceedings},
    numpages = 3,
    publisher = {CEUR-WS},
    scholar = {2685358200094686924},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = { {CILC 2022} -- {I}talian {C}onference on {C}omputational {L}ogic },
    url = {http://ceur-ws.org/Vol-3204/},
    volume = 3204,
    year = 2022
} 
  
 @article{lescaspgde2022,
    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}
} 
 @book{intelligentsystemspracticalguide-book2021,
    author = {Hopgood, Adrian A.},
    isbn = {9780367336165},
    isbn10 = {0367336162},
    publisher = {CRC Press},
    title = {Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence},
    url = {https://www.routledge.com/Intelligent-Systems-for-Engineers-and-Scientists-A-Practical-Guide-to-Artificial/Hopgood/p/book/9781032126760},
    year = 2022
} 
 @article{proceedings-iclpworkshops2022,
    dblp = {conf/iclp/2022w},
    editor = {Joaquín Arias and Calegari, Roberta and Luke Dickens and Wolfgang Faber and Jorge Fandinno and Gopal Gupta and Markus Hecher and Daniela Inclezan and Emily LeBlanc and Michael Morak and Elmer Salazar and Jessica Zangari},
    issn = {1613-0073},
    location = {Haifa, Israel},
    month = {31 July – 1 August},
    publisher = {CEUR-WS},
    series = {CEUR Workshop Proceedings},
    subtitle = {Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022)},
    title = {ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops},
    url = {https://ceur-ws.org/Vol-3193/},
    volume = 3193,
    year = 2022
} 
 @article{prolog50years-tplp22,
    articleno = 100531,
    author = {Körner, Philipp and Beuschel, Michael and Barbosa, João and Costa, Vítor Santos and Dahl, Verónica and Hermenegildo, Manuel V. and Morales, Jose F. and Wielemaker, Jan and Diaz, Daniel and Abreu, Salvador and Ciatto, Giovanni},
    doi = {10.1017/S1471068422000102},
    editor = {De Nicola, Rocco},
    iris = {11585/901015},
    issn = {2352-2208},
    journal = {Theory and Practice of Logic Programming},
    keywords = {Prolog, logic programming systems, portability, rationale, evolution, vision},
    month = nov,
    number = 6,
    numpages = 25,
    pages = {776--858},
    publisher = {Cambridge University Press},
    title = {Fifty Years of {P}rolog and Beyond},
    url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fifty-years-of-prolog-and-beyond/3A5329B6E3639879301A6D44346FD1DD},
    urlopenaccess = {https://www.cambridge.org/core/services/aop-cambridge-core/content/view/3A5329B6E3639879301A6D44346FD1DD/S1471068422000102a.pdf/fifty-years-of-prolog-and-beyond.pdf},
    volume = 22,
    wos = {000796763200001},
    year = 2022
} 
 @article{woa2021specialissue-ia16,
    author = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea and Vizzari, Giuseppe},
    eissn = {2211-0097},
    iris = {11585/890644},
    issn = {1724-8035},
    journal = {Intelligenza Artificiale},
    month = jul,
    note = {Special Issue},
    number = 1,
    publisher = {IOS Press},
    scholar = {14076350362719309270},
    title = {Selected papers from the 22nd {W}orkshop ``{F}rom {O}bjects to {A}gents'' ({WOA} 2021)},
    url = {https://content.iospress.com/articles/intelligenza-artificiale/ia161s1},
    urlopenaccess = {https://content.iospress.com/download/intelligenza-artificiale/ia161s1?id=intelligenza-artificiale%2Fia161s1},
    volume = 16,
    year = 2022
} 
 @inproceedings{skemetrics-xaifin2022,
    address = {New York, NY, USA},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {Workshop on Explainable AI in Finance @ICAIF 2022},
    doi = {10.48550/arXiv.2211.00238},
    keywords = {Explainable artificial intelligence; Symbolic knowledge extraction; Readability metrics; AutoML},
    month = {November 2},
    scholar = {5021962022669458541},
    semanticscholar = {253244189},
    title = {Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper},
    url = {https://arxiv.org/abs/2211.00238},
    urlopenaccess = {https://arxiv.org/abs/2211.00238},
    year = 2022
} 
 @article{smartcollectiveservices-ieeeiotj9,
    author = {Casadei, Roberto and Giancarlo Fortino and Pianini, Danilo and Placuzzi, Andrea and Claudio Savaglio and Viroli, Mirko},
    dblp = {journals/iotj/CasadeiFPPSV22},
    doi = {10.1109/JIOT.2022.3172470},
    ieee = {9768117},
    journal = {IEEE Internet of Things Journal},
    keywords = {cloud services, collective services, cyber–physical systems, deployment methodology, edge intelligence, mobile and ubiquitous systems, pulverizable architectures, service middleware and platform, simulation},
    number = 20,
    pages = {20136--20148},
    title = {A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge},
    url = {http://ieeexplore.ieee.org/document/9768117},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
    volume = 9,
    year = 2022
} 
 @article{agi-acmcs54,
    author = {Mariani, Stefano and Cabri, Giacomo and Zambonelli, Franco},
    doi = {10.1145/3431231},
    journal = {ACM Computing Surveys},
    keywords = {Autonomous vehicles, cooperative driving, coordination, autonomy, survey},
    number = 1,
    pages = {19:1--19:33},
    title = {Coordination of Autonomous Vehicles: Taxonomy and Survey},
    url = {https://doi.org/10.1145/3431231},
    volume = 54,
    year = 2022
} 
 @inproceedings{gridrex-kr2022,
    address = {Haifa, Israel},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)},
    doi = {10.24963/kr.2022/57},
    editor = {Kern-Isberner, Gabriele and Lakemeyer, Gerhard and Meyer, Thomas},
    iris = {11585/893144},
    isbn = {978-1-956792-01-0},
    issn = {2334-1033},
    keywords = {Explainable AI, Integrating knowledge representation and machine learning, Integrating symbolic and sub-symbolic approaches, Applications of KR},
    month = {July 31--August 5},
    pages = {554--563},
    publisher = {IJCAI Organization},
    title = {Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: {GridREx} {\&} {PEDRO}},
    url = {https://proceedings.kr.org/2022/57/},
    year = 2022
} 
 @inproceedings{cluster-ske-xlokr2022,
    address = {Haifa, Israel},
    author = {Sabbatini, Federico and Calegari, Roberta},
    booktitle = {XLoKR 2022 - Third Workshop on Explainable Logic-Based Knowledge Representation},
    keywords = {Explainable AI; Symbolic knowledge extraction; Clustering},
    month = {July 31},
    title = {Clustering-Based Approaches for Symbolic Knowledge Extraction},
    url = {https://arxiv.org/abs/2211.00234},
    year = 2022
} 
 @inproceedings{logicapiml-cilc2022,
    author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
    booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
    editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
    issn = {1613-0073},
    keywords = {logic programming, machine learning, API, 2P-Kt},
    location = {Bologna, Italy},
    numpages = 15,
    pages = {104--118},
    publisher = {CEUR-WS},
    series = {ceurws},
    subseries = {AI*IA Series},
    title = {Logic Programming library for Machine Learning: {API} design and prototype},
    url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
    urlpdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
    volume = 3204,
    year = 2022
} 
14 publications in 2022 without Scopus ID • topindexbottom

publications without Scopus ID  /  2022  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini