The Declarative Semantics of KARL
| Authors |
|
|---|---|
| Publication date | 1994 |
| Host editors |
|
| Book title | Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94 Workshop W1: Formal Specification Methods for Knowledge-Based Systems |
| Pages (from-to) | 1-10 |
| Publisher | Londen: John Wiley |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |