Search

Filters

Use filters to refine the search results.

Now showing items 1-10 of 57

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)
Generating maximal models using the stable model semantics

Nieves J.C.; Osorio M. (2007)
Inexact graph matching: A case of study

Olmos I.; Gonzalez J.A.; Osorio M. (2006)
High-level logic programming

Osorio M.; Zacarias F. (2000)
Foreword

Osorio M.; Zepeda C.; Olmos I.; Medina C.; Arrazola J. (2009)
Computing the stratified minimal models semantic

Osorio M.; Marin-George A.; Nieves J.C. (2009)
Expressing extension-based semantics based on stratified minimal models

Nieves J.C.; Osorio M.; Zepeda C. (2009)
Inferring preferred extensions by pstable semantics

Carballido J.L.; Nieves J.C.; Osorio M. (2009)

Now showing items 1-10 of 57