Browsing by Index of Persons Siekmann, Jörg

Jump to: 0-9 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
or enter first few letters:  
Showing results 1 to 16 of 16
Year of PublicationTitleAuthor(s)Open Access
2011Assertion level proof planning with compiled strategiesDietrich, Dominik
2012Authoring of semantic mathematical content for learning on the webLibbrecht, Paul
2010A change-oriented architecture for mathematical authoring assistanceWagner, Marc
1999Holonic multi-agent systemsGerber, Christian; Siekmann, Jörg; Vierke, Gero
2018Intelligent tutoring in virtual reality for highly dynamic pedestrian safety trainingGu, Yecheng
1994A mechanization of sorted higher-order logic based on the resolution principleKohlhase, Michael
2010MENON : automating a Socratic teaching model for mathematical proofsTsovaltzi, Dimitra
2000Model generation for natural language interpretation and analysisKonrad, Karsten
2012A model-driven approach for organizations in multiagent systemsMadrigal Mora, Cristián
2006Modellierung und Analyse individuellen Konsumentenverhaltens mit probabilistischen HolonenSchwaiger, Arndt Stephan Georg
2013A platform-independent domain-specific modeling language for multiagent systemsHahn, Christian Steven
2005Saturation-based decision procedures for extensions of the guarded fragmentKazakov, Yevgeny
2006SimMarket: Simulation des Abverkaufsverhaltens von Artikeln des Einzelhandels mit orobalbilistischen AgentenStahmer, Björn Patrick
2008String unification is essentially infinitaryHoche, Michael; Siekmann, Jörg; Szabo, Peter
2005A Study of Chinese Named Entity and Relation Identification in a Specific DomainYao, Tianfang
2006Transformations of specifications and proofs to support an evolutionary formal software developmentSchairer, Axel