المؤلفون: Barbera C., Lieto A., Pozzato G. L.

المساهمون: Barbera C., Lieto A., Pozzato G.L.

مصطلحات موضوعية: Cognitive System, Description Logic, Knowledge Invention, nonmonotonic reasoning, probabilitie, reasoning about typicality, Recommender System

Relation: ispartofbook:CEUR Workshop Proceedings; 1st Workshop on Artificial Intelligence for Cultural Heritage, AI4CH 2022; volume:3286; firstpage:1; lastpage:12; numberofpages:12; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/2318/1890094; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85143409808

الاتاحة: https://hdl.handle.net/2318/1890094

المؤلفون: Panic N., Pozzato G. L.

المساهمون: Panic N., Pozzato G.L.

مصطلحات موضوعية: conditional logic, proof method, sequent calculi, theorem proving

Relation: ispartofbook:CEUR Workshop Proceedings; 37th Italian Conference on Computational Logic, CILC 2022; volume:3204; firstpage:217; lastpage:231; numberofpages:15; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/2318/1890095; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85138309338

الاتاحة: https://hdl.handle.net/2318/1890095

المؤلفون: Lieto A., Pozzato G. L., Valese A., Zito M.

المساهمون: Lieto, A., Pozzato, G. L., Valese, A., Zito, M.

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031271809; info:eu-repo/semantics/altIdentifier/isbn/9783031271816; info:eu-repo/semantics/altIdentifier/wos/WOS:000999015100022; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 21st International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022; volume:13796; firstpage:313; lastpage:326; numberofpages:14; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11577/3540792

الاتاحة: https://hdl.handle.net/11577/3540792
https://doi.org/10.1007/978-3-031-27181-6_22

المؤلفون: Gliozzi V., Pozzato G. L., Valese A.

المساهمون: Gliozzi, V., Pozzato, G. L., Valese, A.

مصطلحات موضوعية: Conditional logic, Nonmonotonic reasoning, Prolog, Proof method, Sequent calculi, Theorem proving

Relation: ispartofbook:CEUR Workshop Proceedings; 38th Italian Conference on Computational Logic, CILC 2023; volume:3428; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11577/3540793

الاتاحة: https://hdl.handle.net/11577/3540793

المؤلفون: Girlando M., Lellmann B., Olivetti N., Pesce S., Pozzato G. L.

المساهمون: Girlando M., Lellmann B., Olivetti N., Pesce S., Pozzato G.L.

Relation: ispartofbook:CEUR Workshop Proceedings; 35th Italian Conference on Computational Logic, CILC 2020; volume:2710; firstpage:199; lastpage:213; numberofpages:15; serie:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/2318/1795668; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85095828929; http://ceur-ws.org/Vol-2710/paper13.pdf

الاتاحة: http://hdl.handle.net/2318/1795668
http://ceur-ws.org/Vol-2710/paper13.pdf

المؤلفون: Lieto A., Pozzato G. L.

المساهمون: Lieto A., Pozzato G.L.

Relation: ispartofbook:CEUR Workshop Proceedings - "AIxIA Discussion Papers Workshop"; 2020 AIxIA Discussion Papers Workshop, AIxIA 2020 DP; volume:2776; firstpage:41; lastpage:48; numberofpages:8; serie:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/2318/1795583; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85098192668; http://ceur-ws.org/Vol-2776/paper-5.pdf

الاتاحة: http://hdl.handle.net/2318/1795583
http://ceur-ws.org/Vol-2776/paper-5.pdf

المؤلفون: Dalmonte T., Negri S., Olivetti N., Pozzato G. L.

المساهمون: Dalmonte T., Negri S., Olivetti N., Pozzato G.L.

Relation: ispartofbook:CEUR Workshop Proceedings "2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2020"; 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2020; volume:2785; firstpage:17; lastpage:22; numberofpages:6; serie:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/2318/1795581; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85099344065; http://ceur-ws.org/Vol-2785/paper3.pdf

الاتاحة: http://hdl.handle.net/2318/1795581
http://ceur-ws.org/Vol-2785/paper3.pdf

المؤلفون: Lieto A., Pozzato G. L., Zoia S., Patti V., Damiano R.

المساهمون: Lieto A., Pozzato G.L., Zoia S., Patti V., Damiano R.

مصطلحات موضوعية: Commonsense reasoning, Computational models of emotion, Concept combination, Explainable AI, Knowledge generation

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000679379000023; volume:227; issue:107166; firstpage:1; lastpage:16; numberofpages:16; journal:KNOWLEDGE-BASED SYSTEMS; info:eu-repo/grantAgreement/EC/H2020/870811; http://hdl.handle.net/2318/1795578; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85108704615; https://www.sciencedirect.com/science/article/abs/pii/S0950705121004299

الاتاحة: http://hdl.handle.net/2318/1795578
https://doi.org/10.1016/j.knosys.2021.107166
https://www.sciencedirect.com/science/article/abs/pii/S0950705121004299

المؤلفون: Pozzato G. L., Soriano G.

المساهمون: Pozzato G.L., Soriano G.

Relation: ispartofbook:CEUR Workshop Proceedings; 34th Italian Conference on Computational Logic, CILC 2019; volume:2396; firstpage:147; lastpage:156; numberofpages:10; serie:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/2318/1727004; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071131354; http://ceur-ws.org/Vol-2396/paper17.pdf

الاتاحة: http://hdl.handle.net/2318/1727004
http://ceur-ws.org/Vol-2396/paper17.pdf

المؤلفون: Lieto A., Perrone F., Pozzato G. L.

المساهمون: Lieto A., Perrone F., Pozzato G.L.

Relation: ispartofbook:CEUR Workshop Proceedings; 34th Italian Conference on Computational Logic, CILC 2019; volume:2396; firstpage:157; lastpage:166; numberofpages:10; serie:CEUR WORKSHOP PROCEEDINGS; http://hdl.handle.net/2318/1727005; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071128587; http://ceur-ws.org/Vol-2396/paper18.pdf

الاتاحة: http://hdl.handle.net/2318/1727005
http://ceur-ws.org/Vol-2396/paper18.pdf

المؤلفون: Lieto A., Pozzato G. L., Striani M., Zoia S., Damiano R.

المساهمون: Lieto, A., Pozzato, G. L., Striani, M., Zoia, S., Damiano, R.

مصطلحات موضوعية: Explainable AI, Diversity-seeking emotional recommendation, Description logic, Commonsense reasoning

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000883870500001; volume:77; firstpage:1; lastpage:17; numberofpages:17; journal:COGNITIVE SYSTEMS RESEARCH; https://hdl.handle.net/11386/4857671; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85140441506; https://doi.org/10.1016/j.cogsys.2022.10.001

الاتاحة: https://hdl.handle.net/11386/4857671
https://doi.org/10.1016/j.cogsys.2022.10.001

المؤلفون: Lieto A., Pozzato G. L.

المساهمون: Lieto A., Pozzato G.L.

مصطلحات موضوعية: cognitive modelling, common-sense reasoning, description logic, Nonmonotonic reasoning

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000497872300001; volume:32; issue:5; firstpage:769; lastpage:804; numberofpages:36; journal:JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/2318/1736642; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075382389

الاتاحة: http://hdl.handle.net/2318/1736642
https://doi.org/10.1080/0952813X.2019.1672799
https://www.tandfonline.com/doi/abs/10.1080/0952813X.2019.1672799?journalCode=teta20

المؤلفون: Lieto A., Perrone F., Pozzato G. L., Chiodino E.

المساهمون: Lieto A., Perrone F., Pozzato G.L., Chiodino E.

مصطلحات موضوعية: Cognitive architecture, Commonsense reasoning, Concept combination, Knowledge generation, Knowledge Representation

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000488236400027; volume:58; firstpage:305; lastpage:316; numberofpages:12; journal:COGNITIVE SYSTEMS RESEARCH; http://hdl.handle.net/2318/1726157; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071511629; http://www.elsevier.com/wps/find/journaldescription.cws_home/620288/description#description

الاتاحة: http://hdl.handle.net/2318/1726157
https://doi.org/10.1016/j.cogsys.2019.08.005
http://www.elsevier.com/wps/find/journaldescription.cws_home/620288/description#description

المؤلفون: GIORDANO, Laura, Gliozzi, V., Olivetti, N., Pozzato, G. L.

المساهمون: Giordano, Laura, Gliozzi, V., Olivetti, N., Pozzato, G. L.

مصطلحات موضوعية: DescriptionLogics,NonmonotonicReasoning,Knowledge Representation, Rational Closure

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000358104300001; volume:226; firstpage:1; lastpage:33; numberofpages:33; journal:ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11579/70171; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84929147953; https://doi.org/10.1016/j.artint.2015.05.001

الاتاحة: http://hdl.handle.net/11579/70171
https://doi.org/10.1016/j.artint.2015.05.001

المؤلفون: Girlando M., Lellmann B., Olivetti N., Pesce S., Pozzato G. L.

المساهمون: Girlando M., Lellmann B., Olivetti N., Pesce S., Pozzato G.L.

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000762067600004; volume:32; issue:2; firstpage:233; lastpage:280; numberofpages:48; journal:JOURNAL OF LOGIC AND COMPUTATION; http://hdl.handle.net/2318/1853618; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85126136636

الاتاحة: http://hdl.handle.net/2318/1853618
https://doi.org/10.1093/logcom/exab084

المؤلفون: Gliozzi V., Pozzato G. L., Valese A.

المساهمون: Gliozzi V., Pozzato G.L., Valese A.

مصطلحات موضوعية: Answer Set Programming, Automated reasoning, Neural networks

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000829884100009; volume:74; firstpage:102203; lastpage:102210; numberofpages:8; journal:DISPLAYS; http://hdl.handle.net/2318/1859465; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85129243508; https://www.sciencedirect.com/science/article/abs/pii/S0141938222000439

الاتاحة: http://hdl.handle.net/2318/1859465
https://doi.org/10.1016/j.displa.2022.102203
https://www.sciencedirect.com/science/article/abs/pii/S0141938222000439

المؤلفون: Chiodino E., Di Luccio D., Lieto A., Messina A., Pozzato G. L., Rubinetti D.

المساهمون: Chiodino, E., Di Luccio, D., Lieto, A., Messina, A., Pozzato, G. L., Rubinetti, D.

مصطلحات موضوعية: commonsense reasoning, description logics, recommender systems

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000650971300086; ispartofbook:Frontiers in Artificial Intelligence and Applications; 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020; volume:325; firstpage:680; lastpage:687; numberofpages:8; serie:FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS; https://hdl.handle.net/11386/4857760; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85091734258

الاتاحة: https://hdl.handle.net/11386/4857760
https://doi.org/10.3233/FAIA200154

المؤلفون: Chiodino E., Lieto A., Perrone F., Pozzato G. L.

المساهمون: Chiodino, E., Lieto, A., Perrone, F., Pozzato, G. L.

مصطلحات موضوعية: commonsense reasoning, cognitive architectures, artificial intelligence, multimedia technology

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000650971303066; ispartofbook:Frontiers in Artificial Intelligence and Applications; 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020; volume:325; firstpage:2893; lastpage:2894; numberofpages:2; serie:FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS; https://hdl.handle.net/11386/4857991; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85091780619

الاتاحة: https://hdl.handle.net/11386/4857991
https://doi.org/10.3233/FAIA200440

المؤلفون: Girlando, M., Lellmann, B., Olivetti, N., Pesce, S., Pozzato, G. L.

المساهمون: University of Birmingham [Birmingham], Vienna University of Technology (TU Wien), Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Dipartimento di Informatica [Torino], Università degli studi di Torino = University of Turin (UNITO), ANR-16-CE91-0002,TICAMORE,Traduction et Découverte des Calculs pour les logiques Modales et dérivées(2016)

المصدر: Journal of Logic and Computation
Journal of Logic and Computation, 2022, ⟨10.1093/logcom/exab084⟩

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, [INFO]Computer Science [cs], Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2550759e2cc90d82942f87bc2dd1a974
https://hal.science/hal-03562537

المؤلفون: Panic, N., Pozzato, G. L.

مصطلحات موضوعية: proof methods, sequent calculi, theorem proving, conditional logics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______970::6dee76e426d2839e5192bc06722cb6d9
https://hdl.handle.net/2318/1890095