( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Single Proof of Classical Behaviour in Da Costa's Cn Systems.

, и . LANMR, том 1287 из CEUR Workshop Proceedings, стр. 1-7. CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christian Osorio

Moisés Osorio

Carlos Osorio

Rodin Osorio

Ricardo Osorio

 

Другие публикации лиц с тем же именем

A 4-Valued Logic that Extends the Paraconsistent Logic G'3., и . Computación y Sistemas (CyS), (2023)Expressing the Stable Semantics in Terms of the Pstable Semantics., и . LoLaCOM, том 220 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Subgraph Isomorphism Detection Using a Code Based Representation., , и . FLAIRS, стр. 474-479. AAAI Press, (2005)A Formal Design Model for Mechatronic Systems., , и . CONIELECOMP, стр. 125-129. IEEE Computer Society, (2009)Computing stable semantics of AF by 0-1 integer programming., , и . CONIELECOMP, стр. 204-211. IEEE, (2015)Possibilistic-Based Argumentation: An Answer Set Programming Approach., , и . ENC, стр. 249-260. IEEE Computer Society, (2008)Formalizing the Learner Model for CSCL Environments., , и . ENC, стр. 151-158. IEEE Computer Society, (2003)Knowledge Representation Using High-Level Non-monotonic Reasoning., , , и . MICAI, том 1793 из Lecture Notes in Computer Science, стр. 13-24. Springer, (2000)Application of ASP for Agent Modelling in CSCL Environments., , и . MICAI, том 3789 из Lecture Notes in Computer Science, стр. 109-118. Springer, (2005)Inferring preferred extensions by Pstable semantics., и . LA-NMR, том 286 из CEUR Workshop Proceedings, CEUR-WS.org, (2007)