Comentarios sobre la relación entre la programación logica y las lógicas no monótonas
Theoria 10 (3):181-198 (1995)
| Abstract | My purpose in this paper is to show the evolution of the relationship between nonmonotonic logic and logic programming. I think that there are two periods in the evolution of this relationship. The first one isthe point of contact between these two fields that had been developed independently. In the second period, as I will show, the motivation to propose three-valued nonmonotonic logic comes from the study of the relationship between these two fields, and not from the study of nonmonotonic logic itself | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAgustín Arrieta (1995). Comentarios Sobre la Relación Entre la Programación Logica Y Las Lógicas No Monótonas. Theoria 10 (3):181-198.
Manuel Perez Otero (1996). Verdad Necesaria Versus Teorema de Lógica Modal (Necessary Truth Versus Theorem of Modal Logic). Theoria 11 (1):185-201.
Manuel Perez Otero (1996). Verdad necesaria versus teorema de lógica modal (Necessary Truth versus Theorem of Modal Logic). Theoria 11 (1):185-201.
Victor Manuel Idoate García (2006). Estudio Antropológico de la Patología de la Amistad Según Laín Entralgo. The Proceedings of the Twenty-First World Congress of Philosophy 9:63-66.
Luis Estrada González & Ivonne Victoria Pallares Vega (2011). La diferencia entre lógicas y el cambio de significado de las conectivas (Differences between Logics and Meaning-Variance). Theoria 26 (2):133-154.
David Pearce & Agustín Valverde (2005). A First Order Nonmonotonic Extension of Constructive Logic. Studia Logica 80 (2-3):321 - 346.
Juan Manuel Sánchez Arteaga (2008). La Biología Humana Como Ideología (Human Biology as Ideology). Theoria 23 (1):107-124.
Henry E. Kyburg (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4).
Henry E. Kyburg Jr (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Henry Prakken (1996). Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Studia Logica 57 (1):73 - 90.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-01-09Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
