More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

LA-NMR 2007: Puebla, Mexico

> Home > Conferences and Workshops > LA-NMR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/lanmr/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/2007
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/DavilaHC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/DavilaHC07
Rogelio Dávila, Sara C. Hernández, Juan F. Corona:
Teaching natural deduction to improve text argumentation analysis in engineering students.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/Rey07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Rey07
Federico Marulanda Rey:
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/LunaLG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/LunaLG07
Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González:
Efficient counting of models for boolean formulas represented by embedded cycles.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/PequenoVT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/PequenoVT07
Marcelino C. Pequeno, Rodrigo de Melo Souza Veras, Wladimir A. Tavares:
Handling Exceptions in nonmonotonic reasoning.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/CarballidoAO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/CarballidoAO07
José Luis Carballido, José Arrazola, Mauricio Osorio:
Equivalence for the G3'-stable models semantics.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/ParraYV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/ParraYV07
Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez:
Planning using situation calculus, prolog and a mobile robot.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/ArizaA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/ArizaA07
Eduardo Ariza, José Arrazola:
Analysis of the paraconsistency in some logics.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/Osorio07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/Osorio07
Mauricio Osorio:
GLukG logic and its application for non-monotonic reasoning.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/NievesO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/NievesO07
Juan Carlos Nieves, Mauricio Osorio:
Generating maximal models using the stable model semantics.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lanmr/NievesO07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lanmr/NievesO07a
Juan Carlos Nieves, Mauricio Osorio:
Inferring preferred extensions by Pstable semantics.

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.