Pubblicazioni
2024 - Model-based reasoning, abductive cognition, creativity
2024 - ECAI 2024 - 27th European Conference on Artificial Intelligence, 19â24 October 2024, Santiago de Compostela, Spain â Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024)
Ragno, Alessio; Plantevit, Marc; Robardet, Celine; Capobianco, Roberto
2024 -
Ippoliti, Emiliano; Arfini, Selene; Magnani, Lorenzo
2022 - DISCIPLINE FILOSOFICHE
2022 - Persona
2021 - JOURNAL FOR GENERAL PHILOSOPHY OF SCIENCE
2021 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
2021 - 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2021 - REVISTA ELETRÃNICA DE ESTUDOS HEGELIANOS
2019 - JOURNAL OF ASTRONOMICAL TELESCOPES, INSTRUMENTS, AND SYSTEMS
Aiello, Sebastiano; Margiotta, Annarita; Marinelli, Antonio; Markou, Christos; Martignac, Gregory; Martin, Lilian; MartÃnez-Mora, Juan A.; Martini, Agnese; Marzaioli, Fabio; Mazzou, Safaa; Mele, Rosa; Melis, Karel W.; Migliozzi, Pasquale; Migneco, Emilio; Mijakowski, Piotr; Miranda, Luis S.; Mollo, Carlos M.; Morganti, Mauro; Moser, Michael; Moussa, Abdelilah; Muller, Rasa; Musico, Paolo; Musumeci, Mario; Nauta, Lodewijk; Navas, Sergio; Nicolau, Carlo A.; Nielsen, Christine; Fearraigh, Brian Ã; Organokov, Mukharbek; Orlando, Angelo; Papalashvili, Gogita; Papaleo, Riccardo; Pastore, Cosimo; PÄvÄlaÅ, Gabriela E.; Pellegrini, Giuliano; Pellegrino, Carmelo; Perrin-Terrin, Mathieu; Piattelli, Paolo; Pieterse, Camiel; Pikounis, Konstantinos; Pisanti, Ofelia; Poirè, Chiara; Polydefki, Georgia; Popa, Vlad; Post, Maarten; Pradier, Thierry; Pühlhofer, Gerd; Pulvirenti, Sara; Quinn, Liam; Raffaelli, Fabrizio; Randazzo, Nunzio; Rapicavoli, Antonio; Razzaque, Soebur; Real, Diego; Reck, Stefan; Reubelt, Jonas; Riccobene, Giorgio; Richer, Marc; Rigalleau, Louis; Rovelli, Alberto; Salvadori, Ilenia; Samtleben, Dorothea F. E.; Sánchez Losa, Agustin; Sanguineti, Matteo; Santangelo, Andrea; Santonocito, Domenico; Sapienza, Piera; Schmelling, Jan-Willem; Schnabel, Jutta; Sciacca, Virginia; Seneca, Jordan; Sgura, Irene; Shanidze, Rezo; Sharma, Ankur; Simeone, Francesco; Sinopoulou, Anna; Spisso, Bernardino; Spurio, Maurizio; Stavropoulos, Dimitris; Steijger, Jos; Stellacci, Simona M.; Strandberg, Bruno; Stransky, Dominik; Taiuti, Mauro; Tayalati, Yahya; Tenllado, Enrique; Thakore, Tarak; Timmer, Paul; Tingay, Steven; Tzamariudaki, Ekaterini; Tzanetatos, Dimitrios; Van Elewyck, Veronique; Versari, Federico; Viola, Salvo; Vivolo, Daniele; de Wasseige, Gwenhael; Wilms, Joern; WojaczyÅski, RafaÅ; de Wolf, Els; Zaborov, Dmitry; Zegarelli, Angela; Zornoza, Juan D.; Zúñiga, Juan; Panagopoulos, Vasilis; Ameli, Fabrizio; Andre, Michel; Androulakis, Giorgos; Anghinolfi, Marco; Anton, Gisela; Ardid, Miquel; Aublin, Julien; Bagatelas, Christos; Barbarino, Giancarlo; Baret, Bruny; Basegmez du Pree, Suzan; Belias, Anastasios; Bendahman, Meriem; Berbee, Edward; van den Berg, Ad M.; Bertin, Vincent; van Beveren, Vincent; Biagi, Simone; Biagioni, Andrea; Bissinger, Matthias; Bos, Pascal; Boumaaza, Jihad; Bourret, Simon; Bouta, Mohammed; Bouvet, Gilles; Bouwhuis, Mieke; Bozza, Cristiano; BrânzaÅ, Horea; Briel, Max M.; Bruchner, Marc; Bruijn, Ronald; Brunner, Jurgen; Buis, Ernst-Jan; Buompane, Raffaele; Busto, Jose; Calvo, David; Capone, Antonio; Celli, Silvia; Chabab, Mohamed; Chau, Nhan; Cherubini, Silvio; Chiarella, Vitaliano; Chiarusi, Tommaso; Circella, Marco; Cocimano, Rosanna; Coelho, Joao A. B.; Coleiro, Alexis; Molla, Marta C.; Colonges, Stephane; Coniglione, Rosa; Coyle, Paschal; Creusot, Alexandre; Cuttone, Giacomo; DâAmico, Antonio; DâOnofrio, Antonio; Dallier, Richard; De Palma, Mauro; Di Palma, Irene; DÃaz, Antonio F.; Diego-Tortosa, Didac; Distefano, Carla; Domi, Alba; Donà , Roberto; Donzaud, Corinne; Dornic, Damien; Dörr, Manuel; Durocher, Mora; Eberl, Thomas; van Eeden, Thijs; El Bojaddaini, Imad; Eljarrari, Hassnae; Elsaesser, Dominik; Enzenhöfer, Alexander; Fermani, Paolo; Ferrara, Giovanna; FilipoviÄ, Miroslav D.; Fusco, Luigi A.; Gajanana, Deepak; Gal, Tamas; Garcia Soto, Alfonso; Garufi, Fabio; Gialanella, Lucio; Giorgio, Emidio; Gozzini, Sara R.; Gracia, Rodrigo; Graf, Kay; Grasso, Dario; Grégoire, Timothee; Grella, Giuseppe; Guderian, Daniel; Guidi, Carlo; Hallmann, Steffen; Hamdaoui, Hassane; van Haren, Hans; Heijboer, Aart; Hekalo, Amar; Hernández-Rey, Juan J.; Hofestädt, Jannik; Huang, Feifei; Santiago, Enrique H.; Illuminati, Giulia; James, Clancy W.; Jansweijer, Peter; Jongen, Martijn; de Jong, Maarten; de Jong, Paul; Kadler, Matthias; KalaczyÅski, Piotr; Kalekin, Oleg; Katz, Uli F.; Khan Chowdhury, Nafis R.; van der Knaap, Frits; Koffeman, Els N.; Kooijman, Paul; Kouchner, Antoine; Krete
2019 - Theory and Applications of Satisfiability Testing â SAT 2019
Atserias, A.; Lauria, M.
2018 - Building theories. Heuristics and hypotheses in sciences
2018 - PARADIGMI
2017 - FUZZY SETS AND SYSTEMS
D'Urso, Pierpaolo; Maharaj, Elizabeth A; Alonso, Andrés M.
2017 - IFSA-SCIS 2017 - Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems
Coletti, Giulianella; Vantaggi, Barbara
2016 - Models and Inferences in Science
2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
2016 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Atserias, Albert; Lauria, Massimo; Nordström, Jakob
2015 - Heuristic Reasoning
2015 - SCIENTIFIC REPORTS
Agliari, Elena; Altavilla, Matteo; Barra, Adriano; Dello Schiavo, Lorenzo; Katz, Evgeny
2015 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc