Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Preserving Strong Equivalence while Forgetting
2014
ka:jelia14
-
In proceedings
Matthias Knorr, José Júlio Alferes
Eduardo Fermé, João Alexandre Leite
Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
Lecture Notes in Computer Science
Springer
-
8761
412-425
-
-
-
http://dx.doi.org/10.1007/978-3-319-11558-0_29
Export formats
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.
<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.
@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
/publications/view.php?code=882d7ef030fbbe6d1ffce1324c481dc2
/publications/view.php?code=ka:jelia14

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT