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 × Canada
1 × Italy
1 × Spain
2 × USA
Collaborated with:
N.Creignou M.Thomas M.Wrona F.Olive M.C.Kindsmüller J.Milz A.Meier H.Vollmer
Talks about:
complex (3) boolean (2) abduct (2) logic (2) autoepistem (1) constraint (1) parameter (1) communiti (1) restrict (1) proposit (1)

Person: Johannes Schmidt

DBLP DBLP: Schmidt:Johannes

Contributed to:

CSL 20132013
LATA 20122012
SAT 20112011
KR 20102010
HCI/OCSC 20092009

Wrote 5 papers:

CSL-2013-SchmidtW #abduction #complexity #constraints #similarity
The Complexity of Abduction for Equality Constraint Languages (JS, MW), pp. 615–633.
LATA-2012-MeierSTV #complexity #logic #on the
On the Parameterized Complexity of Default Logic and Autoepistemic Logic (AM, JS, MT, HV), pp. 389–400.
SAT-2011-CreignouOS #csp
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (NC, FO, JS), pp. 120–133.
KR-2010-CreignouST #abduction #complexity #set #strict
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions (NC, JS, MT).
OCSC-2009-KindsmullerMS #community #online
Instant Online Communities as a Means to Foster Conferences (MCK, JM, JS), pp. 62–71.

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.