Search

Filters

Use filters to refine the search results.

Now showing items 1-10 of 36

A schema for generating relevant logic programming semantics and its applications in argumentation theory

Nieves J.C.; Osorio M.; Zepeda C. (2011)
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics

Osorio M.; Carballido J.L.; Zepeda C. (2016)
An application of clasp in the study of logics

Osorio M.; Carballido J.L.; Zepeda C. (2011)
Foreword

Osorio M.; Zepeda C.; Carballido J.L.; Olmos I.; Medina C.; Arrazola J. (2010)
Answer set programming for studying logics

Zepeda C.; Carballido J.L.; Marin A.; Osorio M. (2009)
A formal design model for mechatronic systems

Osorio M.; Zepeda C.; Castillo H. (2009)
On Paraconsistent Extensions of C 1

Osorio M.; Carballido J.L.; Zepeda C. (2015)
N5′ as an extension of G3′

Osorio M.; Carballido J.L.; Zepeda C. (2013)
Characterization of argumentation semantics in terms of the MMr semantics

Osorio M.; Carballido J.L.; Zepeda C.; Cruz Z. (2011)
Updates based on ASP

Zepeda C.; Carballido J.L.; Rossainz M.; Osorio M. (2010)

Now showing items 1-10 of 36