A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core
2011-01-01 Giordano, Laura; V., Gliozzi; N. OLIVETTI AND G. L., Pozzato
Reasoning about Typicality in Low Complexity DLs: the logics EL bot T min and DL-lite T min
2011-01-01 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
A tableau calculus for a nonmonotonic extension of EL^ bot
2011-01-01 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
A conditional constructive logic for access control and its sequent calculus
2011-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
Anti-apoptotic effects of phenolic extracts from Theobroma cacao l., clovamide and epichatechin on rat cardiomyoblasts undergoing oxydative stress
2011-01-01 Andrea, Zamperone; Stefano, Pietronave; Coisson, Jean Daniel; Travaglia, Fabiano; Locatelli, Monica; Aldo, Martelli; Arlorio, Marco; Prat, Maria Giovanna
Preface
2011-01-01 Giannini, Paola; Krivine, J.
Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins
2011-01-01 Sciacca, E; Spinella, S; Ienco, D; Giannini, Paola
Foreign direct investment and corporate income taxation under legal uncertainty
2011-01-01 Zagler, Martin
Eunomos, a Legal Document and Knowledge Management System to built legal service
2011-01-01 Rossi, Piercarlo; Ii,
Eunomos, a legal document and knowledge management system
2011-01-01 Rossi, Piercarlo; Ii,
A possible involvement of monocyte-derived microparticles in alveolar macrophages inflammatory response.
2011-01-01 Amoruso, Angela; Balbo, P; Bardelli, Claudio; FEDERICI CANOVA, D; Fresu, Luigia Grazia; Brunelleschi, Sandra
WantEat: interacting with “social” networks of intelligent things and people in the world of enogastronomy.
2011-01-01 L., Console; F., Antonelli; G., Biamino; F., Carmagnola; F., Cena; E., Chiabrando; V., Cuciti; M., Demichelis; F., Fassio; F., Franceschi; R., Furnari; C., Gena; M., Geymonat; P., Grimaldi; P., Grillo; E., Guercio; S., Likavec; I., Lombardi; D., Mana; A., Marcengo; M., Mioli; M., Mirabelli; M., Perrero; C., Picardi; F., Protti; A., Rapp; O., Reviglio; R., Sandon; R., Simeoni; THESEIDER DUPRE', Daniele; I., Torre; A., Toso; F., Torta; F., Vernero
Per una difesa del pluralismo religioso in Europa
2011-01-01 Mazzola, Roberto
Towards on-line knowledge sharing dictionaries for European Law: The Legal Taxonomy Syllabus 3.0
2011-01-01 Grasso, E; Rossi, Piercarlo; Violato, A.
Eunomos, a Web 3.0 Legal Knowledge Management System that Helps People Make Sense of the Law
2011-01-01 Boella, G; Humphreys, L; Martin, M; Rossi, Piercarlo; VAN DER TORRE, L.
Dynamic Phosphorylation/Dephosphorylation of a Voltage-Gated K+ Channel Controls Non- associative Learning
2011-01-01 Cotella, Diego; Sesti, F.
La scuola italiana e gli alunni stranieri. Alcune riflessioni
2011-01-01 Brusa, Carlo Angelo
Esame petrografico e biologico della stele bilingue del Museo Leone di Vercelli
2011-01-01 Compagnoni, R; Sampo', Simonetta
Organic-inorganic mesoporous hybrid materials based on structural diamines for base catalysis
2011-01-01 Gianotti, Enrica; Diaz, U; Coluccia, S; Corma, A.
Juan Caramuel Lobkowitz, erudito multiforme. L'energia metafisica dell'arte tipografica
2011-01-01 Sini, Stefania Irene
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Lite_core | 1-gen-2011 | Giordano, Laura; V., Gliozzi; N. OLIVETTI AND G. L., Pozzato | |
| Reasoning about Typicality in Low Complexity DLs: the logics EL bot T min and DL-lite T min | 1-gen-2011 | Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L. | |
| A tableau calculus for a nonmonotonic extension of EL^ bot | 1-gen-2011 | Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L. | |
| A conditional constructive logic for access control and its sequent calculus | 1-gen-2011 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. | |
| Anti-apoptotic effects of phenolic extracts from Theobroma cacao l., clovamide and epichatechin on rat cardiomyoblasts undergoing oxydative stress | 1-gen-2011 | Andrea, Zamperone; Stefano, Pietronave; Coisson, Jean Daniel; Travaglia, Fabiano; Locatelli, Monica; Aldo, Martelli; Arlorio, Marco; Prat, Maria Giovanna | |
| Preface | 1-gen-2011 | Giannini, Paola; Krivine, J. | |
| Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins | 1-gen-2011 | Sciacca, E; Spinella, S; Ienco, D; Giannini, Paola | |
| Foreign direct investment and corporate income taxation under legal uncertainty | 1-gen-2011 | Zagler, Martin | |
| Eunomos, a Legal Document and Knowledge Management System to built legal service | 1-gen-2011 | Rossi, Piercarlo; Ii, | |
| Eunomos, a legal document and knowledge management system | 1-gen-2011 | Rossi, Piercarlo; Ii, | |
| A possible involvement of monocyte-derived microparticles in alveolar macrophages inflammatory response. | 1-gen-2011 | Amoruso, Angela; Balbo, P; Bardelli, Claudio; FEDERICI CANOVA, D; Fresu, Luigia Grazia; Brunelleschi, Sandra | |
| WantEat: interacting with “social” networks of intelligent things and people in the world of enogastronomy. | 1-gen-2011 | L., Console; F., Antonelli; G., Biamino; F., Carmagnola; F., Cena; E., Chiabrando; V., Cuciti; M., Demichelis; F., Fassio; F., Franceschi; R., Furnari; C., Gena; M., Geymonat; P., Grimaldi; P., Grillo; E., Guercio; S., Likavec; I., Lombardi; D., Mana; A., Marcengo; M., Mioli; M., Mirabelli; M., Perrero; C., Picardi; F., Protti; A., Rapp; O., Reviglio; R., Sandon; R., Simeoni; THESEIDER DUPRE', Daniele; I., Torre; A., Toso; F., Torta; F., Vernero | |
| Per una difesa del pluralismo religioso in Europa | 1-gen-2011 | Mazzola, Roberto | |
| Towards on-line knowledge sharing dictionaries for European Law: The Legal Taxonomy Syllabus 3.0 | 1-gen-2011 | Grasso, E; Rossi, Piercarlo; Violato, A. | |
| Eunomos, a Web 3.0 Legal Knowledge Management System that Helps People Make Sense of the Law | 1-gen-2011 | Boella, G; Humphreys, L; Martin, M; Rossi, Piercarlo; VAN DER TORRE, L. | |
| Dynamic Phosphorylation/Dephosphorylation of a Voltage-Gated K+ Channel Controls Non- associative Learning | 1-gen-2011 | Cotella, Diego; Sesti, F. | |
| La scuola italiana e gli alunni stranieri. Alcune riflessioni | 1-gen-2011 | Brusa, Carlo Angelo | |
| Esame petrografico e biologico della stele bilingue del Museo Leone di Vercelli | 1-gen-2011 | Compagnoni, R; Sampo', Simonetta | |
| Organic-inorganic mesoporous hybrid materials based on structural diamines for base catalysis | 1-gen-2011 | Gianotti, Enrica; Diaz, U; Coluccia, S; Corma, A. | |
| Juan Caramuel Lobkowitz, erudito multiforme. L'energia metafisica dell'arte tipografica | 1-gen-2011 | Sini, Stefania Irene |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...4710
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa17
- 2020 - 2026477
- 2010 - 20191541
- 2000 - 20091901
- 1990 - 1999595
- 1980 - 1989156
- 1970 - 197923
- 1969 - 19691
Editore
- Springer118
- IEEE46
- IEEE Computer Society43
- CEUR-WS34
- Springer Verlag30
- ACM25
- Springer-Verlag24
- IOS Press22
- Institute of Electrical and Elect...20
- CEUR-WS.org18
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE60
- LECTURE NOTES IN ARTIFICIAL INTEL...34
- BOLLETTINO-LEGA ITALIANA CONTRO L...29
- CEUR WORKSHOP PROCEEDINGS16
- ELECTRONIC PROCEEDINGS IN THEORET...13
- FORENSIC SCIENCE INTERNATIONAL: G...9
- POS PROCEEDINGS OF SCIENCE9
- PROCEEDINGS OF THE PME CONFERENCE9
- STUDIES IN HEALTH TECHNOLOGY AND ...9
- ELECTRONIC NOTES IN THEORETICAL C...8
Serie
- CEUR WORKSHOP PROCEEDINGS50
- LECTURE NOTES IN COMPUTER SCIENCE38
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- PROCEEDINGS OF THE AMERICAN ACADE...6
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- AIP CONFERENCE PROCEEDINGS4
- THEMATA4
- ACTA DIURNA3
- BIBLIOTECA DELLA SOCIETÀ STORICA ...3
- CONTRIBUTIONS TO STATISTICS3
Keyword
- Case-Based Reasoning21
- Computer Science (all)17
- Medical Informatics13
- Twitter13
- Synthetic aperture radar11
- Bayesian Networks10
- Dynamic Bayesian Networks10
- melanoma10
- Software10
- monasteri9
Lingua
- eng2461
- ita1370
- fre80
- spa35
- ger24
- rus9
- lat8
- und5
- cat3
- por2
Accesso al fulltext
- no fulltext3713
- reserved513
- open267
- restricted210
- partially open8