A software specification language Templar is defined in this article. The development of thelanguage was guided by the following objectives: requirements specifications written in Templarshould have a clear syntax and formal semantics, should be easy for a systems analyst to developand for an...

Knowledge bases constitute the core of those Artificial Intelligenceprograms which have come to be known as Expert Systems. Anexamination of the most dominant knowledge representation schemes usedin these systems reveals that a knowledge base can, and possiblyshould, be described at several...

A software specification language Templar is defined. The language is based on temporallogic and on the Activity-Event-Condition-Activity model of a rule which is an extension ofthe Event-Condition-Activity model in active databases. The language supports a rich setof modeling primitives,...