BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × South Africa
1 × Vietnam
Collaborated with:
D.Shkatov S.Cerrito A.David D.Bresolin A.Montanari G.Sciavicco
Talks about:
logic (3) procedur (2) decis (2) base (2) neighborhood (1) constraint (1) distribut (1) tableaux (1) proposit (1) knowledg (1)

Person: Valentin Goranko

DBLP DBLP: Goranko:Valentin

Facilitated 1 volumes:

CSL 2017Ed

Contributed to:

IJCAR 20142014
SEFM 20092009
SEFM 20082008

Wrote 3 papers:

IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.
SEFM-2009-BresolinGMS #constraints #integer #logic
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
SEFM-2008-GorankoS #distributed #logic #multi
Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge (VG, DS), pp. 237–246.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.