Formally verifying dynamic properties of KBS

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	157-172
Journal	Lecture Notes in Computer Science
Volume	1621
Publication status	Published - 1999

Proceedings title: Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW99)

Persistent URL (handle)

@article{e07551b6d2fc42a0a550841929623a9d,

title = "Formally verifying dynamic properties of KBS",

author = "P. Groot and \{ten Teije\}, A.C.M. and \{van Harmelen\}, F.A.H.",

note = "Proceedings title: Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW99)",

year = "1999",

language = "English",

volume = "1621",

pages = "157--172",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Formally verifying dynamic properties of KBS

AU - Groot, P.

AU - ten Teije, A.C.M.

AU - van Harmelen, F.A.H.

N1 - Proceedings title: Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW99)

PY - 1999

Y1 - 1999

M3 - Article

SN - 0302-9743

VL - 1621

SP - 157

EP - 172

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -