Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Events
Seminars
News
Management
You are here:
Home
Publications
View
Publication details
Publication details
Main information
Title:
Inspection Points and Meta-Abduction in Logic Programs
Publication date:
November 2009
Citation:
IPMALP
Abstract:
-
In proceedings
Authors:
Luís Moniz Pereira
,
Alexandre Miguel Pinto
Editors:
Salvador Abreu
, Dietmar Siepel
Book title:
18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)
Series:
-
Publisher:
-
Address:
-
Volume:
-
Pages:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Luís Moniz Pereira and Alexandre Miguel Pinto, Inspection Points and Meta-Abduction in Logic Programs, in: Salvador Abreu and Dietmar Siepel (eds), 18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09), November 2009.
HTML:
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=8d2636a63f4c138b8c039f83bbc9018f" class="author">Luís Moniz Pereira</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=76dee43781430d064f62dee3fbdf47a8_amp_cscd=8d2636a63f4c138b8c039f83bbc9018f" class="author">Alexandre Miguel Pinto</a>, <b>Inspection Points and Meta-Abduction in Logic Programs</b>, in: <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=e927e6f7f16b0d293c89324129b1ea0e_amp_cscd=8d2636a63f4c138b8c039f83bbc9018f" class="editor">Salvador Abreu</a> and Dietmar Siepel (eds), <u>18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)</u>, November 2009.
BibTeX:
@inproceedings {IPMALP, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Salvador Abreu and Dietmar Siepel}, title = {Inspection Points and Meta-Abduction in Logic Programs}, booktitle = {18th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'09)}, month = {November}, year = {2009}, }
Publication's urls
Full url:
http://centria.di.fct.unl.pt/publications/view.php?code=2b01a18732080219c3876cf642605c70
Friendly url:
http://centria.di.fct.unl.pt/publications/view.php?code=IPMALP
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541