Erscheinungsjahr
Datenquelle
Format
Lizenz
Sprache
-
Streaming MASSIF: Cascading reasoning for efficient processing of IoT data streams
Freier ZugriffBASE | 2018|Schlagwörter: Cascading reasoning, Description logic reasoning, Stream reasoning -
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
Freier ZugriffBASE | 2022|Schlagwörter: Knowledge Representation and Reasoning, Reasoning about action, Applications Knowledge Representation and Reasoning, Automated Reasoning and Theorem Proving -
Qualitative Case-based Reasoning for Humanoid Robot Soccer: a new retrieval and reuse algorithm
Freier ZugriffBASE | 2016|Schlagwörter: Qualitative spatial reasoning, Case-based reasoning -
Materialisation and data partitioning algorithms for distributed RDF systems
Freier ZugriffBASE | 2022|Schlagwörter: Automated Reasoning -
Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)
Freier ZugriffBASE | 2016|Schlagwörter: uncertain reasoning, commonsense reasoning, rational reasoning, similarity-based reasoning:, and analogical reasoning, reasoning on time, abductive reasoning -
Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)
Freier ZugriffBASE | 2016|Schlagwörter: uncertain reasoning, commonsense reasoning, rational reasoning, similarity-based reasoning:, and analogical reasoning, reasoning on time, abductive reasoning -
Robust Stream Reasoning Under Uncertainty
Freier ZugriffBASE | 2019|Schlagwörter: stream reasoning, temporal reasoning, spatial reasoning -
A Probabilistic Model for Real-Time Semantic Prediction of Human Motion Intentions from RGBD-Data
Freier ZugriffBASE | 2021|Schlagwörter: Probabilistic reasoning, Semantic reasoning -
Understanding and improving ontology reasoning efficiency through learning and ranking
Freier ZugriffBASE | 2020|Schlagwörter: Meta-reasoning, Reasoning -
Contextual and Possibilistic Reasoning for Coalition Formation
Freier ZugriffBASE | 2020|Schlagwörter: contextual reasoning, possibilistic reasoning, reasoning under uncertainty -
Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge - a Synthesis and a Roadmap of Challenges (Dagstuhl Seminar 15221)
Freier ZugriffBASE | 2016|Schlagwörter: uncertain reasoning, commonsense reasoning, rational reasoning, similarity-based reasoning:, and analogical reasoning, reasoning on time, abductive reasoning -
Towards a cascading reasoning framework to support responsive ambient-intelligent healthcare interventions
Freier ZugriffBASE | 2018|Schlagwörter: cascading reasoning, stream reasoning -
Unsupervised Recognition of Multi-Resident Activities in Smart-Homes
Freier ZugriffBASE | 2020|Schlagwörter: hybrid reasoning, unsupervised reasoning -
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces
Freier ZugriffBASE | 2022|Schlagwörter: Knowledge Representation and Reasoning, Reasoning about action -
Modeling as Scientific Reasoning - The Role of Abductive Reasoning for Modeling Competence
Freier ZugriffBASE | 2021|Schlagwörter: scientific reasoning, abductive reasoning -
Concreteness and abstraction in everyday explanation
Freier ZugriffBASE | 2017|Schlagwörter: Causal reasoning -
A case-based reasoning view of thrombophilia risk
Freier ZugriffBASE | 2016|Schlagwörter: Knowledge representation and reasoning, Case-based reasoning -
Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation
Freier ZugriffBASE | 2017|Schlagwörter: stream reasoning, temporal reasoning, spatial reasoning -
Abduction in Annotated Probabilistic Temporal Logic
Freier ZugriffBASE | 2011|Schlagwörter: Probabilistic Reasoning, Temporal Reasoning, Abductive Reasoning -
Dataset and Software for Abstraction Materialization Maintenance
Freier ZugriffBASE | 2018|Schlagwörter: Reasoning, OWL 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.