Applications for Symbol Elimination in Combination with Hierarchical Reasoning
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Koblenz, Universität Koblenz, Dissertation, 2024
- Schlagwort
-
Automatisches Beweisverfahren
Inferenz
Terminologische Logik
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Koblenz
- (wer)
-
Universität Koblenz
- (wann)
-
2024
- Urheber
-
Peuter, Dennis
- Beteiligte Personen und Organisationen
-
Sofronie-Stokkermans, Viorica
Ghilardi, Silvio
Fontaine, Pascal
- URN
-
urn:nbn:de:hbz:kob7-25076
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Peuter, Dennis
- Sofronie-Stokkermans, Viorica
- Ghilardi, Silvio
- Fontaine, Pascal
- Universität Koblenz
Entstanden
- 2024
Ähnliche Objekte (12)
Hierarchical contextual reasoning
Practical reasoning as the combination of ends
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Hierarchical Voronoi graphs : spatial representation and reasoning for mobile robots
Hierarchical Multi-Label Classification Using Web Reasoning for Large Datasets
A hierarchical procedure for the combination of forecasts
Local theory extensions, hierarchical reasoning and applications to verification : preliminary report
Three Ways to Link Merge with Hierarchical Concept-Combination
New bortezomib-based combination therapy for elimination of myeloma cells
Hierarchical Storage Model and Priority Ranking Method of Rules in Rule-based Reasoning System
Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data
The Hierarchical Symbol Integration Model of Individual Differences in Mathematical Skill
Hierarchical contextual reasoning
Practical reasoning as the combination of ends
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Hierarchical Voronoi graphs : spatial representation and reasoning for mobile robots
Hierarchical Multi-Label Classification Using Web Reasoning for Large Datasets
A hierarchical procedure for the combination of forecasts
Local theory extensions, hierarchical reasoning and applications to verification : preliminary report
Three Ways to Link Merge with Hierarchical Concept-Combination
New bortezomib-based combination therapy for elimination of myeloma cells
Hierarchical Storage Model and Priority Ranking Method of Rules in Rule-based Reasoning System
Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data
The Hierarchical Symbol Integration Model of Individual Differences in Mathematical Skill
Hierarchical contextual reasoning
Practical reasoning as the combination of ends
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction
Hierarchical Voronoi graphs : spatial representation and reasoning for mobile robots
Hierarchical Multi-Label Classification Using Web Reasoning for Large Datasets
A hierarchical procedure for the combination of forecasts
Local theory extensions, hierarchical reasoning and applications to verification : preliminary report
Three Ways to Link Merge with Hierarchical Concept-Combination
New bortezomib-based combination therapy for elimination of myeloma cells
Hierarchical Storage Model and Priority Ranking Method of Rules in Rule-based Reasoning System
Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data