Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Weakening the stable semantics

Autor
Nieves, J.C.; Osorio, M.
Tipus d'activitat
Document cientificotècnic
Data
2005-12
Codi
LSI-05-60-R
Repositori
http://hdl.handle.net/2117/87315 Obrir en finestra nova
Resum
We report our research on semantics for normal/disjunctive programs. One of the most well known semantics for logic programming is the stable semantics (STABLE). However, it is well known that very often STABLE has no models. In this paper we study the stable semantics and present some new results about it. Furthermore, we introduce a new semantics (that we call D3-WFS-DCOMP) and compare it with STABLE. For normal programs, this semantics is based on a suitable integration of WFS and the Clark's...
Citació
Nieves, J.C., Osorio, M. "Weakening the stable semantics". 2005.
Paraules clau
Answer set programming, Declarative programming, Non-monotonic reasoning

Participants

  • Nieves, Juan Carlos  (autor)
  • Osorio Galindo, Mauricio  (autor)

Arxius