Valentin Goranko
- 2013
- Published
Strategic games and truly playable effectivity functions. / Goranko, Valentin; Jamroga, Wojciech; Turrini, Paolo.
In: Autonomous Agents and Multi-Agent Systems, Vol. 26, No. 2, 2013, p. 288-314.Publication: Research - peer-review › Journal article – Annual report year: 2013
- Published
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.
In: Interest Group in Pure and Applied Logics. Logic Journal, Vol. 21, No. 3, 2013, p. 407-437.Publication: Research - peer-review › Journal article – Annual report year: 2013
- Published
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.
In: Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Springer, 2013. p. 80-96 (Lecture Notes in Computer Science, Vol. 7750).Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
- 2012
- Published
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: Journal of Universal Computer Science, Vol. 18, No. 20, 2012, p. 2798-2831.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010; ESSLLI 2011, Ljubljana, Slovenia, August 201;1 Selected Lecture Notes. / Bezhanishvili, Nick (Editor); Goranko, Valentin (Editor).
Springer, 2012. 265 p. (Lecture Notes in Computer Science, Vol. 7388).Publication: Research › Book – Annual report year: 2012
- Published
Logic for physical space : From antiquity to present days. / Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle; Goranko, Valentin.
In: Synthese, Vol. 186, No. 3, 2012, p. 619-632.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Accepted
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. / Ajspur, Mai; Goranko, Valentin; Shkatov, Dmitry.
In: Interest Group in Pure and Applied Logics. Logic Journal, 2012.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
Undecidability and temporal logic: some landmarks from Turing to the present. / Goranko, Valentin.
In: 2012 19th International Symposium on Temporal Representation and Reasoning (TIME). 2012. p. 3-4.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 2011
- Published
Classes and Theories of Trees Associated with a Class Of Linear Orders. / Goranko, Valentin; Kellerman, Ruaan.
In: Interest Group in Pure and Applied Logics. Logic Journal, Vol. 19, No. 1, 2011, p. 217-232.Publication: Research - peer-review › Journal article – Annual report year: 2010
- Published
Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.
In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. 2011. p. 845-850.Publication: Research - peer-review › Article in proceedings – Annual report year: 2011