Author of the publication

Formally Verifying Dynamic Properties of Knowledge Based Systems.

, , and . EKAW, volume 1621 of Lecture Notes in Computer Science, page 157-171. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining learning and reasoning: new challenges for knowledge graphs.. EGC, volume E-35 of RNTI, page 1-2. Éditions RNTI, (2019)Applying rule-base anomalies to KADS inference structures.. Decis. Support Syst., 21 (4): 271-280 (1997)Specification of Dynamics for Knowledge-Based Systems., , , , , and . Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, page 37-68. Springer, (1998)A Contextualised Semantics for owl: sameAs., , and . ESWC, volume 9678 of Lecture Notes in Computer Science, page 405-419. Springer, (2016)Media, Politics and the Semantic Web., , and . ESWC, volume 4519 of Lecture Notes in Computer Science, page 205-219. Springer, (2007)Is my:sameAs the same as your:sameAs?, , , , and . The ninth international conference on knowledge capture: k-cap 2017, (2017)Semantically Mapping Science (SMS) Platform, , , , and . SemSci 2017: Enabling Open Semantic Science, page 1-6. CEUR workshop proceedings, (2017)Formally Verifying Dynamic Properties of Knowledge Based Systems., , and . EKAW, volume 1621 of Lecture Notes in Computer Science, page 157-171. Springer, (1999)Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems., , and . EKAW, volume 1937 of Lecture Notes in Computer Science, page 403-418. Springer, (2000)A Topic-Based Browser for Large Online Resources., , , , , , , , , and 1 other author(s). EKAW, volume 3257 of Lecture Notes in Computer Science, page 433-448. Springer, (2004)