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: Schmidt:Johannes
Contributed to:
2013
2012
2011
2010
2009Wrote 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.