PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Swoboda, Nik"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity.

, and . J. Vis. Lang. Comput., 22 (1): 56-65 (2011)

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.

Konstantin Nikolaou University of Stuttgart

Vasiliki-Ioanna Nikolopoulou University of Stuttgart

Ph. D. Dmitry Nikolaev University of Stuttgart

 

Other publications of authors with the same name

Using Graphics to Communicate Across Cultures., , , , and . Diagrams, volume 2980 of Lecture Notes in Computer Science, page 347-350. Springer, (2004)A Proposal for Recognizing Skills in Data Science Using Open Badges., , and . ITiCSE, page 316. ACM, (2019)An introduction to AI course with guide robot programming assignments., , , and . SIGCSE, page 231-236. ACM, (2011)Diagrams 2002., and . KI, 16 (4): 45 (2002)Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity., and . J. Vis. Lang. Comput., 22 (1): 56-65 (2011)Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL., and . Electron. Notes Theor. Comput. Sci., (2005)A Sequent Based Logic for Coincidence Grids., and . VLL, volume 274 of CEUR Workshop Proceedings, page 1-12. CEUR-WS.org, (2007)Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction., , and . Diagrams, volume 2980 of Lecture Notes in Computer Science, page 286-300. Springer, (2004)Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning., , , , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 3. Springer, (2012)An Environment for Conducting and Analysing Graphical Communication Experiments., , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 103-105. Springer, (2002)