( en | de | ru )

 

Disambiguation of "Kacprzak, Magdalena"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-Based Unbounded Model Checking for ATL.

, , , , and . VECoS, volume 13187 of Lecture Notes in Computer Science, page 43-58. Springer, (2021)

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.

Sylwia Kacprzak

Magdalena Boguslawska

Das Verbot des Handels in eigenen Aktien und seine Ausnahmen. Uni Mainz, (2009)

Magdalena Bogus

Magdalena Klupp

Magdalena Gebala

 

Other publications of authors with the same name

Persuasive Strategies in Dialogue Games with Emotional Reasoning.. IJCRS (2), volume 10314 of Lecture Notes in Computer Science, page 435-453. Springer, (2017)Verifying Strategies in Dialogue Games., , , and . CS&P, volume 1269 of CEUR Workshop Proceedings, page 92-100. CEUR-WS.org, (2014)MsATL: a Tool for SAT-Based ATL Satisfiability Checking., , , , , and . CoRR, (2023)Metasets and Opinion Mining in New Decision Support System., , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 625-636. Springer, (2015)Dialogue Systems: Modeling and Prediction of their Dynamics., , and . AECIA, volume 427 of Advances in Intelligent Systems and Computing, page 421-431. Springer, (2015)Logic for Reasoning about Components of Persuasive Actions., , and . ISMIS, volume 5722 of Lecture Notes in Computer Science, page 201-210. Springer, (2009)Towards Verification of Dialogue Protocols: A Mathematical Model., , and . ICAISC (2), volume 9693 of Lecture Notes in Computer Science, page 329-339. Springer, (2016)Identification of Formal Fallacies in a Natural Dialogue., and . Fundam. Informaticae, 135 (4): 403-417 (2014)MsATL: A Tool for SAT-Based ATL Satisfiability Checking., , , , , and . AAMAS, page 2111-2113. International Foundation for Autonomous Agents and Multiagent Systems, (2020)Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract)., , and . CS&P, volume 1698 of CEUR Workshop Proceedings, page 257-268. CEUR-WS.org, (2016)