| |
| 2003 | ||
|---|---|---|
| 7 | EE | Sasa Buvac: A Deduction Theorem for Normal Modal Propositional Logic. CONTEXT 2003: 107-115 |
| 1998 | ||
| 6 | Sasa Buvac, Megumi Kameyama: Introduction: Toward a Unified Theory of Context? Journal of Logic, Language and Information 7(1): 1 (1998) | |
| 1996 | ||
| 5 | Sasa Buvac: Quantificational Logic of Context. AAAI/IAAI, Vol. 1 1996: 600-606 | |
| 1995 | ||
| 4 | EE | Sasa Buvac, Richard Fikes: A Declarative Formalization of Knowledge Translation. CIKM 1995: 340-347 |
| 3 | Sasa Buvac, Vanja Buvac, Ian A. Mason: Metamathematics of Contexts. Fundam. Inform. 23(2/3/4): 263-301 (1995) | |
| 1994 | ||
| 2 | Sasa Buvac, Vanja Buvac, Ian A. Mason: The Semantics of Propositional Contexts. ISMIS 1994: 468-477 | |
| 1993 | ||
| 1 | Sasa Buvac, Ian A. Mason: Propositional Logic of Context. AAAI 1993: 412-419 | |
| 1 | Vanja Buvac | [2] [3] |
| 2 | Richard Fikes | [4] |
| 3 | Megumi Kameyama | [6] |
| 4 | Ian A. Mason | [1] [2] [3] |