Sasa Buvac

According to our database, Sasa Buvac authored at least 8 papers between 1993 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2004

Modality in the ways of context.

Sasa Buvac

PhD thesis, 2004

2003

A Deduction Theorem for Normal Modal Propositional Logic.

Sasa Buvac

Proceedings of the Modeling and Using Context, 2003

1998

Introduction: Toward a Unified Theory of Context?

Sasa Buvac, Megumi Kameyama

J. Log. Lang. Inf., 1998

1996

Quantificational Logic of Context.

Sasa Buvac

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Metamathematics of Contexts.

Sasa Buvac, Vanja Buvac, Ian A. Mason

Fundam. Informaticae, 1995

A Declarative Formalization of Knowledge Translation.

Sasa Buvac, Richard Fikes

Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995

1994

The Semantics of Propositional Contexts.

Sasa Buvac, Vanja Buvac, Ian A. Mason

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993

Propositional Logic of Context.

Sasa Buvac, Ian A. Mason

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993