Structure-Preserving Specification Languages for Knowledge-Based Systems (1996)

View PDF

Download Links

by Frank Van Harmelen , Manfred Aben
Venue:Journal of Human Computer Studies
Citations:16 - 2 self

Active Bibliography

5 Formal Methods in Knowledge Engineering – Frank Van Harmelen, Dieter Fensel - 1995
635 Case-based reasoning; Foundational issues, methodological variations, and system approaches – Agnar Aamodt, Enric Plaza - 1994
1571 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993
1237 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
859 The Temporal Logic of Actions – Leslie Lamport - 1993
560 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
1213 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
531 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000