Author of the publication

Proof Explanation in the DR-DEVICE System.

, , and . RR, volume 4524 of Lecture Notes in Computer Science, page 249-258. Springer, (2007)

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

Adverse Drug Event Prevention in Neonatal Care: A Rule-Based Approach., , , , , and . EFMI-STC, volume 186 of Studies in Health Technology and Informatics, page 170-174. IOS Press, (2013)A Non-Uniform Data Fragmentation Strategy for Parallel Main-Menory Database Systems., and . VLDB, page 370-381. Morgan Kaufmann, (1995)Capturing RDF Descriptive Semantics in an Object Oriented Knowledge Base System., and . WWW (Posters), (2003)EVLib: A Library for the Management of the Electric Vehicles in the Smart Grid., , , and . SETN, page 13:1-13:4. ACM, (2016)Semantically-enhanced authoring of defeasible logic rule bases in the semantic web., , and . WIMS, page 56:1-56:4. ACM, (2012)Deploying a Semantically-Enabled Content Management System in a State University., , , , and . EGOVIS, volume 6267 of Lecture Notes in Computer Science, page 257-264. Springer, (2010)Preface., , and . Int. J. Artif. Intell. Tools, 27 (4): 1802002:1-1802002:3 (2018)Παράλληλη διαχείριση βάσεων γνώσης. Aristotle University Of Thessaloniki, Greece, (1998)National Archive of PhD Theses: oai:10442/10587.R-DEVICE: An Object-Oriented Knowledge Base for RDF Metadata., and . Int. J. Semantic Web Inf. Syst., 2 (2): 24-90 (2006)Advances in Multi-agent Systems Research: EUMAS 2020 Extended Selected Papers., and . SN Comput. Sci., 2 (5): 347 (2021)