Volume 24, Number 1, April 2010 Automated Deduction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ki/BaumgartnerT10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ki/SchulenburgEFHS10 export record as
dblp key:
export record as
dblp key:
journals/ki/Schneider-Kamp10 Peter Schneider-Kamp :
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving.
79-81
export record as
dblp key:
Volume 24, Number 2, July 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ki/HellingrathB10 export record as
dblp key:
Jürgen Sauer :
Vertical Data Integration for Reactive Scheduling.
123-129
export record as
dblp key:
export record as
dblp key:
journals/ki/GehrkeHLMPW10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ki/Pawlaszczyk10 Dirk Pawlaszczyk :
Skalierbare Agentenbasierte Simulation - Verteilte Simulation agentenbasierter Modelle.
161-163
export record as
dblp key:
Andre Döring :
Intelligente Steuerung der Änderungsplanung in Produktionsnetzwerken der Serienfertigung.
165-168
export record as
dblp key:
Babak Mougouie :
Integration of Similarity-based and Deductive Reasoning for Knowledge Management.
169-173
export record as
dblp key:
Alexander Ferrein :
Robot Controllers for Highly Dynamic Environments with Real-time Constraints.
175-178
Volume 24, Number 3, September 2010 Simultaneous Localization and Mapping
export record as
dblp key:
export record as
dblp key:
Udo Frese :
Simultaneous Localization and Mapping - Gasteditorial.
189
export record as
dblp key:
export record as
dblp key:
journals/ki/KretzschmarGS10 export record as
dblp key:
export record as
dblp key:
journals/ki/SunderhaufP10 export record as
dblp key:
journals/ki/KirschKSALBHBG10 export record as
dblp key:
export record as
dblp key:
journals/ki/SchwendnerK10 export record as
dblp key:
journals/ki/HertzbergLLNSW10 export record as
dblp key:
export record as
dblp key:
Udo Frese :
Interview: Is SLAM Solved?
255-257
export record as
dblp key:
Tobias Reiter :
Fallbasierte Entscheidungsunterstützung für die Strukturplanung von Jahresabschlussprüfungen.
259-262
export record as
dblp key:
export record as
dblp key:
Radu Bogdan Rusu :
Andreas Nüchter (2009): 3D Robotic Mapping: The Simultaneous Localization and Mapping Problem with Six Degrees of Freedom (Springer Tracts in Advanced Robotics 52) - Springer, Berlin/Heidelberg, 204 pp., ISBN 978-3-540-89883-2, e-ISBN 978-3-540-89884-9.
267
Volume 24, Number 4, November 2010 Cognition for Technical Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/ki/MaycockDEHSR10 export record as
dblp key:
journals/ki/DillmannADJKAUSL10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Helge Ritter :
Cognitive Interaction Technology - Goals and Perspectives of Excellence Cluster CITEC.
319-322
export record as
dblp key:
export record as
dblp key:
journals/ki/FreksaSSTBHN10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Radu Bogdan Rusu :
Semantic 3D Object Maps for Everyday Manipulation in Human Living Environments.
345-348
export record as
dblp key:
Daniel Göhring :
Constraint Based World Modeling for Multi Agent Systems in Dynamic Environments.
349-353
export record as
dblp key:
Thomas Sauer :
Automated Enactment Tracking for Dynamic Workflows.
355-359
data released under the ODC-BY 1.0 license
