المؤلفون: Cappanera, Paola, Gavanelli, Marco, Nonato, Maddalena, Roma, Marco

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2305.11969

المؤلفون: Franceschi, Jonathan, Pareschi, Lorenzo, Bellodi, Elena, Gavanelli, Marco, Bresadola, Marco

مصطلحات موضوعية: Computer Science - Social and Information Networks, Physics - Physics and Society

URL الوصول: http://arxiv.org/abs/2302.01028

المؤلفون: Bellodi, Elena, Gavanelli, Marco, Zese, Riccardo, Lamma, Evelina, Riguzzi, Fabrizio

المصدر: Theory and Practice of Logic Programming, 21(5), 557-574, 2021

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2108.03033

المؤلفون: Gavanelli, Marco, Nonato, Maddalena, Peano, Andrea, Bertozzi, Davide

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1707.05858

المؤلفون: Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

المصدر: Artificial Intelligence Review; Dec2024, Vol. 57 Issue 12, p1-30, 30p

المؤلفون: Cappanera, Paola, Gavanelli, Marco, Nonato, Maddalena, Roma, Marco

المصدر: Journal of Logic and Computation ; volume 33, issue 8, page 1851-1871 ; ISSN 0955-792X 1465-363X

الاتاحة: https://doi.org/10.1093/logcom/exad038
https://academic.oup.com/logcom/article-pdf/33/8/1851/54151450/exad038.pdf

المؤلفون: Bertagnon, Alessandro, Gavanelli, Marco

المصدر: Journal of Logic & Computation; Nov2024, Vol. 34 Issue 8, p1580-1607, 28p

مصطلحات موضوعية: LOGIC programming, ARTIFICIAL intelligence, COLLEGE teaching, LATEX, ATOMS

المؤلفون: Gavanelli, Marco, Bragaglia, Stefano, Milano, Michela, Chesani, Federico, Marengo, Elisa, Cagnoli, Paolo

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1405.3824

المؤلفون: Rubin, Andrea, Pedroni, Marco Luca, Fabbri, Michele, Bellodi, Elena, Gavanelli, Marco, Pareschi, Lorenzo, Franceschi, Jonathan, Bresadola, Marco

المصدر: Mediascapes Journal; Vol. 20 No. 2 (2022): Cultural Machines. Unlocking the power of digital methods and computational techniques for understanding socio-cultural processes in digital environments; 163-181 ; Mediascapes journal; V. 20 N. 2 (2022): Cultural Machines. Unlocking the power of digital methods and computational techniques for understanding socio-cultural processes in digital environments; 163-181 ; 2282-2542

مصطلحات موضوعية: Esitazione vaccinale, Covid-19, Telegram, science capital, social media

وصف الملف: application/pdf

Relation: https://rosa.uniroma1.it/rosa03/mediascapes/article/view/18151/17293; https://rosa.uniroma1.it/rosa03/mediascapes/article/view/18151

الاتاحة: https://rosa.uniroma1.it/rosa03/mediascapes/article/view/18151

المؤلفون: Cattafi, Massimiliano, Gavanelli, Marco, Nonato, Maddalena, Alvisi, Stefano, Franchini, Marco

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.1.6, G.1.6

URL الوصول: http://arxiv.org/abs/1109.1248

المؤلفون: Gavanelli, Marco, Riguzzi, Fabrizio, Milano, Michela, Cagnoli, Paolo

المصدر: Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6), 643-658, 2010

مصطلحات موضوعية: Computer Science - Artificial Intelligence, J.2, I.2.1, I.2.4, I.2.5

URL الوصول: http://arxiv.org/abs/1007.3159

المؤلفون: Alberti, Marco, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Milano, Michela

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/cs/0408056

المؤلفون: Bertagnon, Alessandro, Gavanelli, Marco, Passantino, Alessandro, Sciavicco, Guido, Trevisani, Stefano

المساهمون: Alessandro Bertagnon and Marco Gavanelli and Alessandro Passantino and Guido Sciavicco and Stefano Trevisani

مصطلحات موضوعية: Constraint programming, Consistency, Branching time, Horn Fragment

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.5

الاتاحة: https://doi.org/10.4230/LIPIcs.TIME.2020.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-129736
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.5

المؤلفون: Bertagnon, Alessandro, Gavanelli, Marco

المصدر: Intelligenza Artificiale; July 2024, Vol. 18 Issue: 1 p139-152, 14p

المؤلفون: Gavanelli, Marco, PASSANTINO, ALESSANDRO, Sciavicco, Guido

المساهمون: Gavanelli, Marco, Passantino, Alessandro, Sciavicco, Guido

مصطلحات موضوعية: Branching time, Consistency, Constraint programming

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783959770897; ispartofbook:Proceedings of the 25th International Symposium on Temporal Representation and Reasoning; 25th International Symposium on Temporal Representation and Reasoning (TIME); volume:120; firstpage:12-1; lastpage:12-15; numberofpages:15; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; http://hdl.handle.net/11392/2394156; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85055513004; https://drops.dagstuhl.de/opus/volltexte/2018/9777/; https://drops.dagstuhl.de/opus/volltexte/2018/9777/pdf/LIPIcs-TIME-2018-12.pdf

الاتاحة: http://hdl.handle.net/11392/2394156
https://doi.org/10.4230/LIPIcs.TIME.2018.12
https://drops.dagstuhl.de/opus/volltexte/2018/9777/
https://drops.dagstuhl.de/opus/volltexte/2018/9777/pdf/LIPIcs-TIME-2018-12.pdf

المؤلفون: Cappanera, Paola, Gavanelli, Marco, Nonato, Maddalena, Roma, Marco, Fabbri, Nicolò, Feo, Carlo V., Soverini, Riccardo

الاتاحة: https://dx.doi.org/10.13140/rg.2.2.19565.36326
https://rgdoi.net/10.13140/RG.2.2.19565.36326

المؤلفون: GAVANELLI, Marco, LAMMA, Evelina, RIGUZZI, Fabrizio, BELLODI, Elena, ZESE, Riccardo, COTA, Giuseppe

المساهمون: Mihoko Otake, Setsuya Kurahashi, Yuiko Ohta, Ken Satoh, Daisuke Bekki, Gavanelli, Marco, Lamma, Evelina, Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo, Cota, Giuseppe

مصطلحات موضوعية: Integrity Constraint, Normative Reasoning, Deontic Logic, Conjunctive Query, Computational Logic

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-50953-2; info:eu-repo/semantics/altIdentifier/isbn/978-3-319-50952-5; info:eu-repo/semantics/altIdentifier/wos/WOS:000426081300014; ispartofbook:New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers); 7th JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2015; volume:10091; firstpage:187; lastpage:203; numberofpages:17; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Mihoko Otake, Setsuya Kurahashi, Yuiko Ohta, Ken Satoh, Daisuke Bekki; http://hdl.handle.net/11392/2353204; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85018397999; http://link.springer.com/chapter/10.1007/978-3-319-50953-2_14

الاتاحة: http://hdl.handle.net/11392/2353204
https://doi.org/10.1007/978-3-319-50953-2_14
http://link.springer.com/chapter/10.1007/978-3-319-50953-2_14

المؤلفون: Gavanelli, Marco, Alberti, Marco, Lamma, Evelina

المساهمون: Gavanelli, Marco, Alberti, Marco, Lamma, Evelina

مصطلحات موضوعية: Abductive logic programming, Accountability, SCIFF, Computer Networks and Communications

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000457135300007; volume:18; issue:4; firstpage:46-1; lastpage:46-20; numberofpages:20; journal:ACM TRANSACTIONS ON INTERNET TECHNOLOGY; http://hdl.handle.net/11392/2388560; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85047163533

الاتاحة: http://hdl.handle.net/11392/2388560
https://doi.org/10.1145/3107936
https://dl.acm.org/doi/10.1145/3107936

المؤلفون: Nonato, Maddalena, Bertozzi, Davide, Gavanelli, Marco, Peano, Andrea

المساهمون: Nonato, Maddalena, Bertozzi, Davide, Gavanelli, Marco, Peano, Andrea

مصطلحات موضوعية: WRONoC, constrained shortest path, node forbidden pairs

وصف الملف: ELETTRONICO

Relation: volume:64; firstpage:285; lastpage:294; numberofpages:10; journal:ELECTRONIC NOTES IN DISCRETE MATHEMATICS; http://hdl.handle.net/11392/2384501; https://www.sciencedirect.com/science/article/abs/pii/S1571065318300301

الاتاحة: http://hdl.handle.net/11392/2384501
https://doi.org/10.1016/j.endm.2018.02.003
https://www.sciencedirect.com/science/article/abs/pii/S1571065318300301

المؤلفون: Bertagnon, Alessandro¹ (AUTHOR) alessandro.bertagnon@unife.it, Gavanelli, Marco² (AUTHOR)

المصدر: Intelligenza Artificiale. 2024, Vol. 18 Issue 1, p139-152. 14p.

مصطلحات موضوعية: *COST functions, *CONSTRAINT programming, *LOGIC programming, *EUCLIDEAN distance, *COMPUTER science