Intelligent formal methods : Combining deductive and inductive reasoning to build reliable systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern-Landau, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Habilitationsschrift, 2022
- Schlagwort
-
Automatisches Beweisverfahren
Formale Methode
Softwareentwicklung
Programmverifikation
Verifikation
Maschinelles Lernen
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern-Landau
- (wer)
-
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:hbz:386-kluedo-81783
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
2025-03-25T13:41:23+0100
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
- Neider, Daniel
- Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Entstanden
- 2022
Ähnliche Objekte (12)
Conceptual fluency in inductive reasoning
Terminological reasoning and partial inductive definitions
Inductive Reasoning, Conditionals, and Belief Dynamics
The role of rule knowledge in inductive reasoning
A general non-probabilistic theory of inductive reasoning
The evolution of ethnocentrism revisited: An agent-based model with inductive reasoning
Combining terminological and rule-based reasoning for abstraction processes
Combining CVMFS, Nix, Lmod, and EasyBuild at Compute Canada
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Managing risks in supply chains : how to build reliable collaboration in logistics
Combining product- and resource-related reasoning for agent-based production automation
Conceptual fluency in inductive reasoning
Terminological reasoning and partial inductive definitions
Inductive Reasoning, Conditionals, and Belief Dynamics
The role of rule knowledge in inductive reasoning
A general non-probabilistic theory of inductive reasoning
The evolution of ethnocentrism revisited: An agent-based model with inductive reasoning
Combining terminological and rule-based reasoning for abstraction processes
Combining CVMFS, Nix, Lmod, and EasyBuild at Compute Canada
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Managing risks in supply chains : how to build reliable collaboration in logistics
Combining product- and resource-related reasoning for agent-based production automation
Conceptual fluency in inductive reasoning
Terminological reasoning and partial inductive definitions
Inductive Reasoning, Conditionals, and Belief Dynamics
The role of rule knowledge in inductive reasoning
A general non-probabilistic theory of inductive reasoning
The evolution of ethnocentrism revisited: An agent-based model with inductive reasoning
Combining terminological and rule-based reasoning for abstraction processes
Combining CVMFS, Nix, Lmod, and EasyBuild at Compute Canada
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Managing risks in supply chains : how to build reliable collaboration in logistics