|
Thomas Wetter (1990): First Order Logic Foundation of the KADS Conceptual Model
Title: |
First Order Logic Foundation of the KADS Conceptual Model |
Author(s): |
Thomas Wetter |
Year: |
1990 |
Booktitle: |
Current Trends in Knowledge Acquisition |
Editor(s): |
Bob Wielinga and John Boose and Brian Gaines and Guus Schreiber and Maarten van Someren |
Pages: |
356-375 |
Publisher: |
{IOS} |
Address: |
Amsterdam, Washington, Tokyo |
Concepts
|
|