ABOUT US
RESEARCH
PEOPLE
PUBLICATIONS
ARTICLES
BOOKS
BOOK CHAPTERS
DISSERTATIONS
EDITORIALS
IN PROCEEDINGS
ACTIVITIES
PROJECTS
GRADUATION ACTIVITIES
PROTOTYPES
SEMINARS
DISTINGUISHED LECTURES
EVENT ORGANIZATIONS
EDITORIAL COMMITTEES
SOCIETY
LOGIN
Dissertations details
Explorations in Revised Stable Models ñ a new semantics for logic programs
Jun 2005
Entity:
Faculdade de Ciências e Tecnologia, UNL
Authors:
Alexandre Pinto
Supervisors:
Luís Moniz Pereira
Bibtex Key:
ISBN:
Url:
Notes:
DOI:
Publication File:
BACK