( en | de | ru )

 

Disambiguation of "Huertas, Antonia"

Author of the publication

copydeleteadd this publication to your clipboard
Solving MaxSAT with Natural Deduction.

, , and . CCIA, volume 300 of Frontiers in Artificial Intelligence and Applications, page 186-195. IOS Press, (2017)

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.

Marilú Liliana Huertas Schneider

Antonia Scharf

Antonia Nolte

Antonia Pezold

Antonia Butschukowska

 

Other publications of authors with the same name

The SELL Project: A Learning Tool for E-Learning Logic., , , and . TICTTL, volume 6680 of Lecture Notes in Computer Science, page 123-130. Springer, (2011)Completeness in Hybrid Type Theory., , , and . J. Philos. Log., 43 (2-3): 209-238 (2014)A Common Frame for Formal Imagination., , and . Minds Mach., 29 (4): 603-634 (2019)Completeness in Equational Hybrid Propositional Type Theory., , and . Stud Logica, 107 (6): 1159-1198 (2019)Teaching and Learning Logic in a Virtual Learning Environment.. Logic Journal of the IGPL, 15 (4): 321-331 (2007)Solving MaxSAT with Natural Deduction., , and . CCIA, volume 300 of Frontiers in Artificial Intelligence and Applications, page 186-195. IOS Press, (2017)Rigid First-Order Hybrid Logic., , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 53-69. Springer, (2019)Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned.. TICTTL, volume 6680 of Lecture Notes in Computer Science, page 131-140. Springer, (2011)Exorcising the phantom zone., , , and . Inf. Comput., (2022)Tool Development to Support Learning, Immediate Feedback, and Continuous Assessment in Logic., and . WEBIST (2), page 222-225. INSTICC Press, (2010)978-989-674-025-2.