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
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
2004
tplp04:abdual
-
Journal
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
Theory and Practice of Logic Programming
-
-
4
4
383-428
-
-
-
-
Export formats
José Júlio Alferes and Luís Moniz Pereira and Terrance Swift, Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs, Theory and Practice of Logic Programming, Vol. 4, No. 4, Pag. 383-428, 2004.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=4b573c7c5fed01a616b5b9f0e1165f15" class="author">José Júlio Alferes</a>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=4b573c7c5fed01a616b5b9f0e1165f15" class="author">Luís Moniz Pereira</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=v175f8262e2ff877fba2ad77784cb9ca_amp_cscd=4b573c7c5fed01a616b5b9f0e1165f15" class="author">Terrance Swift</a></b>, <u>Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs</u>, Theory and Practice of Logic Programming, Vol. 4, No. 4, Pag. 383-428, 2004.
@article {tplp04:abdual, author = {Jos{\'e} J{\'u}lio Alferes and Lu\'{\i}s Moniz Pereira and Terrance Swift}, title = {Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs}, journal = {Theory and Practice of Logic Programming}, volume = {4}, number = {4}, pages = {383-428}, year = {2004}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=5f35b54564aa4280c16d5e4f970d8384
http://centria.di.fct.unl.pt/publications/view.php?code=tplp04:abdual
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

POS_Conhecimento