Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
Publication date:
2013
Citation:
Knorr02122013
Abstract:
-
Journal
Authors:
Matthias Knorr
,
Martin Slota
,
João Alexandre Leite
, Martin Homola
Journal:
Journal of Logic and Computation
Publisher:
-
Address:
-
Volume:
-
Number:
-
Pages:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://logcom.oxfordjournals.org/content/early/2013/12/02/logcom.ext062.abstract
Export formats
Plain text:
Matthias Knorr and Martin Slota and João Alexandre Leite and Martin Homola, What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems, Journal of Logic and Computation, (http://logcom.oxfordjournals.org/content/early/2013/12/02/logcom.ext062.abstract), 2013.
HTML:
<b><a href="/people/members/view.php?code=69f33c830f67494d14d40325975eb39b" class="author">Matthias Knorr</a>, <a href="/people/members/view.php?code=ba97853dc6d77decebfb5c3058094b25" class="author">Martin Slota</a>, <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a> and Martin Homola</b>, <u>What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems</u>, Journal of Logic and Computation, (<a href="http://logcom.oxfordjournals.org/content/early/2013/12/02/logcom.ext062.abstract" target="_blank">url</a>), 2013.
BibTeX:
@article {Knorr02122013, author = {Matthias Knorr and Martin Slota and Jo{\~a}o Alexandre Leite and Martin Homola}, title = {What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems}, journal = {Journal of Logic and Computation}, url = {http://logcom.oxfordjournals.org/content/early/2013/12/02/logcom.ext062.abstract}, year = {2013}, }
Publication's urls
Full url:
/publications/view.php?code=89776ab74f4931a4ac4207aaec4064d1
Friendly url:
/publications/view.php?code=Knorr02122013
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541