Terminological Logic Involving Time and Evolution: A Preliminary Report.

Patrick Lambrix Ralph Rönnquist

Published in: ISMIS (1993)

Keyphrases

knowledge base
modal logic
multi valued
classical logic
real time
logic programming
information systems
multi agent
knowledge representation
highly expressive
expressive power
computational properties
artificial life
nonmonotonic logics
modal operators