Author of the publication

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.

 

Other publications of authors with the same name

Reactive Links to Save Automata States., and . Stringology, page 1-8. Prague Stringology Club, Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, (2010)A Logical Framework for Monitoring and Evolving Software Components., , and . TASE, page 273-282. IEEE Computer Society, (2007)A Language for Handling Hypothetical Updates and Inconsistency., , , and . Logic Journal of the IGPL, 4 (3): 385-416 (1996)Conditonal Logic Programming., , , and . ICLP, page 272-289. MIT Press, (1994)Argumentation as Information Input: A Position Paper., and . COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, page 311-318. IOS Press, (2016)What is a Classical Connective?. Math. Log. Q., 24 (1-6): 37-44 (1978)Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics., and . J. Symb. Log., 57 (4): 1319-1365 (1992)Editorial., and . FLAP, 5 (1): 1-4 (2018)Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017., and . FLAP, (2017)Introducing Bayesian Argumentation Networks., and . FLAP, 3 (2): 241-278 (2016)