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:
Preserving Strong Equivalence while Forgetting
Publication date:
2014
Citation:
ka:jelia14
Abstract:
-
In proceedings
Authors:
Matthias Knorr
,
José Júlio Alferes
Editors:
Eduardo Fermé
,
João Alexandre Leite
Book title:
Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
Series:
Lecture Notes in Computer Science
Publisher:
Springer
Address:
-
Volume:
8761
Pages:
412-425
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://dx.doi.org/10.1007/978-3-319-11558-0_29
Export formats
Plain text:
Matthias Knorr and José Júlio Alferes, Preserving Strong Equivalence while Forgetting, in: Eduardo Fermé and João Alexandre Leite (eds), Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, Lecture Notes in Computer Science, Springer, Vol. 8761, Pag. 412-425, (http://dx.doi.org/10.1007/978-3-319-11558-0_29), 2014.
HTML:
<a href="/people/members/view.php?code=69f33c830f67494d14d40325975eb39b" class="author">Matthias Knorr</a> and <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <b>Preserving Strong Equivalence while Forgetting</b>, in: <a href="/people/members/view.php?code=2cfdf6eb6e4ec2815c3dc908c50509c9" class="editor">Eduardo Fermé</a> and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="editor">João Alexandre Leite</a> (eds), <u>Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 8761, Pag. 412-425, (<a href="http://dx.doi.org/10.1007/978-3-319-11558-0_29" target="_blank">url</a>), 2014.
BibTeX:
@inproceedings {ka:jelia14, author = {Matthias Knorr and Jos{\'e} J{\'u}lio Alferes}, editor = {Eduardo Ferm{\'e} and Jo{\~a}o Alexandre Leite}, title = {Preserving Strong Equivalence while Forgetting}, booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {8761}, pages = {412-425}, url = {http://dx.doi.org/10.1007/978-3-319-11558-0_29}, year = {2014}, }
Publication's urls
Full url:
/publications/view.php?code=882d7ef030fbbe6d1ffce1324c481dc2
Friendly url:
/publications/view.php?code=ka:jelia14
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