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:
Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations
Publication date:
July 2011
Citation:
amp_phd
Abstract:
-
Ph. D. dissertation
Authors:
Alexandre Miguel Pinto
Supervisors:
Luís Moniz Pereira
School:
Universidade Nova de Lisboa
Note:
-
Url address:
-
Publication files
File #1:
- click here to download -
pdf 1237 KB
Export formats
Plain text:
Alexandre Miguel Pinto, Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations, Luís Moniz Pereira (superv.), Universidade Nova de Lisboa, July 2011.
HTML:
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=76dee43781430d064f62dee3fbdf47a8_amp_cscd=d06c565a275fe61f056493b032db7358" class="author">Alexandre Miguel Pinto</a></b>, <u>Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations</u>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=d06c565a275fe61f056493b032db7358" class="supervisor">Luís Moniz Pereira</a> (superv.), Universidade Nova de Lisboa, July 2011.
BibTeX:
@phdthesis {amp_phd, author = {Alexandre Miguel Pinto}, title = {Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations}, school = {Universidade Nova de Lisboa}, note = {Lu\'{\i}s Moniz Pereira (superv.); }, month = {July}, year = {2011}, }
Publication's urls
Full url:
http://centria.di.fct.unl.pt/publications/view.php?code=f081048fbe515f7dd569fc4c89df1ae1
Friendly url:
http://centria.di.fct.unl.pt/publications/view.php?code=amp_phd
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541