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

Publication details

Go back
Publication details
Main information
Towards Practical Tabled Abduction in Logic Programs
September 2013
TPTA-EPIA-2013
-
In proceedings
Ari Saptawijaya, Luís Moniz Pereira
Luís Correia, Luís Paulo Reis, José Cascalho
Progress in Artificial Intelligence, Proceedings 16th Portuguese Conference on Artificial Intelligence
LNAI
Springer
http://www.springer.com/computer/ai/book/978-3-642-40668-3
8154
223-234
978-3-642-40668-3
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/abduction_tabling.pdf
http://link.springer.com/chapter/10.1007%2F978-3-642-40669-0_20
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Towards Practical Tabled Abduction in Logic Programs, in: Luís Correia and Luís Paulo Reis and José Cascalho (eds), Progress in Artificial Intelligence, Proceedings 16th Portuguese Conference on Artificial Intelligence, LNAI, Springer, http://www.springer.com/computer/ai/book/978-3-642-40668-3, Vol. 8154, ISBN 978-3-642-40668-3, Pag. 223-234, (http://link.springer.com/chapter/10.1007%2F978-3-642-40669-0_20), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/abduction_tabling.pdf, September 2013.
<a href="/people/members/view.php?code=3296a2fcb759ac3f30bc313a41f955bc" class="author">Ari Saptawijaya</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Towards Practical Tabled Abduction in Logic Programs</b>, in: Luís Correia, Luís Paulo Reis and José Cascalho (eds), <u>Progress in Artificial Intelligence, Proceedings 16th Portuguese Conference on Artificial Intelligence</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, http://www.springer.com/computer/ai/book/978-3-642-40668-3, Vol. 8154, ISBN 978-3-642-40668-3, Pag. 223-234, (<a href="http://link.springer.com/chapter/10.1007%2F978-3-642-40669-0_20" target="_blank">url</a>), <i>http://centria.di.fct.unl.pt/~lmp/publications/online-papers/abduction_tabling.pdf</i>, September 2013.
@inproceedings {TPTA-EPIA-2013, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, editor = {Lu\'{\i}s Correia and Lu\'{\i}s Paulo Reis and Jos{\'e} Cascalho}, title = {Towards Practical Tabled Abduction in Logic Programs}, booktitle = {Progress in Artificial Intelligence, Proceedings 16th Portuguese Conference on Artificial Intelligence}, series = {LNAI}, publisher = {Springer}, address = {http://www.springer.com/computer/ai/book/978-3-642-40668-3}, volume = {8154}, pages = {223-234}, isbn = {978-3-642-40668-3}, note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/abduction_tabling.pdf}, url = {http://link.springer.com/chapter/10.1007%2F978-3-642-40669-0_20}, keywords = {tabled abduction, abductive logic programming, tabled logic programming, dual transformation}, month = {September}, year = {2013}, }
Publication's urls
/publications/view.php?code=bd020abbd7f8aab5cff601d083fe7540
/publications/view.php?code=TPTA-EPIA-2013
Go back
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