Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Jan Maly

Tools: Drucken



Jan Maly

portrait

Address Jan Maly
Institute of Information Systems
Database and Artificial Intelligence Group
Vienna University of Technology
Favoritenstraße 9-11
1040 Wien
Austria
Mail
Phone +43/1/58801/18408
Fax +43/1/58801/18493
Room HE 03 20

You can find me also in the TISS Adress Book

About me

I am currently a Ph.D student and University Assistant at the Database and Artificial Intelligence Group. In August 2016 I received my master's degree in mathematics with specialization in logic from the University of Vienna.

Papers

[8] Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets
Jan Maly
AAAI 2020, to appear (Preprint, Full Proofs)

[7] Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
Journal of Artificial Intelligence Research (JAIR), 66: 1147-1197 (2019) (Download)
[6] Aggregating Expert Opinions in Support of Medical Diagnostic Decision-Making
Clemens Gangl, Martin Lackner, Jan Maly and Stefan Woltran
Knowledge Representation for Health Care/ProHealth, KR4HC 2019, Poznan, Poland June 26, 2019, pages 56-62, 2019 (Download)
[5] Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
IJCAI 2018: 433-439 (Download)
[4] A New Logic for Jointly Representing Hard and Soft Constraints
Jan Maly, Stefan Woltran
PRUV@IJCAR 2018 (Download)
[3] Ranking Specific Sets of Object
Jan Maly, Stefan Woltran
Datenbank-Spektrum 17(3): 255-265 (2017) (Download)
[2] Ranking Specific Sets of Object
Jan Maly, Stefan Woltran
BTW 2017 - Workshopband pages 193-201 (Download)
[1] Pseudo proof systems and hard instances of SAT
Jan Maly, Moritz Müller
Math. Log. Q. 64(6): 418-428 (2018) (Download)

Master's Thesis

[1] Jan Krajicek's Forcing Construction and Pseudo Proof Systems
Jan Maly
Master's Thesis, Universität Wien, Advisor: Moritz Müller 2016 (Download)

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung