( en | de | ru )

 

Disambiguation of "Macías, Verónica Borja"

Author of the publication

copydeleteadd this publication to your clipboard
Ground Nonmonotonic Modal Logic S5: New Results.

, , , and . J. Log. Comput., 15 (5): 787-813 (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

Emilio Macías Regalado

Verónica Gaspes

Verónica Albrecht

Verónica Rey

Verónica Tomei

 

Other publications of authors with the same name

Model-based belief merging without distance measures., and . AAMAS, page 154. IFAAMAS, (2007)Belief Merging without Distance Measures., and . RCRA, volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Belief Merging using Partial Satisfactibility: cases studies., and . LoLaCOM, volume 220 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Ground Nonmonotonic Modal Logic S5: New Results., , , and . J. Log. Comput., 15 (5): 787-813 (2005)The Pac Logic in the properties of C(w) and C(min)., , and . LA-NMR, volume 408 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Implementing PS-Merge Operator., and . MICAI, volume 5845 of Lecture Notes in Computer Science, page 39-50. Springer, (2009)Kripke-type semantics for G'3 and CG'3., and . LANMR, volume 1659 of CEUR Workshop Proceedings, page 1-8. CEUR-WS.org, (2016)Kripke-type Semantics for CG'3., and . LANMR (Selected Papers), volume 328 of Electronic Notes in Theoretical Computer Science, page 17-29. Elsevier, (2016)Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs., , and . IBERAMIA, volume 3315 of Lecture Notes in Computer Science, page 343-352. Springer, (2004)Partial Satisfiability-Based Merging., and . MICAI, volume 4827 of Lecture Notes in Computer Science, page 225-235. Springer, (2007)