Vol-1286⫷ Vol-1287 ⫸Vol-1288
urn:nbn:de:0074-1287-8

Copyright © 2014 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

LANMR 2014
Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning

Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning

Valle de Bravo, Mexico, November 5 - 7, 2014 .

Edited by

Juan C. Acosta Guadarrama *
Guillermo De Ita Luna ***
Raymundo Marcial Romero *
Mauricio Osorio
Claudia Zepeda *

* Universidad Autónoma del Estado de México , México
** Universidad de las Américas Puebla , México
** Benemérita Universidad Autónoma de Puebla , México

Table of Contents

Papers

Knowledge Representation for Development of Collaborative Applications 9
Mario Anzures-Garcia, Luz Sanchez-Galvez, Miguel Hornos, Patricia Paderewski
Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns 10
Guillermo De Ita, Raymundo Marcial-Romero, Pilar Pozos Parra
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning 12
Edward Hermann Haeusler
Low - exponential Algorithm for Counting the Number of Edge Cover on Simple Graphs 8
Jose Hernandez-Servin, Raymundo Marcial-Romero, Guillermo de Ita
Revisiting C1 8
Mauricio Osorio, Jose Luis Carballido, Claudia Zepeda
Computing Semi-Stable Semantics of AF by 0-1 Integer Programming 10
Mauricio Osorio, Juan Diaz, Alejandro Santoyo
A Single Proof of Classical Behaviour in Da Costa's Cn Systems 7
Mauricio Osorio, Jose Abel Castellanos Joo
Identification of Ontological Relations Using Formal Concept Analysis 9
Mireya Tovar Vidal, David Pinto, Azucena Montes, Gabriel Gonzalez Serna, Darnes Vilarino Ayala

2014-11-05: submitted by Juan C. Acosta Guadarrama, metadata incl. bibliographic data published under Creative Commons CC0
2014-11-05 : published on CEUR-WS.org | valid HTML5 |