Sfoglia per Serie
Concept combination inweighted logic
2021-01-01 Righetti, G.; Masolo, C.; Troquard, N.; Kutz, O.; Porello, D.
Context Aware Source Selection for Linked Data
2018-01-01 Catania, Barbara; Guerrini, Giovanna; Yaman, Beyza
Contexts in Philosophy
2017-01-01 Penco, Carlo; Vignolo, Massimiliano
A core ontology on decision making
2020-01-01 Guizzardi, R.; Carneiro, B. G.; Porello, D.; Guizzardi, G.
Corecursive featherweight Java revisited
2019-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Coverage-based Queries: Nondiscrimination Awareness in Data Transformation
2022-01-01 Accinelli, C.; Catania, B.; Guerrini, G.
Coverage-based rewriting for data preparation
2020-01-01 Accinelli, C.; Minisi, S.; Catania, B.
Culture Awareness in Intelligent Systems
2023-01-01 Gjaci, A.; Oneto, L.; Recchiuto, Carmine; Sgorbissa, A.
Cybersecurity and AI: The PRALab Research Experience
2023-01-01 Pintor, M.; Orru, G.; Maiorca, D.; Demontis, A.; Demetrio, L.; Marcialis, G. L.; Biggio, B.; Roli, F.
A deterministic event calculus for effective runtime verification
2019-01-01 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
Digging into prerequisite annotation
2020-01-01 Alzetta, C.; Galluccio, I.; Koceva, F.; Passalacqua, S.; Torre, I.
Digital and analogue memory: a theoretical and historical framework for e-learning
2021-01-01 Arsena, A
Drawing a dog: Cognitive underpinnings
2015-01-01 Panesi, Sabrina; Rivara, Sergio; Morra, Sergio
EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage
2022-01-01 Anastasi, S.; De Domenico, A.; Nicolosi-Asmundo, M.
Equality of Corecursive Streams Defined by Finitary Equational Systems
2022-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Evaluating the Interpretability of Tooth Expressions
2022-01-01 Righetti, G.; Porello, D.; Confalonieri, R.
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems
2010-01-01 Maratea, Marco
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
2005-01-01 Giunchiglia, Enrico; Maratea, Marco
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
2013-01-01 Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps
2022-01-01 Ancona, D.; Ferrando, A.; Mascardi, V.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Concept combination inweighted logic | 1-gen-2021 | Righetti, G.; Masolo, C.; Troquard, N.; Kutz, O.; Porello, D. | |
Context Aware Source Selection for Linked Data | 1-gen-2018 | Catania, Barbara; Guerrini, Giovanna; Yaman, Beyza | |
Contexts in Philosophy | 1-gen-2017 | Penco, Carlo; Vignolo, Massimiliano | |
A core ontology on decision making | 1-gen-2020 | Guizzardi, R.; Carneiro, B. G.; Porello, D.; Guizzardi, G. | |
Corecursive featherweight Java revisited | 1-gen-2019 | Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D. | |
Coverage-based Queries: Nondiscrimination Awareness in Data Transformation | 1-gen-2022 | Accinelli, C.; Catania, B.; Guerrini, G. | |
Coverage-based rewriting for data preparation | 1-gen-2020 | Accinelli, C.; Minisi, S.; Catania, B. | |
Culture Awareness in Intelligent Systems | 1-gen-2023 | Gjaci, A.; Oneto, L.; Recchiuto, Carmine; Sgorbissa, A. | |
Cybersecurity and AI: The PRALab Research Experience | 1-gen-2023 | Pintor, M.; Orru, G.; Maiorca, D.; Demontis, A.; Demetrio, L.; Marcialis, G. L.; Biggio, B.; Roli, F. | |
A deterministic event calculus for effective runtime verification | 1-gen-2019 | Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V. | |
Digging into prerequisite annotation | 1-gen-2020 | Alzetta, C.; Galluccio, I.; Koceva, F.; Passalacqua, S.; Torre, I. | |
Digital and analogue memory: a theoretical and historical framework for e-learning | 1-gen-2021 | Arsena, A | |
Drawing a dog: Cognitive underpinnings | 1-gen-2015 | Panesi, Sabrina; Rivara, Sergio; Morra, Sergio | |
EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage | 1-gen-2022 | Anastasi, S.; De Domenico, A.; Nicolosi-Asmundo, M. | |
Equality of Corecursive Streams Defined by Finitary Equational Systems | 1-gen-2022 | Ancona, D.; Barbieri, P.; Zucca, E. | |
Evaluating the Interpretability of Tooth Expressions | 1-gen-2022 | Righetti, G.; Porello, D.; Confalonieri, R. | |
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems | 1-gen-2010 | Maratea, Marco | |
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming | 1-gen-2005 | Giunchiglia, Enrico; Maratea, Marco | |
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent | 1-gen-2013 | Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe | |
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps | 1-gen-2022 | Ancona, D.; Ferrando, A.; Mascardi, V. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile