Dusan Velasevic

Information about the author Dusan Velasevic 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...

Reasoning with external data

1993

An important feature of current expert system technology is the possibility of...

Papers per page: