Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/ore/LeeMSP15
%A Lee, Michael
%A Matentzoglu, Nicolas
%A Sattler, Uli
%A Parsia, Bijan
%B ORE
%D 2015
%E Dumontier, Michel
%E Glimm, Birte
%E Gonçalves, Rafael S.
%E Horridge, Matthew
%E Jiménez-Ruiz, Ernesto
%E Matentzoglu, Nicolas
%E Parsia, Bijan
%E Stamou, Giorgos B.
%E Stoilos, Giorgos
%I CEUR-WS.org
%K
%P 46-52
%T Verifying Reasoner Correctness - A Justication Based Method.
%U http://dblp.uni-trier.de/db/conf/ore/ore2015.html#LeeMSP15
%V 1387
@inproceedings{conf/ore/LeeMSP15,
added-at = {2023-12-13T08:58:51.000+0100},
author = {Lee, Michael and Matentzoglu, Nicolas and Sattler, Uli and Parsia, Bijan},
biburl = {https://www.bibsonomy.org/bibtex/2de4afa18b91f357427a1862e97995083/admin},
booktitle = {ORE},
crossref = {conf/ore/2015},
editor = {Dumontier, Michel and Glimm, Birte and Gonçalves, Rafael S. and Horridge, Matthew and Jiménez-Ruiz, Ernesto and Matentzoglu, Nicolas and Parsia, Bijan and Stamou, Giorgos B. and Stoilos, Giorgos},
ee = {http://ceur-ws.org/Vol-1387/paper_3.pdf},
interhash = {c9b4e7b163339310837132586576c019},
intrahash = {de4afa18b91f357427a1862e97995083},
keywords = {},
pages = {46-52},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2023-12-13T08:58:51.000+0100},
title = {Verifying Reasoner Correctness - A Justication Based Method.},
url = {http://dblp.uni-trier.de/db/conf/ore/ore2015.html#LeeMSP15},
volume = 1387,
year = 2015
}
