Travelled to:1 × Austria
1 × Canada
1 × Iceland
1 × Portugal
1 × USA
Collaborated with:D.M.Allen B.Parsia V.Kolesnikov Y.A.Ibáñez-García C.Lutz V.Gutiérrez-Basulto J.C.Jung M.Bauland H.Schnoor I.Schnoor H.Vollmer
Talks about:logic (3) communiti (2) descript (2) studi (2) lightweight (1) troublesom (1) structur (1) technic (1) support (1) satisfi (1)
Person: Thomas Schneider
DBLP: Schneider:Thomas
Contributed to:
2014
20132010
2008
2007Wrote 6 papers:
- KR-2014-GarciaLS #finite #logic #reasoning
- Finite Model Reasoning in Horn Description Logics (YAIG, CL, TS).
- KR-2014-Gutierrez-BasultoJ0 #branch #lightweight #logic
- Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).
- OCSC-2013-AllenS #case study #community
- The Role of the Community in a Technical Support Community: A Case Study (DMA, TS), pp. 335–344.
- KR-2010-ParsiaS #composition #empirical #ontology
- The Modular Structure of an Ontology: An Empirical Study (BP, TS).
- ICALP-C-2008-KolesnikovS
- Improved Garbled Circuit: Free XOR Gates and Applications (VK, TS), pp. 486–498.
- FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability
- The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.