Author
prev ...
Deshmukh, Jyotirmoy,
1
Di Marco, Antinisca,
1
Dillig, Isil,
1
Dimitriou, Ioannis,
1
Dongol, Brijesh,
1
EPEW (Workshop) Berlin, Germany)
1
EPEW (Workshop) Florence, Italy)
1
EPEW (Workshop) Milan, Italy)
1
EPEW (Workshop) Online)
1
EPEW (Workshop) Paris, France)
1
Eaton, Malachy,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty Lugano, Switzerland)
1
European Summer School in Logic, Language, and Information
1
European Summer School in Logic, Language, and Information Copenhagen, Denmark)
1
Fehnker, Ansgar,
1
Fernández, Maribel,
1
FoIKS (Symposium)
1
FoIKS (Symposium) Dortmund, Germany)
1
Fodor, Paul,
1
Fuji International Symposium on Functional and Logic Programming
1
Fuji International Symposium on Functional and Logic Programming Online)
1
Gaggl, Sarah,
1
Gallina, Barbara,
1
Giesl, Jürgen
1
Goertzel, Ben
1
Governatori, Guido
1
Gribaudo, Marco, 1972-
1
Gurfinkel, Arie,
1
Herzig, Andreas, 1949-
1
Hähnle, Reiner
1
IJCAR (Conference)
1
IJCAR (Conference) Edinburgh, Scotland)
1
ITP (Conference)
1
ITP (Conference) Edinburgh, Scotland)
1
International Conference on Artificial Intelligence Logic and Applications
1
International Conference on Artificial Intelligence Logic and Applications Changchun, China)
1
International Conference on Deontic Logic in Computer Science
1
International Conference on Deontic Logic in Computer Science Fiesole, Italy)
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Online)
1
International Conference on Software Engineering and Formal Methods
1
International Conference on Software Engineering and Formal Methods Online)
1
International Workshop on Assurance Cases for Software-Intensive Systems
1
JELIA (Conference) Dresden, Germany)
1
JELIA (Conference) Larnaca, Cyprus)
1
Jirásková, Galina,
1
Jøsang, Audun,
1
Kakas, Antonis C.,
1
Kari, J.
1
more ...