Erscheinungsjahr
Format
Lizenz
Sprache
-
Materialisation and data partitioning algorithms for distributed RDF systems
Freier ZugriffBASE | 2022|Schlagwörter: Automated Reasoning -
MizAR 60 for Mizar 50
Freier ZugriffDataCite | 2023|Schlagwörter: Theory of computation → Automated reasoning, Automated Reasoning -
Extending Maximal Completion (Invited Talk)
Freier ZugriffDataCite | 2019|Schlagwörter: automated reasoning, Theory of computation → Automated reasoning -
ATP and Presentation Service for Mizar Formalizations
Online Contents | 2012|Schlagwörter: Automated reasoning in large theories, Automated reasoning -
Larry Wos: Visions of Automated Reasoning
Online Contents | 2022|Schlagwörter: Automated reasoning -
ATP and Presentation Service for Mizar Formalizations
Online Contents | 2012|Schlagwörter: Automated reasoning in large theories, Automated reasoning -
Consequence-based reasoning for the Description Logic SROIQ
Freier ZugriffBASE | 2020|Schlagwörter: Knowledge Representation and Automated Reasoning -
Unifying tree decompositions for reasoning in graphical models
Elsevier | 2005|Schlagwörter: Automated reasoning -
AI in digital forensics: Ontology engineering for cybercrime investigations
Wiley | 2021|Schlagwörter: automated reasoning -
Implementing semantic merging operators using binary decision diagrams
Elsevier | 2008|Schlagwörter: Automated reasoning -
Multi-context systems in dynamic environments
Online Contents | 2019|Schlagwörter: Automated reasoning -
A Subjective Logic Library Constructed Using Monadic Higher Order Functions
Freier ZugriffBASE | 2014|Schlagwörter: Automated Reasoning -
Decidability of with complex role inclusion axioms
Elsevier | 2004|Schlagwörter: Automated reasoning -
ExpTime tableaux with global state caching for the description logic SHIO
Elsevier | 2014|Schlagwörter: Automated reasoning -
Converse-PDL with regular inclusion axioms: a framework for MAS logics
Taylor & Francis Verlag | 2011|Schlagwörter: automated reasoning -
A logic-based event controller for means-end reasoning in simulation environments
SAGE Publications | 2023|Schlagwörter: automated reasoning
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.