https://github.com/dwolter/SparQ
Raw File
Tip revision: 6dcf5c3e9aacbf659ed3d7f2546c89760ec37df9 authored by Diedrich Wolter on 29 November 2023, 11:44:23 UTC
dropped restriction to use symbolic names for entities so numbers work too
Tip revision: 6dcf5c3
CREDITS

SparQ's development has started in context of the research project 
"Q-Shape: reasoning about paths, shapes, and configurations" 
as part of the transregional collaborative research center on
spatial cognition. Financial support by the Deutsche Forschungsgesellschaft 
is gratefully acknowledged. 

The people behind SparQ are:

Frank Dylla           - calculi and qualification libraries
Lutz Frommberger      - script and make magic, OPRA composition library
Jae Hee Lee           - OPRA composition library
Jan Oliver Wallgruen  - calculi, testing, and neighborhood-based reasoning
Diedrich Wolter       - the rest

back to top