Specification of Dynamics for Knowledge-Based Systems

Authors:
Pascal van Eck;Joeri Engelfriet;Dieter Fensel;Frank van Harmelen;Yde Venema;Mark Willems
Affiliations:
-;-;-;-;-;-
Venue:
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Year:
1996

Citing 0
Cited 3

Formally Verifying Dynamic Properties of Knowledge Based Systems

EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
A software architecture for knowledge-based systems

The Knowledge Engineering Review
Problem-solving methods: understanding, description, development, and reuse

Problem-solving methods: understanding, description, development, and reuse

Quantified Score

Hi-index	0.00

Visualization

Abstract