PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kacprzak, Magdalena"

Author of the publication

copydeleteadd this publication to your clipboard
Unbounded Model Checking for Alternating-Time Temporal Logic.

, and . AAMAS, page 646-653. IEEE Computer Society, (2004)

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.

Dr. -Ing. Magdalena Speicher University of Stuttgart

Magdalena Schilling University of Stuttgart

Magdalena Rita Auer University of Stuttgart

Maike Magdalena Arnold University of Stuttgart

 

Other publications of authors with the same name

Logic for Reasoning about Components of Persuasive Actions., , and . ISMIS, volume 5722 of Lecture Notes in Computer Science, page 201-210. Springer, (2009)Verifying Strategies in Dialogue Games., , , and . CS&P, volume 1269 of CEUR Workshop Proceedings, page 92-100. CEUR-WS.org, (2014)Metasets and Opinion Mining in New Decision Support System., , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 625-636. Springer, (2015)Persuasive Strategies in Dialogue Games with Emotional Reasoning.. IJCRS (2), volume 10314 of Lecture Notes in Computer Science, page 435-453. Springer, (2017)Dialogue Systems: Modeling and Prediction of their Dynamics., , and . AECIA, volume 427 of Advances in Intelligent Systems and Computing, page 421-431. Springer, (2015)Undecidability of a Multi-Agent Logic.. Fundam. Inform., 54 (2-3): 213-220 (2003)From Bounded to Unbounded Model Checking for Temporal Epistemic Logic., , and . Fundam. Inform., 63 (2-3): 221-240 (2004)Towards Encoding of the Transition Relation in Dialogue Games Model Checking., , and . Fundam. Inform., 165 (3-4): 345-361 (2019)SMT-Based Encoding of Argumentation Dialogue Games., , and . ICAISC (2), volume 11509 of Lecture Notes in Computer Science, page 564-574. Springer, (2019)Towards Verification of Dialogue Protocols: A Mathematical Model., , and . ICAISC (2), volume 9693 of Lecture Notes in Computer Science, page 329-339. Springer, (2016)