( en | de | ru )

 

Disambiguation of "Kacprzak, Magdalena"

Author of the publication

copydeleteadd this publication to your clipboard
Satisfiability Checking of Strategy Logic with Simple Goals.

, , and . KR, page 400-410. (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 Bremer

Magdalena Abel

 

Other publications of authors with the same name

Dialogue Systems: Modeling and Prediction of their Dynamics., , and . AECIA, volume 427 of Advances in Intelligent Systems and Computing, page 421-431. Springer, (2015)MsATL: a Tool for SAT-Based ATL Satisfiability Checking., , , , , and . CoRR, (2023)Verifying Strategies in Dialogue Games., , , and . CS&P, volume 1269 of CEUR Workshop Proceedings, page 92-100. CEUR-WS.org, (2014)Persuasive Strategies in Dialogue Games with Emotional Reasoning.. IJCRS (2), volume 10314 of Lecture Notes in Computer Science, page 435-453. Springer, (2017)Metasets and Opinion Mining in New Decision Support System., , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 625-636. 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)Undecidability of a Multi-Agent Logic.. Fundam. Informaticae, 54 (2-3): 213-220 (2003)Towards Encoding of the Transition Relation in Dialogue Games Model Checking., , and . Fundam. Informaticae, 165 (3-4): 345-361 (2019)