Makarios, S.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-06-07
- Makarios, S.; Heuer, K.; Fikes, R.
Computational Context Logic and Species of $ist$.
2006.
- KSL-06-08
- Makarios, S.
A Model Theory for a Quantified Generalized Logic of Contexts.
2006.
- KSL-06-09
- Makarios, S.; Heuer, K.
Building-In New Inference Rules for Computational Context Logic.
2006.
- KSL-06-10
- Makarios, S.; Guha, R.V.
Any $ist_{AON}$ Quantified Context Logic has a First-Order Semantics.
2006.
- KSL-06-11
- Makarios, S.; Heuer, K.
Any $ist_{AO}$ Quantified Context Logic has a First-Order Semantics.
2006.
- KSL-04-05
- Fikes, R. & Makarios, S. KANI Time Ontology. Knowledge Systems Laboratory, June, 2004.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]