Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jörg Siekmann
Observed name:
Siekmann, Jörg H.
Observed institutions:
German Research Centre for Artificial Intelligence,
Saarland University
OpenAlex ID:
A5109350386
Tutorial dialogs on mathematical proofs
2003
·
Christoph Benzmüller
, Armin Fiedler
, et al.
·
Swinburne figshare (Swinburne University of Technology)
·
40
LΩUI: Lovely ΩMEGA User Interface
1999
·
Jörg Siekmann
, Stephan Hess
, et al.
·
Formal Aspects of Computing
·
37
A Wizard of Oz Experiment for Tutorial Dialogues in Mathematics
2003
·
Christoph Benzmüller
, Armin Fiedler
, et al.
·
Swinburne figshare (Swinburne University of Technology)
·
35
Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action
1994
·
Peter Haddawy
, Jaime Carbonell
, et al.
·
35
Natural Language Dialog with a Tutor System for Mathematical Proofs
2007
·
Christoph Benzmüller
, Helmut Horacek
, et al.
·
Springer eBooks
·
21
ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System
2010
·
Serge Autexier
, Christoph Benzmüller
, et al.
·
Cognitive technologies
·
10
Adaptive Course Generation and Presentation
2000
·
Jörg Siekmann
, Christoph Benzmüller
, et al.
·
9
Analogical Reasoning with Typical Examples
1992
·
Kerber, Manfred
, Melis, Erica
, et al.
·
4
Challenges in Search and Usage of Multi-media Learning Objects
2007
·
Erica Melis
, Ruimin Shen
, et al.
·
Lecture notes in computer science
·
1
DIALOG: Natural Language-based Interaction with a Mathematics Assistance System
2004
·
Manfred Pinkal
, Jörg Siekmann
, et al.
·
1
Proceedings of the second international workshop on Intelligent agents for telecommunication applications
1999
·
Şahin Albayrak
, Francisco J. Garijo
, et al.
·
1
Analogical Reasoning with a Hybrid Knowledge Base
1999
·
Manfred Kerber
, Erica Melis⋆
, et al.
·
Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)
·
1
Künstliche Intelligenz
2022
·
Jörg Siekmann
·
Verlag Karl Alber eBooks
Semantic Model Extraction from Semi-Structured Textual Resources
2015
·
Özgün Erensoy
, Jörg Siekmann
, et al.
·
MPG.PuRe (Max Planck Society)
Show more works
View as search
Works count:
14
Citation count:
195
H-index:
7
I10-index:
6
Year
Topic
Type