Search results for: Valentin Goranko
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 10. Modal and Temporal Logics > 590-604
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 73-89
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 102-116
Lecture Notes in Computer Science > Temporal Logic > 133-148
Lecture Notes in Computer Science
Discrete Applied Mathematics > 2016 > 198 > Complete > 118-135
Information, Interaction and Agency > 77-116
Autonomous Agents and Multi-Agent Systems > 2016 > 30 > 5 > 793-825
Autonomous Agents and Multi-Agent Systems > 2016 > 30 > 3 > 446-485
Acta Informatica > 2016 > 53 > 3 > 207-246
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 41-83
Autonomous Agents and Multi-Agent Systems > 2013 > 26 > 2 > 288-314
Software & Systems Modeling > 2013 > 12 > 2 > 245-264