Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Juan Carlos Acosta Guadarrama, editor, Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014. Volume 1287 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]

Conference: lanmr2014

Abstract is missing.

Computing Semi-Stable Semantics of AF by 0-1 Integer ProgrammingMauricio Osorio, Juan Diaz, Alejandro Santoyo. 1-10 [doi]

Counting Falsifying Assignments of Conjunctive Forms Using Binary PatternsGuillermo De Ita Luna, José Raymundo Marcial-Romero, Pilar Pozos Parra. 1-10 [doi]

Low - exponential Algorithm for Counting the Number of Edge Cover on Simple GraphsJosé Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna. 1-8 [doi]

Knowledge Representation for Development of Collaborative ApplicationsMario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski. 1-9 [doi]

Identification of Ontological Relations Using Formal Concept AnalysisMireya Tovar Vidal, David Pinto, Azucena Montes, Gabriel González Serna, Darnes Vilarino Ayala. 1-9 [doi]

How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical ReasoningEdward Hermann Haeusler. 1-12 [doi]

A Single Proof of Classical Behaviour in Da Costa's Cn SystemsMauricio Osorio, Jose Abel Castellanos Joo. 1-7 [doi]

Revisiting C1Mauricio Osorio, José Luis Carballido, Claudia Zepeda. 1-8 [doi]

runs on WebDSL