Sfoglia per Serie
Biometrics and artificial creativity
2017-01-01 Galliani, P.
Building a domain ontology from glossaries: a general methodology
2008-01-01 Bozzato, Loris; Ferrari, Mauro; Trombetta, Alberto
Complex Arguments in Adpositional Argumentation
2021-01-01 Gobbo, F.; Benini, M.; Wagemans, J. H. M.
Compositional modeling of biological systems in cospanspan(graph)
2020-01-01 Gianola, A.; Kasangian, S.; Manicardi, D.; Sabadini, N.; Tini, S.
COVER: Change-based goal verifier and reasoner
2017-01-01 Menghi, C.; Spoletini, P.; Ghezzi, C.
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems
2023-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
Forward proof-search and countermodel construction in intuitionistic propositional logic
2020-01-01 Fiorentini, C.; Ferrari, M.
Forward refutation for Gödel-Dummett Logics
2022-01-01 Fiorentini, C.; Ferrari, M.
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A general syntax for nonrecursive higher inductive types
2020-01-01 Girardi, M.; Zunino, R.; Benini, M.
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
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