Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Semantics of normal logic programs with embedded implications

Autor
Orejas, F.; Edelmira Pasarella; Pino, E.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2001
Número
2237
Pàgina inicial
255
Pàgina final
268
DOI
https://doi.org/10.1007/3-540-45635-X_25 Obrir en finestra nova
URL
http://link.springer.com/chapter/10.1007%2F3-540-45635-X_25 Obrir en finestra nova
Resum
The aim of our work is the definition of a model-theoretic semantics of normal logic programs with embedded implications. We first propose a quite simple operational semantics for this class of programs whose negation mechanism is the constructive negation. This semantics is used to prove the adequacy of the model-theoretic semantics. Then we define a declarative semantics for this class of programs in terms of Beth models and show that in the model class associated to every program there is a l...
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals