Author of the publication

Completeness for the paraconsistent logic CG'3 based on maximal theories.

, and . LANMR, volume 2585 of CEUR Workshop Proceedings, page 119-130. CEUR-WS.org, (2019)

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.

 

Other publications of authors with the same name

On the consistency of context-aware systems., , , and . J. Intell. Fuzzy Syst., 34 (5): 3373-3383 (2018)Completeness for the paraconsistent logic CG'3 based on maximal theories., and . LANMR, volume 2585 of CEUR Workshop Proceedings, page 119-130. CEUR-WS.org, (2019)Reasoning on expressive description logics with arithmetic constraints., , , , and . CONIELECOMP, page 180-185. IEEE, (2016)Consistency checking of attention aware systems., , , and . LANMR, volume 2585 of CEUR Workshop Proceedings, page 13-23. CEUR-WS.org, (2019)Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals., and . MICAI (1), volume 8265 of Lecture Notes in Computer Science, page 80-91. Springer, (2013)Database Management System Verification with Separation Logics., , , , and . Program. Comput. Softw., 47 (8): 654-672 (2021)Reasoning about the past on temporal specifications for motion planning., , , , and . CONIELECOMP, page 206-211. IEEE, (2014)Model Checking for Gaze Pattern Recognition., , and . CONIELECOMP, page 170-175. IEEE, (2019)On the Model Checking of the Graded μ-calculus on Trees., , and . MICAI (1), volume 9413 of Lecture Notes in Computer Science, page 178-189. Springer, (2015)Depth-first search satisfiability of the μ-calculus with converse over trees., , , and . CONIELECOMP, page 1-7. IEEE, (2017)