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:
On Strong and Default Negation in Logic Program Updates (Extended Version)
Publication date:
2014
Citation:
DBLP:journals/corr/SlotaBL14
Abstract:
-
Technical report
Authors:
Martin Slota
, Martin Balaz,
João Alexandre Leite
Type:
-
Institution:
-
Address:
-
Number:
-
Note:
-
Url address:
http://arxiv.org/abs/1404.6784
Export formats
Plain text:
Martin Slota and Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Logic Program Updates (Extended Version), (http://arxiv.org/abs/1404.6784), 2014.
HTML:
Martin Slota and Martin Balaz and João Alexandre Leite, <b>On Strong and Default Negation in Logic Program Updates (Extended Version)</b>, (<a href="http://arxiv.org/abs/1404.6784" target="_blank">url</a>), 2014.
BibTeX:
@techreport {DBLP:journals/corr/SlotaBL14, author = {Martin Slota and Martin Balaz and Jo{\~a}o Alexandre Leite}, title = {On Strong and Default Negation in Logic Program Updates (Extended Version)}, url = {http://arxiv.org/abs/1404.6784}, year = {2014}, }
Publication's urls
Full url:
/publications/view.php?code=7912e0964d37c91ffdeb9d4ddbe7f9f0
Friendly url:
/publications/view.php?code=DBLP:journals/corr/SlotaBL14
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