![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
LA-NMR 2007: Puebla, Mexico
- José Arrazola, Pilar Pozos Parra, Mauricio Osorio, Claudia Zepeda:
Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007. CEUR Workshop Proceedings 286, CEUR-WS.org 2007 - Rogelio Dávila, Sara C. Hernández, Juan F. Corona:
Teaching natural deduction to improve text argumentation analysis in engineering students. - Federico Marulanda Rey:
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness. - Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González:
Efficient counting of models for boolean formulas represented by embedded cycles. - Marcelino C. Pequeno, Rodrigo de Melo Souza Veras, Wladimir A. Tavares:
Handling Exceptions in nonmonotonic reasoning. - José Luis Carballido, José Arrazola, Mauricio Osorio:
Equivalence for the G3'-stable models semantics. - Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez:
Planning using situation calculus, prolog and a mobile robot. - Eduardo Ariza, José Arrazola:
Analysis of the paraconsistency in some logics. - Mauricio Osorio:
GLukG logic and its application for non-monotonic reasoning. - Juan Carlos Nieves, Mauricio Osorio:
Generating maximal models using the stable model semantics. - Juan Carlos Nieves, Mauricio Osorio:
Inferring preferred extensions by Pstable semantics.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.