1
0
0
(1 - 13 von 13
)
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 ...
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 ...
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,
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, ...
Franz-Josef GroschDBLP
dblp.uni-trier.de
— Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele: Synchronized Shared Memory and Procedural Abstraction: Towards a — Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele: Synchronized Shared Memory and Procedural Abstraction: Towards a ...
CEUR-WS.org/Vol st International Workshop on Stream Reasoning...
ftp.informatik.rwth-aachen.de
von E Della Valle10 Jun Gulay Unel, Florian Fischer and Barry Bishop; Towards a Type System for Semantic Streams Michael Mendler and Stephan Scheele ...
Stephan Scheele - dblpdblp.org › Persons
dblp.org
List of computer science publications by Stephan Scheele Michael Mendler, Stephan Scheele: Towards Constructive DL for Abstraction and Refinement.
Towards Constructive DL for Abstraction and Refinement | SpringerLink
link.springer.com
This work explores some aspects of a new and natural semantical dimension that can be accommodated within the syntax of description logics which opens up w
Towards Constructive DL for Abstraction and Refinement ...link.springer.com › article
link.springer.com
Towards Constructive DL for Abstraction and Refinement. Authors; Authors and affiliations. Michael Mendler; Stephan Scheele Email author.
CAIPI in Practice: Towards Explainable Interactive Medical ...springerprofessional.de
www.springerprofessional.de
verfasst von : Emanuel Slany, Yannik Ott, Stephan Scheele, Jan Paulus, Ute Schmid. Erschienen in: Artificial Intelligence Applications and Innovations. AIAI ... verfasst von : Emanuel Slany, Yannik Ott, Stephan Scheele, Jan Paulus, Ute Schmid. Erschienen in: Artificial Intelligence Applications and Innovations. AIAI ...
FDL | HomeFdl Conference
fdl-conference.com
Friedrich Gretz, Franz-Josef Grosch, Michael Mendler (P) and Stephan Scheele, Synchronized Shared Memory and Procedural Abstraction: Towards a Formal ... Friedrich Gretz, Franz-Josef Grosch, Michael Mendler (P) and Stephan Scheele, Synchronized Shared Memory and Procedural Abstraction: Towards a Formal ...
The Došen Square Under Construction: A Tale of Four ...OUCI
ouci.dntb.gov.ua
Authors: Michael Mendler, Stephan Scheele, Luke Burke. List of references. Acclavio, M., Catta, D., Straßburger, L.: Towards a denotational semantics for ... Authors: Michael Mendler, Stephan Scheele, Luke Burke. List of references. Acclavio, M., Catta, D., Straßburger, L.: Towards a denotational semantics for ...
DL2008 Workshop Accepted papers
dl.kr.org
DL2008 Accepted Papers Accepted for Oral Presentation ... Michael Mendler and Stephan Scheele. Towards Constructive DL for Abstraction and Refinement.
Alle Infos zum Namen "Stephan Scheele"
sortiert nach Relevanz / Datum