Contributors: Saettone, Lorenza, Fedriga, Riccardo, Micheli, Emanuele, Sgorbissa, Antonio, Recchiuto, Carmine
Subject Terms: Keywords:culture, cultural competence, epistemic logic, social robotics, theory of mind
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-88-945805-4-9; ispartofbook:Fifth Italian Conference on Robotics and Intelligent Machines; I-RIM; firstpage:43; lastpage:45; numberofpages:3; https://hdl.handle.net/11567/1170715
Authors: Dodaro C., Galata G., Kamran Khan M., Maratea M., Porro I.
Contributors: Dodaro, C., Galata, G., Kamran Khan, M., Maratea, M., Porro, I.
Subject Terms: knowledge representation and nonmonotonic reasoning, logic programming methodology and applications
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000889154700004; volume:22; firstpage:229; lastpage:253; numberofpages:25; journal:THEORY AND PRACTICE OF LOGIC PROGRAMMING; https://hdl.handle.net/11567/1103216; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85110619583
Authors: Giunchiglia Enrico, Maratea M., Mochi M.
Contributors: Giunchiglia, Enrico, Maratea, M., Mochi, M.
Subject Terms: answer set programming, difference logic, Logic programming, stable models
File Description: ELETTRONICO
Relation: ispartofbook:CEUR Workshop Proceedings; 11th Italian Workshop on Planning and Scheduling, 30th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and 2023 SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, IPS-RCRA-SPIRIT 2023 Workshops; firstpage:1; lastpage:8; numberofpages:8; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11567/1174028; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85180149060
Availability: https://hdl.handle.net/11567/1174028
Authors: Calegari R., Ciatto G., Mascardi V., Omicini A.
Contributors: Calegari, R., Ciatto, G., Mascardi, V., Omicini, A.
Subject Terms: Logic-based technologies, MAS, SLR
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000579434600001; volume:35; firstpage:1; lastpage:67; numberofpages:67; journal:AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS; https://hdl.handle.net/11567/1029075; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85092892414
Authors: Micheletto M., Marcialis G. L., Orru' G., Roli F.
Contributors: Micheletto, M., Marcialis, G. L., Orru', G., Roli, F.
Subject Terms: Biometric, Error analysi, Fingerprint recognition, Instrument, Presentation attacks detection (PAD), Probabilistic logic, Security, Spoofing, Terminology, Tools
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000728138100001; firstpage:1; lastpage:14; numberofpages:14; journal:IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY; https://hdl.handle.net/11567/1083616; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85118275701
Authors: Merlo A., Ruggia A., Sciolla L., Verderame L.
Contributors: Merlo, A., Ruggia, A., Sciolla, L., Verderame, L.
Subject Terms: Android, Anti-repackaging technique, Anti-tampering, App security, Logic bomb, Mobile security
File Description: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000697165600003; volume:76; firstpage:1; lastpage:17; numberofpages:17; journal:PERVASIVE AND MOBILE COMPUTING; https://hdl.handle.net/11567/1080496; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85110678532
Authors: Maggi N., ADORNETTO, ANTONELLA, SCILLIERI, GAETANO STEFANO, Urbina E. N. B., Ruggiero C., Giacomini M.
Contributors: Ohno-Machado , L., Séroussi, B., Maggi, N., Adornetto, Antonella, Scillieri, GAETANO STEFANO, Urbina, E. N. B., Ruggiero, C., Giacomini, M.
Subject Terms: Fuzzy Logic, Health technology assessment model, Equipment and Supplie, Italy, Linear Models
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-64368-003-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000569653400346; ispartofbook:MEDINFO 2019: Health and Wellbeing e-Networks for All; volume:264; firstpage:1538; lastpage:1539; numberofpages:2; http://hdl.handle.net/11567/975735; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071478799
Authors: CORAGLIA, GRETA
Contributors: Coraglia, Greta, ROSOLINI, GIUSEPPE, VIGNI, STEFANO
Subject Terms: categorical logic, deductive system, dependent type theory, natural deduction, 2-categorie, enriched category theory, Settore MAT/01 - Logica Matematica, Settore INF/01 - Informatica, Settore M-FIL/02 - Logica e Filosofia della Scienza
Relation: https://hdl.handle.net/11567/1134175; http://dx.doi.org/10.15167/coraglia-greta_phd2023-08-24
Authors: RATTI GIOVANNI BATTISTA
Contributors: Ratti, GIOVANNI BATTISTA
Subject Terms: Logical Connectives, Satisfaction, Logic of Norms, Logic of Normative Propositions
File Description: STAMPA
Relation: volume:1-2022; firstpage:19; lastpage:28; numberofpages:10; journal:ANALISI E DIRITTO; http://hdl.handle.net/11567/1093138
Availability: http://hdl.handle.net/11567/1093138
Authors: Aiello, O, Crovetti, P, Alioto, M
Contributors: Aiello, O, Crovetti, P, Alioto, M
Subject Terms: Capacitive-to-Digital converter (CDC), Power consumption versus Time conversion trade-off, Ultra-Low Voltage, nW Power, Dual-Mode (DM) Logic
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-6654-8128-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000886205500011; ispartofbook:Proc. of IEEE 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI); IEEE 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI); firstpage:1; lastpage:5; numberofpages:5; https://hdl.handle.net/11567/1123258; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85141725111
Authors: RATTI GIOVANNI BATTISTA
Contributors: Ratti, GIOVANNI BATTISTA
Subject Terms: implication, incompatibility, logic of norms, expressive conception of norms, Bulygin (Eugenio)
File Description: STAMPA
Relation: volume:35; firstpage:107; lastpage:114; numberofpages:8; journal:REVUS; http://hdl.handle.net/11567/940297; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85067045962
Availability: http://hdl.handle.net/11567/940297
Authors: GIOVANNI BATTISTA RATTI
Contributors: Ratti, GIOVANNI BATTISTA
Subject Terms: deontic logic, normative gaps, partial gaps, normative relevance, universes of cases of different specificity
File Description: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000456439700005; volume:41; firstpage:85; lastpage:99; numberofpages:15; journal:DOXA; http://hdl.handle.net/11567/926954; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85096167258
Authors: Massoud, Rana, Poslad, Stefan, Bellotti, Francesco, Berta, Riccardo, Mehran, Kamyar, De Gloria, Alessandro
Contributors: Massoud, Rana, Poslad, Stefan, Bellotti, Francesco, Berta, Riccardo, Mehran, Kamyar, De Gloria, Alessandro
Subject Terms: Serious game, Reality-enhanced game, Fuel consumption, Fuzzy Logic, Driving behaviour, Driving feedback, On-Board Diagnostics-II (OBD-II), Open data, eco-driving
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000457988700003; volume:5; firstpage:45; lastpage:62; numberofpages:18; journal:INTERNATIONAL JOURNAL OF SERIOUS GAMES; http://hdl.handle.net/11567/944032
Authors: Vassallo, Paolo, Bianchi, Carlo Nike, Paoli, Chiara, Holon, Florian, Navone, Augusto, Bavestrello, Giorgio, Cattaneo Vietti, Riccardo, Morri, Carla
Contributors: Vassallo, Paolo, Bianchi, Carlo Nike, Paoli, Chiara, Holon, Florian, Navone, Augusto, Bavestrello, Giorgio, Cattaneo Vietti, Riccardo, Morri, Carla
Subject Terms: Coralligenous reef, EUNIS, Fuzzy clustering, Marine Protected Area, Random forest, SWOT analysi, Animal, Conservation of Natural Resource, Ecology, Fuzzy Logic, Italy, Oceans and Sea, Ecosystem, Models, Theoretical, Oceanography, Aquatic Science, Pollution
File Description: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/pmid/29886940; info:eu-repo/semantics/altIdentifier/wos/WOS:000437060300026; volume:131 (part A); firstpage:218; lastpage:232; numberofpages:15; journal:MARINE POLLUTION BULLETIN; http://hdl.handle.net/11567/930683; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85045482112
Authors: Testa S., Tala N., Cincotti S.
Contributors: Testa, S., Tala, N., Cincotti, S.
Subject Terms: Bivariate probit model, cluster analysi, Companie, corporate social responsibility, Focusing, Instrument, Lense, Logic gate, medium-sized enterprise, process innovation, product innovation, stakeholder theory, Stakeholder, Technological innovation
File Description: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000805797600001; firstpage:1; lastpage:10; numberofpages:10; journal:IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT; https://hdl.handle.net/11567/1101255; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85131764664
Authors: Dyckhoff R., Negri S.
Contributors: Dyckhoff, R., Negri, S.
Subject Terms: coherent implication, coherent logic, conservative extension, geometric logic, weakly positive formula
File Description: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000355799500002; volume:21 (2); firstpage:123; lastpage:163; numberofpages:41; journal:THE BULLETIN OF SYMBOLIC LOGIC; http://hdl.handle.net/11567/995798; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84962091019
Authors: Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Contributors: Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Confalonieri, Roberto, Galliani, Pietro, Kutz, Oliver, Porello, Daniele, Righetti, Guendalina, Troquard, Nicolas
Subject Terms: Explainable AI, Knowledge Distillation, Perceptron Logic, Trepan Reloaded, Decision Trees
File Description: ELETTRONICO
Relation: ispartofbook:Proceedings of the Workshop on Data meets Applied Ontologies in Explainable {AI} {(DAO-XAI} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 18th to 19th, 2021}; Workshop on Data meets Applied Ontologies in Explainable {AI} {(DAO-XAI} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 18th to 19th, 2021; firstpage:1; lastpage:8; numberofpages:8; https://hdl.handle.net/11567/1082518; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85119441237
Availability: https://hdl.handle.net/11567/1082518
Contributors: Galliani, Pietro, Righetti, Guendalina, Kutz, Oliver, Porello, Daniele, Troquard, Nicolas
Subject Terms: Perceptron, Threshold Operators, Description Logics
File Description: ELETTRONICO
Relation: ispartofbook:Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021; 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021; firstpage:1; lastpage:4; numberofpages:4; https://hdl.handle.net/11567/1082520
Availability: https://hdl.handle.net/11567/1082520
Contributors: Paola Demartini Lucia Marchegiani Michela Marchiori Giovanni Schiuma, Bertoni, A, Dubini, P, Monti, A
Subject Terms: Participatory cultural initiative, Iterative event, Institutional logics
File Description: ELETTRONICO
Relation: info:eu-repo/semantics/altIdentifier/isbn/9783030656867; ispartofbook:Cultural Initiatives for Sustainable Development Management, Participation and Entrepreneurship in the Cultural and Creative Sector; firstpage:271; lastpage:292; numberofpages:22; alleditors:Paola Demartini Lucia Marchegiani Michela Marchiori Giovanni Schiuma; https://hdl.handle.net/11567/1075816; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85103643304
Authors: Righetti G., Masolo C., Troquard N., Kutz O., Porello D.
Contributors: Righetti, G., Masolo, C., Troquard, N., Kutz, O., Porello, D.
Subject Terms: Concept Combination, Threshold Operators, Weighted Logics
File Description: ELETTRONICO
Relation: ispartofbook:CEUR Workshop Proceedings; Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge, JOWO 2021; firstpage:1; lastpage:16; numberofpages:16; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11567/1105679; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85117054070
Availability: https://hdl.handle.net/11567/1105679