Valentin Goranko

  1. 2013
  2. Published

    An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. / Goranko, Valentin; Turrini, Paolo.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 110-123.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  3. Published

    How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games. / Bulling, Nils; Goranko, Valentin.

    Proceedings 1st International Workshop on Strategic Reasoning. EPTCS, 2013. p. 33-41 (Electronic Proceedings in Theoretical Computer Science, Vol. 112).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  4. Published

    Metric propositional neighborhood logics on natural numbers. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Software and Systems Modeling, Vol. 12, No. 2, 2013, p. 245-264.

    Publication: Research - peer-reviewJournal article – Annual report year: 2013

  5. 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-reviewJournal article – Annual report year: 2013

  6. 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-reviewJournal article – Annual report year: 2013

  7. Published

    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.

    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-reviewArticle in proceedings – Annual report year: 2013

  8. E-pub ahead of print

    The dark side of interval temporal logic: marking the undecidability border. / Bresolin, Davide; Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Annals of Mathematics and Artificial Intelligence, 2013.

    Publication: Research - peer-reviewJournal article – Annual report year: 2014

  9. 2012
  10. 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-reviewJournal article – Annual report year: 2012

  11. 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: ResearchBook – Annual report year: 2012

  12. 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-reviewJournal article – Annual report year: 2012

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word