Sasa Buvac

Publication Activity (10 Years)

Years Active: 1993-2003
Publications (10 Years): 0

Publications

Sasa Buvac
A Deduction Theorem for Normal Modal Propositional Logic. CONTEXT (2003)
Sasa Buvac, Megumi Kameyama
Introduction: Toward a Unified Theory of Context? J. Log. Lang. Inf. 7 (1) (1998)
Sasa Buvac
Quantificational Logic of Context. AAAI/IAAI, Vol. 1 (1996)
Sasa Buvac, Richard Fikes
A Declarative Formalization of Knowledge Translation. CIKM (1995)
Sasa Buvac, Vanja Buvac, Ian A. Mason
Metamathematics of Contexts. Fundam. Informaticae 23 (2/3/4) (1995)
Sasa Buvac, Vanja Buvac, Ian A. Mason
The Semantics of Propositional Contexts. ISMIS (1994)
Sasa Buvac, Ian A. Mason
Propositional Logic of Context. AAAI (1993)