Mauricio Osorio

Luis Angel Montiel Moreno

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2020

MyUBot: Towards an Artificial Intelligence Agent System Chat-bot for Well-being and Mental Health.

[BibT_eX]

[DOI]

Proceedings of the First International AAI4H, 2020

2019

Béziau's SP3A Logic and Logic Programming.

[BibT_eX]

[DOI]

Jaime Díaz

Res. Comput. Sci., 2019

Towards an Answer Set Programming Methodology for Constructing Programs Following a Semi-Automatic Approach - Extended and Revised version.

[BibT_eX]

[DOI]

Flavio Everardo

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Towards an answer set programming methodology for constructing programs following a semi-automatic approach.

[BibT_eX]

[DOI]

Flavio Everardo

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

Three new genuine five-valued logics.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

Methodology to represent functions in logic BL⊃.

[BibT_eX]

[DOI]

Daniela Hernández-Grijalva

Alejandro Hernández-Tello

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

An Extension of the Stable Semantics via Lukasiewicz Logic.

[BibT_eX]

[DOI]

José Luis Carballido Carranza

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

2018

Extending Well-Founded Semantics with Clark's Completion for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Sci. Program., 2018

Lukasiewicz' 3-valued logic can not be expressed in terms of SP3A logic.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Latin American Workshop on Logic/Languages, 2018

2017

Range-based argumentation semantics as two-valued models.

[BibT_eX]

[DOI]

Alejandro Hernández-Tello

Theory Pract. Log. Program., 2017

The Pursuit of an Implication for the Logics L3A and L3B.

[BibT_eX]

[DOI]

Logica Universalis, 2017

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).

[BibT_eX]

[DOI]

Jouko Väänänen

Ruy J. G. B. de Queiroz

Claudia Zepeda Cortés

Log. J. IGPL, 2017

Equivalence among RC-type paraconsistent logics.

[BibT_eX]

[DOI]

José Abel Castellanos Joo

Log. J. IGPL, 2017

Abducible Semantics and Argumentation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

0-1 Integer Programming for Computing Semi-Stable Semantics of Argumentation Frameworks.

[BibT_eX]

[DOI]

Computación y Sistemas, 2017

2016

Ideal extensions as logical programming models.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Revisiting da Costa logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Defining Stage Argumentation Semantics in Terms of an Abducible Semantics.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

Range-based argumentation semantics as 2-valued models.

[BibT_eX]

[DOI]

CoRR, 2016

Characterizing stage argumentation semantics based on stable abducible semantics.

[BibT_eX]

[DOI]

Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016

2015

Weakening and Extending ℤ.

[BibT_eX]

[DOI]

José Abel Castellanos

Logica Universalis, 2015

Computing stable semantics of AF by 0-1 integer programming.

[BibT_eX]

[DOI]

Proceedings of the 25. International Conference on Electronics, 2015

2014

Revisiting ℤ.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2014

On Paraconsistent Extensions of C1.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

A Single Proof of Classical Behaviour in da Costa's Cn Systems.

[BibT_eX]

[DOI]

José Abel Castellanos

Proceedings of the Selected Papers of the Ninth Latin American Workshop on Logic/Languages, 2014

Preferences for Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the Human-Inspired Computing and Its Applications, 2014

Computing Preferred Semantics: Comparing Two ASP Approaches vs an Approach Based on 0-1 Integer Programming.

[BibT_eX]

[DOI]

Juan Carlos Acosta Guadarrama

Proceedings of the Human-Inspired Computing and Its Applications, 2014

Modeling Natural Language Metaphors with an Answer Set Programming Framework.

[BibT_eX]

[DOI]

Rogelio Dávila-Pérez

Victor Hugo Zaldivar

Proceedings of the Human-Inspired Computing and Its Applications, 2014

A Single Proof of Classical Behaviour in Da Costa's Cn Systems.

[BibT_eX]

[DOI]

José Abel Castellanos Joo

Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014

Computing Semi-Stable Semantics of AF by 0-1 Integer Programming.

[BibT_eX]

[DOI]

Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014

Revisiting C1.

[BibT_eX]

[DOI]

Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014

2013

Semantics for Possibilistic Disjunctive Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Preferred Extensions as Minimal Models of Clark's Completion Semantics.

[BibT_eX]

[DOI]

Res. Comput. Sci., 2013

Some Properties of Logic N-GLukG.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2013

Complete Extensions as Clark's Completion Semantics.

[BibT_eX]

[DOI]

Proceedings of the Mexican International Conference on Computer Science, 2013

N'5 as an Extension of G'3.

[BibT_eX]

[DOI]

Oscar Hernán Estrada-Estrada

Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012

Possibilistic intermediate logic.

[BibT_eX]

[DOI]

Int. J. Adv. Intell. Paradigms, 2012

Dealing with explicit preferences and uncertainty in answer set programming.

[BibT_eX]

[DOI]

Roberto Confalonieri

Javier Vázquez-Salceda

Ann. Math. Artif. Intell., 2012

Managing Inconsistent Possibilistic Knowledge Bases by An Argumentation Approach.

[BibT_eX]

[DOI]

Helena Lindgren

Proceedings of the 27th Annual Workshop of the Swedish Artificial Intelligence Society, 2012

Decision Analysis with Logic and Mathematical Programming.

[BibT_eX]

[DOI]

Proceedings of the Eighth Latin American Workshop on Logic / Languages, 2012

Foreword.

[BibT_eX]

[DOI]

Roberto Rosas-Romero

Pedro Bañuelos Sánchez

Proceedings of the 22nd International Conference on Electrical Communications and Computers, 2012

2011

Preface.

[BibT_eX]

[DOI]

Victor W. Marek

Fundam. Informaticae, 2011

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Characterization of Argumentation Semantics in Terms of the MM r Semantics.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2011

An Application of Clasp in the Study of Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Stable Abducible Argumentation Semantics.

[BibT_eX]

[DOI]

Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, 2011

Modeling production of resources using Answer Set Planning.

[BibT_eX]

[DOI]

Proceedings of the CONIELECOMP 2011, 21st International Conference on Electrical, Communications, and Computers, 28 February, 2011

Extending the Grounded Semantics by Logic Programming Semantics.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2011

2010

Equivalence for the G'3-stable models semantics.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Guest Editorial: Fifth Latin American Workshop on Non-Monotonic Reasoning 2009, (LANMR'09).

[BibT_eX]

Claudia Zepeda Cortés

Inteligencia Artif., 2010

Updates Based on ASP.

[BibT_eX]

[DOI]

Proceedings of the 9th Mexican International Conference on Artificial Intelligence, 2010

A Possibilistic Intuitionistic Logic.

[BibT_eX]

[DOI]

Oscar Estrada

Proceedings of the Advances in Artificial Intelligence, 2010

Possibilistic Semantics for Logic Programs with Ordered Disjunction.

[BibT_eX]

[DOI]

Roberto Confalonieri

Javier Vázquez-Salceda

Proceedings of the Foundations of Information and Knowledge Systems, 2010

Digital design vercation based on P-stable semantics.

[BibT_eX]

[DOI]

José Raymundo Marcial-Romero

Yazmín Magallanes-Velázquez

Hilda Castillo

Daniel Quintos

Sergio Arzola

Proceedings of the 20th International Conference on Electronics, 2010

Motifs recognition in DNA sequences comparing the motif finding automaton algorithm against a traditional approach.

[BibT_eX]

[DOI]

Luis Oscar Peredo-Cholula

Christian Sarmiento-Vera

Proceedings of the 20th International Conference on Electronics, 2010

Yet another application of fuzzy logic.

[BibT_eX]

[DOI]

David López

Proceedings of the 20th International Conference on Electronics, 2010

Expressing p-stable semantics based on stable semantics.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Electronics, 2010

CF2-extensions as Answer-set Models.

[BibT_eX]

[DOI]

Ignasi Gómez-Sebastià

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009

Preface.

[BibT_eX]

[DOI]

J. Algorithms, 2009

G'3-Stable Semantics and Inconsistency.

[BibT_eX]

[DOI]

Computación y Sistemas, 2009

Guest Editorial: Workshops by the Logic and Computation Mexican Group.

[BibT_eX]

[DOI]

Inteligencia Artif., 2009

Inferring Preferred Extensions by Pstable Semantics.

[BibT_eX]

[DOI]

Inteligencia Artif., 2009

Expressing Extension-Based Semantics Based on Stratified Minimal Models.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Possibilistic Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

The Logical Consequence Role in LPNMR: A Parameterized Computation Approach.

[BibT_eX]

[DOI]

Simone Pascucci

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Computing the Stratified Minimal Models Semantic.

[BibT_eX]

[DOI]

Angel Marín George

Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

Possibilistic Stratified Minimal Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2009 Mexican International Conference on Computer Science, 2009

A Formal Design Model for Mechatronic Systems.

[BibT_eX]

[DOI]

Hilda Castillo

Proceedings of the CONIELECOMP 2009, 2009

2008

Preferred extensions as stable models.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2008

Logical Weak Completions of Paraconsistent Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2008

An Overview of Argumentation Semantics.

[BibT_eX]

[DOI]

Computación y Sistemas, 2008

Possibilistic-Based Argumentation: An Answer Set Programming Approach.

[BibT_eX]

[DOI]

Proceedings of the Ninth Mexican International Conference on Computer Science, 2008

Pstable Theories and Preferences.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Electronics, 2008

2007

Updates in answer set programming: An approach based on basic structural properties.

[BibT_eX]

[DOI]

Víctor Cuevas

Theory Pract. Log. Program., 2007

Strong Negation and Equivalence in the Safe Belief Semantics.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

Updates Under Pstable.

[BibT_eX]

[DOI]

Edgar Fernandez Plascencia

Eng. Lett., 2007

Update Sequences Based on Minimal Generalized Pstable Models.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

PStable Semantics for Possibilistic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2007: Advances in Artificial Intelligence, 2007

GLukG logic and its application for non-monotonic reasoning.

[BibT_eX]

[DOI]

Proceedings of the 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, 2007

Inferring preferred extensions by Pstable semantics.

[BibT_eX]

[DOI]

Proceedings of the 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, 2007

Generating maximal models using the stable model semantics.

[BibT_eX]

[DOI]

Proceedings of the 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, 2007

Equivalence for the G3'-stable models semantics.

[BibT_eX]

[DOI]

Proceedings of the 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, 2007

A semantics for updates consisting of a sequence of programs.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Electronics, 2007

Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems.

[BibT_eX]

[DOI]

Jesús A. González

Proceedings of the 17th International Conference on Electronics, 2007

Reasoning about actions under uncertainty: A possibilistic approach.

[BibT_eX]

[DOI]

Antonio López-Navidad

Proceedings of the Artificial Intelligence Research and Development, 2007

2006

Logics with Common Weak Completions.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Minimal Generalized Answer-Sets and their Applications.

[BibT_eX]

[DOI]

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th, 2006

Answer Set General Theories and Preferences.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

An Axiomatization of G'3.

[BibT_eX]

[DOI]

Oscar Estrada

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th, 2006

Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw.

[BibT_eX]

[DOI]

Oscar Estrada

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th, 2006

Expressing the Stable Semantics in Terms of the Pstable Semantics.

[BibT_eX]

[DOI]

Alejandra López

Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, Mexico, 13th, 2006

Preferences using Answer Sets.

[BibT_eX]

[DOI]

Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2006

Supporting decision making in organ transplanting using argumentation theory.

[BibT_eX]

[DOI]

Proceedings of the Latin-American Workshop on Non-Monotonic Reasoning, 2006

Inexact Graph Matching: A Case of Study.

[BibT_eX]

[DOI]

Jesus A. Gonzalez

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Defining new argumentation-based semantics by minimal models.

[BibT_eX]

[DOI]

Proceedings of the Seventh Mexican International Conference on Computer Science, 2006

2005

Ground Nonmonotonic Modal Logic S5: New Results.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Safe beliefs for propositional theories.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2005

Application of ASP for Agent Modelling in CSCL Environments.

[BibT_eX]

[DOI]

Gerardo Ayala

Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Subgraph Isomorphism Detection Using a Code Based Representation.

[BibT_eX]

[DOI]

Jesus A. Gonzalez

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Inferring acceptable arguments with Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

Agent Modelling for CSCL Environments using Answer Sets Programming.

[BibT_eX]

[DOI]

Gerardo Ayala

Proceedings of the Sixth Mexican International Conference on Computer Science (ENC 2005), 2005

Modeling Evacuation Planning Using A-Prolog.

[BibT_eX]

[DOI]

Rocío Santillán Rodríguez

David Sol

Proceedings of the 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005, 2005

Algorithms for the Typing of Related DNA Sequences.

[BibT_eX]

[DOI]

Carolina Yolanda Castañeda Roldán

Javier Garcés Eisele

Ma. del Pilar Gómez Gil

Proceedings of the 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005, 2005

Mining Common Patterns on Graphs.

[BibT_eX]

[DOI]

Jesus A. Gonzalez

Proceedings of the Computational Intelligence and Security, International Conference, 2005

Applications of Preferences using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

Applications of Intuitionistic Logic in Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

Aggregation in Functional Query Languages.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 2004

Closing the Gap between the Stable Semantics and Extensions of WFS.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2004: Advances in Artificial Intelligence, 2004

Answer Set Programming and S4.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

On Updates of Logic Programs: A Properties-Based Approach.

[BibT_eX]

[DOI]

Carolina Yolanda Castañeda Roldán

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Usefulness of Solution Algorithms of the Traveling Salesman Problem in the Typing of Biological Sequences in a Clinical Laboratory Setting.

[BibT_eX]

[DOI]

Javier Garcés Eisele

Ma. del Pilar Gómez Gil

Proceedings of the 14th International Conference on Electronics, 2004

2003

Formalizing the Learner Model for CSCL Environments.

[BibT_eX]

[DOI]

Gerardo Ayala

Proceedings of the 4th Mexican International Conference on Computer Science (ENC 2003), 2003

Towards the use of Semantics Contents in ASP for planning and diagnistic in GIS.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

New properties on the update operator\oplus.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

The A-Pol System.

[BibT_eX]

[DOI]

Juan Carlos Acosta Guadarrama

Enrique Corona

Proceedings of the Answer Set Programming, 2003

Towards Modelling an Intelligent Calendar Agent with LUPS.

[BibT_eX]

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

A logical approach to A-Prolog.

[BibT_eX]

[DOI]

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

Debugging in A-Prolog: A Logical Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

A general theory of confluent rewriting systems for logic programming and its applications.

[BibT_eX]

[DOI]

Jürgen Dix

Ann. Pure Appl. Log., 2001

Equivalence in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Useful Transformations in Answer set programming.

[BibT_eX]

[DOI]

Chris Giannella

Proceedings of the Answer Set Programming, 2001

Stratified Partial-Order Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2001

2000

Knowledge Representation Using High-Level Non-monotonic Reasoning.

[BibT_eX]

[DOI]

Erika Saucedo

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

High-Level Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2000

Application of Simplification Theories.

[BibT_eX]

[DOI]

Gabriel Cervantes

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Theory of Partial-Order Programming.

[BibT_eX]

[DOI]

David A. Plaisted

Sci. Comput. Program., 1999

Aggregation and Negation-As-Failure.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

Confluent Rewriting systems in Non-Monotonic Reasoning.

[BibT_eX]

Jürgen Dix

Computación y Sistemas, 1999

Declarative Pruning in a Functional Query Language.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Semantics of Partial-Order Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Integrating the Completion and the Well Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1998

1997

On Well-Behaved Semantics Suitable for Aggregation.

[BibT_eX]

Jürgen Dix

Proceedings of the Logic Programming, 1997

1996

Aggregation and Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

1995

Partial Order Programming (Revisited).

[BibT_eX]

[DOI]

Kyonghee Moon

Proceedings of the Algebraic Methodology and Software Technology, 1995

1993

Subset Assertions and Negation As Failure.

[BibT_eX]