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 × Germany
Collaborated with:
S.Cerrito V.Goranko
Talks about:
tableaux (2) satisfi (2) atl (2) procedur (1) tempor (1) altern (1) optim (1) logic (1) decis (1) decid (1)

Person: Amélie David

DBLP DBLP: David:Am=eacute=lie

Contributed to:

CADE 20152015
IJCAR 20142014

Wrote 2 papers:

CADE-2015-David #satisfiability
Deciding ATL* Satisfiability by Tableaux (AD), pp. 214–228.
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.

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.