Sfoglia per Serie
In a nutshell: perceptron connectives in knowledge representation
2021-01-01 Galliani, P; Righetti, G; Kutz, O; Porello, D; Troquard, N
JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
2014-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
MV-tropical polynomials and neural networks
2021-01-01 Aguzzoli, S.; Di Nola, A.; Gerla, B.; Russo, C.
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?
2020-01-01 Fiorentini, C.; Ferrari, M.
A New Approach to Clausification for Intuitionistic Propositional Logic
2023-01-01 Fiorentini, C.; Ferrari, M.
On Counting k-Convex Polyominoes
2022-01-01 Massazza, Paolo
On Counting L-Convex Polyominoes
2021-01-01 Dorigatti, V.; Massazza, P.
On fuzzy truth-values and quasi-standard completeness
2021-01-01 Aguzzoli, S.; Gerla, B.
On the generating functions of languages accepted by deterministic one-reversal counter machines
2018-01-01 Massazza, P.
OntologyBeanGenerator 5.0: Extending ontology concepts with methods and exceptions
2018-01-01 Briola, Daniela; Mascardi, Viviana; Gioseffi, Massimiliano
Perceptron operators that count
2021-01-01 Galliani, P; Kutz, O; Troquard, N
Preface to the Second Workshop on Artificial Intelligence for Human-Machine Interaction (AIxHMI)
2023-01-01 Saibene, A.; Corchs, S.; Fontana, S.; Sole-Casals, J.
Privacy-preserving Decentralized Learning of Knowledge Graph Embeddings
2023-01-01 Hoang, A. -T.; Lekssays, A.; Carminati, B.; Ferrari, E.
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)
2022-01-01 Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael
REFSQ 2018: Joint proceedings of workshops, doctoral symposium, live studies, and posters and tools track
2018-01-01 Schmid, K.; Spoletini, P.
REFSQ 2019: Joint proceedings of workshops, industrial track, doctoral symposium, live studies, and posters and tools track
2019-01-01 Spoletini, P.; Mader, P.
Representable AI: Towards a Unified View of Core Dimensions for a Visual Framework
2022-01-01 Locoro, Angela; Buono, Paolo; Winckler, Marco; Corchs, SILVIA ELENA
Representation and management of ontologies in cultural heritage domain
2005-01-01 Ghiselli, C.; Bozzato, L.; Trombetta, A.
Software development effort estimation using function points and simpler functional measures: a comparison
2023-01-01 Lavazza, L.; Locoro, A.; Meli, R.
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