Hochschulschrift
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9781614999195
9783898387392
- Maße
-
21 cm
- Umfang
-
xiii, 231 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Freie Universität Berlin, Dissertation, 2018
- Erschienen in
-
Dissertationen zur künstlichen Intelligenz ; Volume 345
- Schlagwort
-
Automatisches Beweisverfahren
Prädikatenlogik
Stufe n
Termersetzungssystem
Unifikationstheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Amsterdam
- (wer)
-
Akademische Verlagsgesellschaft AKA GmbH, IOS Press
- (wann)
-
[2018]
- Urheber
-
Steen, Alexander
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:44 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Steen, Alexander
- Akademische Verlagsgesellschaft AKA GmbH, IOS Press
Entstanden
- [2018]
Ähnliche Objekte (12)
Description logic rules
![Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]](/assets/placeholder/searchResultMediaUnknown.png)
Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]
Learning and modeling with probabilistic conditional logic
From logic programming to human reasoning: how to be artificially human
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
The Origin and the Evolution of Firms: Information as a Driving Force
Higher-order constraint logic programming
Engineering background knowledge for social robots
The GeoMap representation : on topologically correct sub-pixel image analysis
Shaping emerging technologies : governance, innovation, discourse
Model-based transformations for quantified boolean formulas
Symbol grounding as the generation of mental representations
Description logic rules
Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]
Learning and modeling with probabilistic conditional logic
From logic programming to human reasoning: how to be artificially human
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
The Origin and the Evolution of Firms: Information as a Driving Force
Higher-order constraint logic programming
Engineering background knowledge for social robots
The GeoMap representation : on topologically correct sub-pixel image analysis
Shaping emerging technologies : governance, innovation, discourse
Model-based transformations for quantified boolean formulas
Symbol grounding as the generation of mental representations
Description logic rules
Open science practices in higher education. Discussion of survey results from research and teaching staff in Germany. [Preprint]
Learning and modeling with probabilistic conditional logic
From logic programming to human reasoning: how to be artificially human
Knowledge representation and inductive reasoning using conditional logic and sets of ranking functions
The Origin and the Evolution of Firms: Information as a Driving Force
Higher-order constraint logic programming
Engineering background knowledge for social robots
The GeoMap representation : on topologically correct sub-pixel image analysis
Shaping emerging technologies : governance, innovation, discourse
Model-based transformations for quantified boolean formulas