Stephan Scheele und Proof - Info zur Person

(1 - 7 von 7

)

Stephan Scheele - The Mathematics Genealogy ProjectThe Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Dissertation: Model and Proof Theory of Constructive ALC, Constructive Description Logics. Mathematics Subject Classification: 68—Computer science. Dissertation: Model and Proof Theory of Constructive ALC, Constructive Description Logics. Mathematics Subject Classification: 68—Computer science.

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 ...

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,

Model and Proof Theory of Constructive ALC: Constructive OPUS 4

fis.uni-bamberg.de

Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte. Informatik der Otto-Friedrich-Universität Bamberg Stephan M. Scheele. Model and Proof Theory of Constructive ALC. Constructive Description ·I, which is based on classical first-order logic, i.e., concepts are interpreted as unary predicates over ∆I ...

Model and proof theory of constructive ALC - Semantic Scholarwww.semanticscholar.org › paper › Model-and-pro...

www.semanticscholar.org

Semantic Scholar extracted view of "Model and proof theory of constructive ALC: constructive description logics" by Stephan Scheele.

Alle Infos zum Namen "Stephan Scheele"

Verwandte Suchanfragen zu Stephan Scheele

Michael Mendler
Hansjörg Schifferer
Fritz Hauser

Jose Vettiyankal
Thorben Hülsebusch
Ingrid Strootmann

Alfred Strootmann
Julia Heilemann

Person "Scheele" (7)
Vorname "Stephan" (35305)
Name "Scheele" (706)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Stephan Scheele und Proof Person-Info