- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning ; day:12 ; month:3 ; year:2024 ; pages:1-6
Künstliche Intelligenz ; (12.3.2024), 1-6
- Creator
-
Bhadra, Meghna
Furbach, Ulrich
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s13218-024-00837-w
- URN
-
urn:nbn:de:101:1-2405150817501.928914748335
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bhadra, Meghna
- Furbach, Ulrich
- SpringerLink (Online service)
Other Objects (12)
A Formal C Memory Model for Separation Logic
Reasoning with logic programming
Logic and causal reasoning
Nonmonotonic logic : context dependent reasoning
Safe Reasoning with Logic LTS
Web ontology reasoning with logic databases
Web ontology reasoning with logic databases
Logical Reasoning in Formal and Everyday Reasoning Tasks
Cognitive reasoning : a formal approach
Logic for programming and automated reasoning : proceedings
Inquiry, reasoning and the normativity of logic
A Logic for Conditional Local Strategic Reasoning
A Formal C Memory Model for Separation Logic
Reasoning with logic programming
Logic and causal reasoning
Nonmonotonic logic : context dependent reasoning
Safe Reasoning with Logic LTS
Web ontology reasoning with logic databases
Web ontology reasoning with logic databases
Logical Reasoning in Formal and Everyday Reasoning Tasks
Cognitive reasoning : a formal approach
Logic for programming and automated reasoning : proceedings
Inquiry, reasoning and the normativity of logic
A Logic for Conditional Local Strategic Reasoning
A Formal C Memory Model for Separation Logic
Reasoning with logic programming
Logic and causal reasoning
Nonmonotonic logic : context dependent reasoning
Safe Reasoning with Logic LTS
Web ontology reasoning with logic databases
Web ontology reasoning with logic databases
Logical Reasoning in Formal and Everyday Reasoning Tasks
Cognitive reasoning : a formal approach
Logic for programming and automated reasoning : proceedings
Inquiry, reasoning and the normativity of logic