1
0
0
(1 - 21 von 21
)
Model and Proof Theory of Constructive ALC: Constructive ...google.de
books.google.de
Constructive Description Logics Stephan Scheele. Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich ... Stephan ...
Proof Search in Multi-Agent Dialogues for Modal Logicgoogle.de
books.google.de
... Stephan Scheele. Towards constructive DL for abstraction and refinement. Journal of Automated Reasoning, 44:207–243, [112] Michael Mendler and Stephan ...
Digitale Arbeitsumgebungen in der ProduktentstehungGoogle Books
books.google.com
Stephan Scheele, Daniel Mau, David Foullois, Frank Mantwill. Publisher, Thelem Universitätsverlag & Buchhandlung GmbH & Company KG, Export Citation ... Stephan Scheele, Daniel Mau, David Foullois, Frank Mantwill. Publisher, Thelem Universitätsverlag & Buchhandlung GmbH & Company KG, Export Citation ...
Artificial Intelligence Applications and Innovations. AIAI ...google.de
books.google.de
... .de Faculty of Electrical Engineering, Precision Engineering, Information Technology, Nuremberg Institute of ...
Artificial Intelligence. ECAI International Workshops: ...google.de
books.google.de
... stephan . .de University of Bamberg - Cognitive Systems Group , Bamberg , Germany 1 Abstract . Explanatory ...
Automated Reasoning with Analytic Tableaux and Related ...google.de
books.google.de
... Stephan Scheele( B ), and Luke Burke University of Bamberg, Bamberg, Germany Abstract. In classical modal logic, necessity ...
Kreditinstitute und Cross Risks: Ein Beitrag zur Theorie des ...google.de
books.google.de
... Stephan/Scheele, Stefan (2001) 175 Vgl. Süchting, Joachim (1987), S Cozens zieht als Fazit einer Untersuchung über das Treasury Management von ...
Pattern Recognition and Artificial Intelligence: Third ...google.de
books.google.de
... .de Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Germany {marvin.herchenbach,dennis.mueller}@fau ...
Author: Stephan Scheele - EasyChaireasychair.org › publications › author › gSSW
easychair.org
Author:Stephan Scheele. Publications. Towards a Simply Typed CALculus for Semantic Knowledge Bases · Michael Mendler and Stephan Scheele. In ...
Model and Proof Theory of Constructive ALC: Constructive ...books.google.com › books
books.google.com
Constructive Description Logics Stephan Scheele. Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität ...
Proof Search in Multi-Agent Dialogues for Modal Logicbooks.google.com › books
books.google.com
[111] Michael Mendler and Stephan Scheele. Towards constructive DL for abstraction and refinement. Journal of Automated Reasoning, 44:207–243,
Logics in Artificial Intelligence: 12th European Conference, JELIA...
books.google.cz
This book constitutes the refereed proceedings of the 5th International Conference on E-learning and Games, Edutainment 2010, held in Changchun, China, in...
The CHORCH Approach: How to Model B2Bi Choreographies for...
books.google.co.uk
Mostafa Madiesh, Stephan Scheele, Philipp Eittenberger, Dr. Daniel Beimborn, Nils Joachim and Prof. Dr. Udo Krieger for discussions and motivation. Special ...
Towards Constructive Description Logics for Abstraction and...
books.google.com.ua
Towards Constructive Description Logics for Abstraction and Refinement. Front Cover. Stephan Scheele, Michael Mendler. Otto-Friedrich-Universität Bamberg, ...
Catharsis in Healing, Ritual, and Drama - Thomas J. Scheff - Google...
books.google.de
7. Humor. and. Tension: The. Effects. of. Comedy. Written with Stephan C. Scheele This chapter concerns the problem of the effect of humor: Is laughter good ...
Kemptner Zeitung: 1874,1 - Google Books
books.google.de
Bulow, Stephan, Scheele Theil nahmen. – Hoffmann von Fallersleben hat am 8. Jan. einen Schlaganfall gehabt und liegt krank auf Schloß Corvey darnieder.
Kreditinstitute und Cross Risks: Ein Beitrag zur Theorie des...
books.google.de
Dieter Gramlich trägt auf mehrfache Weise zur Erweiterung des Verständnisses für Cross Risks bei. Für das Beziehungsgefüge zwischen Risiken entwickelt er einen...
Artificial Intelligence Applications and Innovations. AIAI books.google.com › books
books.google.com
... Institute for Integrated Circuits IIS, Project Group Comprehensible Artificial Intelligence, Bamberg, Germany {emanuel.slany,yannik.ott,stephan.scheele ...
Automated Reasoning with Analytic Tableaux and Related Methods: ...books.google.com › books
books.google.com
... Construction: A Tale of Four Modalities Michael Mendler, Stephan Scheele( B ), and Luke Burke University of Bamberg, Bamberg, Germany stephan.scheele ...
KI 2021: Advances in Artificial Intelligence: 44th German ...books.google.com › books
books.google.com
... Sensory Perception & Analytics, Fraunhofer Institute for Integrated Circuits IIS, Erlangen, Germany stephan.scheele ...
Pattern Recognition and Artificial Intelligence: Third ...books.google.com › books
books.google.com
... Schmid1, Sensory Perception and Analytics | Comprehensible AI, Fraunhofer Institute for Integrated Circuits IIS, Erlangen, Germany {stephan.scheele ...
sortiert nach Relevanz / Datum