Adding Metalogic Features to Knowledge Representation Languages* (Englisch)
- Neue Suche nach: Costantini, Stefania
- Neue Suche nach: Formisano, Andrea
- Neue Suche nach: Casagrande, Alberto
- Neue Suche nach: Omodeo, Eugenio G.
- Neue Suche nach: Proietti, Maurizio
- Neue Suche nach: Costantini, Stefania
- Neue Suche nach: Formisano, Andrea
In:
Fundamenta Informaticae
;
181
, 1
;
71-98
;
2021
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Adding Metalogic Features to Knowledge Representation Languages*
-
Beteiligte:Casagrande, Alberto / Omodeo, Eugenio G. / Proietti, Maurizio / Costantini, Stefania ( Autor:in ) / Formisano, Andrea ( Autor:in )
-
Erschienen in:Fundamenta Informaticae ; 181, 1 ; 71-98
-
Verlag:
- Neue Suche nach: IOS Press
-
Erscheinungsort:Amsterdam, The Netherlands
-
Erscheinungsdatum:30.06.2021
-
Format / Umfang:28 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 181, Ausgabe 1
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Persistent Stochastic Non-InterferenceHillston, Jane / Marin, Andrea / Piazza, Carla / Rossi, Sabina et al. | 2021
- 37
-
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case*Cantone, Domenico / De Domenico, Andrea / Maugeri, Pietro / Omodeo, Eugenio G. et al. | 2021
- 71
-
Adding Metalogic Features to Knowledge Representation Languages*Costantini, Stefania / Formisano, Andrea et al. | 2021
- v
-
PrefaceCasagrande, Alberto / Omodeo, Eugenio G. / Proietti, Maurizio et al. | 2021