Browse our site
About
People
Research Areas
Projects
Publications
Seminars
Future
Past
News
You are here:
Home
Seminars
Past
Parametrized Logic Programming
CENTRIA seminar: Parametrized Logic Programming
Main information
By:
Ricardo Gonçalves
(
CENTRIA
)
Date:
Wednesday, 20th of October 2010, 14h00
Location:
FCT/UNL, Seminar Room (Ed. II)
Abstract
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order formulas, a parametrized logic program reasons about formulas of a given parameter logic.
We define semantics for such general programs and prove results that can be instantiated for every particular choice of the parameter logic.
We show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.
Short-bio
Ricardo Gonçalves is a Post-doc researcher at CENTRIA. His work is now focused on the problem of combining rules and ontologies for the Semantic Web. He holds a PhD in Mathematics from the Technical University of Lisbon within the subject of Abstract Algebraic Logic.
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
