Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Fensel, Dieter
and
Straatman, Remco
1996.
Advances in Knowledge Acquisition.
Vol. 1076,
Issue. ,
p.
17.
Pierret-Golbreich, Christine
and
Talon, Xavier
1996.
TFL: an algebraic language to specify the dynamic behaviour of knowledge-based systems.
The Knowledge Engineering Review,
Vol. 11,
Issue. 3,
p.
253.
Fensel, D.
and
Schnogge, A.
1997.
Using KIV to specify and verify architectures of knowledge-based systems.
p.
71.
Brazier, Frances M.T.
and
Wijngaards, Niek J.E.
1997.
Knowledge Acquisition, Modeling and Management.
Vol. 1319,
Issue. ,
p.
323.
van Eck, Pascal
Engelfriet, Joeri
Fensel, Dieter
van Harmelen, Frank
Venema, Yde
and
Willems, Mark
1998.
Transactions and Change in Logic Databases.
Vol. 1472,
Issue. ,
p.
37.
Xu, Dianxiang
1998.
Towards an object-oriented logic framework for knowledge based systems.
Knowledge-Based Systems,
Vol. 10,
Issue. 6,
p.
351.
Fensel, Dieter
Groenboom, Rix
and
de Lavalette, G.R.Renardel
1998.
Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems.
Data & Knowledge Engineering,
Vol. 26,
Issue. 3,
p.
243.
Fensel, D
Rousset, M.-C
and
Decker, S
1998.
Workshop on comparing description and frame logics.
Data & Knowledge Engineering,
Vol. 25,
Issue. 3,
p.
347.
Fensel, D.
Angele, J.
and
Studer, R.
1998.
The knowledge acquisition and representation language, KARL.
IEEE Transactions on Knowledge and Data Engineering,
Vol. 10,
Issue. 4,
p.
527.
Coenen, F.
1998.
Verification and validation issues in expert and database systems: the expert systems perspective.
p.
16.
Studer, Rudi
Benjamins, V.Richard
and
Fensel, Dieter
1998.
Knowledge engineering: Principles and methods.
Data & Knowledge Engineering,
Vol. 25,
Issue. 1-2,
p.
161.
Jansen, M. G.
and
Beys, P.
1999.
Knowledge Acquisition, Modeling and Management.
Vol. 1621,
Issue. ,
p.
341.
Studer, Rudi
Fensel, Dieter
Decker, Stefan
and
Benjamins, V. Richard
1999.
XPS-99: Knowledge-Based Systems. Survey and Future Directions.
Vol. 1570,
Issue. ,
p.
1.
Dondossola, Giovanna
1999.
Validation and Verification of Knowledge Based Systems.
p.
113.
DIESTE, O.
JURISTO, N.
MORENO, A. M.
and
LOPEZ, M.
2000.
INTEGRATED SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING TEACHING EXPERIENCES.
International Journal of Software Engineering and Knowledge Engineering,
Vol. 10,
Issue. 03,
p.
275.
Fensel, D.
and
Motta, E.
2001.
Structured development of problem solving methods.
IEEE Transactions on Knowledge and Data Engineering,
Vol. 13,
Issue. 6,
p.
913.
van Eck, P.
Engelfriet, J.
Fensel, D.
van Harmelen, F.
Venema, Y.
and
Willems, M.
2001.
A survey of languages for specifying dynamics: a knowledge engineering perspective.
IEEE Transactions on Knowledge and Data Engineering,
Vol. 13,
Issue. 3,
p.
462.
Coenen, Frans
Eaglestone, Barry
and
Ridley, Mick
2001.
Verification, validation, and integrity issues in expert and database systems: Two perspectives.
International Journal of Intelligent Systems,
Vol. 16,
Issue. 3,
p.
425.
LE GOC, M.
FRYDMAN, C.
and
TORRES, L.
2002.
Verification and validation of the SACHEM conceptual model.
International Journal of Human-Computer Studies,
Vol. 56,
Issue. 2,
p.
199.
Choppella, Venkatesh
Sengupta, Arijit
Robertson, Edward L.
and
Johnson, Steven D.
2007.
Preliminary explorations in specifying and validating entity-relationship models in PVS.
p.
1.