Search

Filters

Use filters to refine the search results.

Now showing items 11-20 of 105

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

Osorio M.; Castellanos J.A. (2015)
Computing semi-stable semantics of AF by 0-1 integer programming

Osorio M.; Díaz J.; Santoyo A. (2014)
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)
Possibilistic well-founded semantics

Osorio M.; Nieves J.C. (2009)
A formal design model for mechatronic systems

Osorio M.; Zepeda C.; Castillo H. (2009)
Extending the grounded semantics by logic programming semantics

Nieves J.C.; Osorio M.; Cortés U. (2011)
Generating maximal models using the stable model semantics

Nieves J.C.; Osorio M. (2007)
On Paraconsistent Extensions of C 1

Osorio M.; Carballido J.L.; Zepeda C. (2015)
Inexact graph matching: A case of study

Olmos I.; Gonzalez J.A.; Osorio M. (2006)

Now showing items 11-20 of 105