New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.AI
2011
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
D. Gabelaia, R. Kontchakov, A. Kurucz +2
cs.AI
2011
Fusions of Description Logics and Abstract Description Systems
F. Baader, C. Lutz, H. Sturm +1