Sanja Vranes

Information about the author Sanja Vranes will soon be added to the site.

Found 2 papers in total

An overview of some truth maintenance systems

1995

Many treatments of formal and informal reasoning in mathematical logic and artificial...

Blackboard metaphor in tactical decision making

1992

The objective of this paper is to give an overview of some work the authors have done...

Papers per page: