skip navigation
Education Home
MAPSAT Research Reports
Contact us
MAPSAT Home
Map & Analyze Patterns & Structures Across Time: MAPSAT
Legacy Site
Research Reports
Introduction to ATIS and Its Application to SimEd
: Axiomatic Theory of Intentional Systems
Axiomatic Logics for ATIS
ATIS Axioms
ATIS Glossary
ATIS Graph Theory