Conjunctive query containment over trees.
by Henrik Björklund, Wim Martens, Thomas Schwentick.
J. Comput. Syst. Sci. 77(3): 450-472 (2011)
|
Two-variable logic and key constraints on data words.
by Matthias Niewerth, Thomas Schwentick
ICDT 2011: 138-149
|
Rewriting Ontological Queries into Small Datalog Programs.
by Georg Gottlob, Thomas Schwentick.
Despription Logics 2011
|
Two-variable logic on data words.
by Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin.
ACM Trans, Comput. Log. 12(4): 27 (2011)
|
Spectral Techniques: The first decade of the XXI century
by Moraga C.:
Proc. 40th Int. IEEE Symposium on Multiple valued Logic 3-8. IEEE-CS-Press, 2010
|
Remarks on applicability of spectral representations on finite non-Abelian groups in the design for regularity.
by Stankovic R.S., Astola J.T. , Moraga C.:
Proc. 40th Int. IEEE Symposium on Multiple valued Logic 313-318. IEEE-CS-Press, 2010
|
Ensemble methods for machine learning
by Allende H., Moraga C., Nanculef R., Salas R.
Pattern Recognition and Machine Vision (Patrick S.P. Wang, Ed.) 247-262. River Publishers, Aalborg, Denmark, 2010. ISBN 978-87-92329-36-3
|
Synthesis of threshold logic networks from decision diagrams
by Stankovic M., Moraga C.
Proc. 19th Int. Workshop on Post-Binary ULSI Systems, 7-11. Barcelona. Spain, May 25, 2010
|
Evolutionary design of reversible logical circuits using IMEP. The case of even parity
by Hadjam F., Moraga C.
Proc. 19th CEC / WCCI - 2010, 2265-2270. IEEE-CS-Press, 2010
|
RIMEP for designing reverible adders and multipliers
by Hadjam F., Moraga C.
Proc. Workshop on Reversible Computing, 35-38. Press-Univ. Bremen, 2010
|
Was ist eine kreative Leistung Studierender? Mediengestützte kreativitätsförderliche Lehrbeispiele.
by Jahnke, I., Haertel, T., Mattick, V., Lettow, K.
In: Tagungsband „Hochschuldidaktik Informatik“, HDI 2010, Paderborn, S. 87-92
|
Temporal Logics on Words with Multiple Data Values.
by Ahmet Kara, Thomas Schwentick, Thomas Zeume
FSTTCS 2010: 481-492
|
A (naive) glance at Soft Computing
by Trillas E., Moraga C., Guardarrama S.
International Journal of Computational Intelligence Systems 3, (2), 197-201, 2010
|
Complexity of hybrid logics over transitive frames.
by Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber
J.Applied Logic 8(4): 422-440 (2010)
|
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
by Thomas Eiter, Georg Gottlob, Thomas Schwentick
Fields of Logic and Computation 2010: 227-250
|
Can Bobby demand delivery? Towards a knowledge-based system for private law
by Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
In: Proceedings of the 24th Workshop on Constraint Logic Programming (WLP'10). Cairo, Egypt, September 2010.
|
Using Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
by Christoph Beierle, Bernhard Freund, Gabriele Kern-Isberner, Matthias Thimm
In: Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10). Desenzano del Garda, Italy, September 2010.
|
|
by Thomas Schwentick, Thomas Zeume
CSL 2010: 499 - 513 (Full Version)
|
Logik und Automaten: ein echtes Dreamteam
by Henrik Björklund,Wim Martens, Nicole Schweickhardt, Thomas Schwentick
Informatik Spektrum 33(5): 452-461 (2010)
|
|
Specifying Hyperdocuments with Algebraic Methods
by Mattick, V.
In: 6th International Workshop on Automated Specification and Verification of Web Systems Vienna, Austria, July 30-31, 2010. To appear.
|
|
|
