Publications in collaboration with researchers from Simon Fraser University (4)

2019

  1. Towards Dynamic Answer Set Programming over Finite Traces

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. telingo = ASP + Time

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. Bishellable drawings of K n

    SIAM Journal on Discrete Mathematics, Vol. 32, Núm. 4, pp. 2482-2492

2011

  1. IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011: Preface

    IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011