Search

Filters

Use filters to refine the search results.

Now showing items 31-40 of 105

Modeling production of resources using Answer Set Planning

Zepeda C.; Carballido J.L.; Amezcua J.M.; De Leon O.; Martinez J.A.; Osorio M. (2011)
Weakening and(formula presented.)

Osorio M.; Carballido J.L.; Zepeda C.; Castellanos J.A. (2015)
Ideal extensions as logical programming models

Nieves J.C.; Osorio M. (2016)
Revisiting ℤ

Osorio M.; Carballido J.L.; Zepeda C. (2014)
Computing preferred semantics: Comparing two ASP approaches vs an approach based on 0-1 integer programming

Osorio M.; Díaz J.; Santoyo A. (2014)
A possibilistic intuitionistic logic

Estrada O.; Arrazola J.; Osorio M. (2010)
A single proof of classical behaviour in da Costa's Cn systems

Osorio M.; Castellanos J.A. (2014)
Revisiting C1

Osorio M.; Carballido J.L.; Zepeda C. (2014)
HABE: Huffman algorithm and bit extraction applied to image equalization

Flores-Pulido L.; Olivares-González Ma.C.L.; Osorio M.; Starostenko O. (2010)
Preferences for argumentation semantics

Osorio M.; Zepeda C.; Carballido J.L. (2014)

Now showing items 31-40 of 105