KI 2009: Advances in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

91
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642046162, 9783642046179
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Comparing Two Approaches for the Recognition of Temporal Expressions

2009 ◽  
pp. 225-232 ◽  
Author(s):  
Oleksandr Kolomiyets ◽  
Marie-Francine Moens
Keyword(s):  
Temporal Expressions

An Intelligent Fuzzy Agent for Spatial Reasoning in GIS

2009 ◽  
pp. 639-647
Author(s):  
Rouzbeh Shad ◽  
Mohammad Saadi Mesgari ◽  
Hamid Ebadi ◽  
Abbas Alimohammadi ◽  
Aliakbar Abkar ◽  
...  
Keyword(s):  
Spatial Reasoning

Building Geospatial Data Collections with Location-Based Games

2009 ◽  
pp. 703-710 ◽  
Author(s):  
Sebastian Matyas ◽  
Peter Wullinger ◽  
Christian Matyas
Keyword(s):  
Geospatial Data ◽  
Data Collections

Toward Heterogeneous Cardinal Direction Calculus

2009 ◽  
pp. 452-459 ◽  
Author(s):  
Yohei Kurata ◽  
Hui Shi
Keyword(s):  
Cardinal Direction

scholarly journals Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning

2009 ◽  
pp. 468-475 ◽  
Author(s):  
Florian Pommerening ◽  
Stefan Wölfl ◽  
Matthias Westphal
Keyword(s):  
Qualitative Reasoning ◽  
Use Case ◽  
Right Of Way

External Sources of Axioms in Automated Theorem Proving

2009 ◽  
pp. 281-288 ◽  
Author(s):  
Martin Suda ◽  
Geoff Sutcliffe ◽  
Patrick Wischnewski ◽  
Manuel Lamotte-Schubert ◽  
Gerard de Melo
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving ◽  
External Sources
Load More ...
Sign in / Sign up

Export Citation Format

Share Document