Popis postignuća u posljednjih pet godina

1. Pet odabranih publikacija relevantnih za temu projekta:
a. Lauc, Davor; Matanović, Damir; Vitek, Darko Neizrazite logike u povijesnim istraživanjima : primjer analize nepreciznih temporalnih odrednica neizrazitim skupovima i dubokim učenjem., Osijek: Fakultet za odgojne i obrazovne znanosti, 2020 (monografija)
b. Lauc, Davor Machine Learning and the Philosophical Problems of Induction. // Guide to Deep Learning Basics / Skansi, Sandro (ur.). Switzerland: Springer Charm, 2020. str. 93-106 [Scopus]
c. Lauc, Davor; Grgić Hlača, Nina; Skansi, Sandro Automatic Item Generation for Elementary Logic Quizzes via Markov Logic Networks. // User-Centered Design Strategies for Massive Open Online Courses (MOOCs) / Mendoza-Gonzalez, Ricardo (ur.). Hershey, PA, USA: IGI Global, 2016. str. 177-187 [Scopus]
d. Lauc, Davor Reasoning About Inexact Dates Using Dense Vector Representation. // COMPUSOFT, 8 (2019), 2; 3031-3035 doi:10.6084/ijact.v8i2.864 (međunarodna recenzija, članak, znanstveni) [Scopus]
e. Lauc, Davor How Gruesome are the No-free-lunch Theorems for Machine Learning?. // Croatian journal of philosophy, XVIII (2018), 54; 479-489 (međunarodna recenzija, članak, znanstveni)
2. Popis projekata
a. HRZZ: -2016-06-2408 Racionalnost: između logičkog ideala i svakodnevnog zaključivanja (suradnik)
b. NIFZ 2019 (UNIZG): Razvoj logike prepoznavanja i usporedbe nepreciznih prostorno-vremenskih koncepata u svrhu primjene u digitalnoj humanistici (voditelj)
c. NIFZ 2018 (UNIZG): Uporaba nemonotoničkih logika i dubokog učenja u stvaranju višejezičnih narativa iz rodoslovnih podataka (voditelj)
3. Dosadašnje sudjelovanje na projektima HRZZ-a
a. Suradnik na projektu: Racionalnost: između logičkog ideala i svakodnevnog zaključivanja; rezultati - radovi 1e i Skansi, Sandro; Lauc, Davor Analogijsko zaključivanje i značenja riječi u višedimenzionalnom prostoru. // Filozofska istraživanja, 38 (2018), 1; 5-16 doi:10.21464/fi38101; Lauc, Davor; Banek, Anamarija; Tomek, Tamara; Mikić, Karlo Pojmovnik elementarne logike., Zagreb: FF Press, 2019 (prirucnik) doi:10.17234/9789531758253
b. Recenzent projekata iz područja filozofije (2016-), Recenzent Projekta razvoja karijera mladih istraživača – izobrazba novih doktora znanosti (2020)
c. Član HRZZ panel za vrednovanje HZ P2 (2018-19)
4. Pozvana predavanja na međunarodnim konferencijama posljednjih pet godina
a. Inferring standard name form, gender and nobility from historical texts using stable model semantics. // Göttingen Dialog in Digital Humanities Göttingen, Njemačka, 2016. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni); nagrada za najbolje izlaganje
b. How Gruesome are No-free-lunch Theorems – On the Relevance of the Goodman's New Riddle of Induction to Machine Learning. // Neformalna logika i prirodno zaključivanje Rijeka 2017 (pozvano predavnje, pp prezentacija)
c. Reasoning About Inexact Dates Using Dense Vector Representation (ICCMSO-2019) January 11-13, 2019 Asian Institute of Technology Conference Center Bangkok (pozvano predavanje, plenarno, međunarodna recenzija)

5. Posljednjih pet konferencija:
a. 5th International Conference on the History and Philosophy of Computing 28-30; Oct 2019 Bergamo (Italy). Davor Lauc and Ines Skelac/ Vectorizing Begriffsschrift: On the relevance of recent forays into the deep learning of word meanings to some traditional philosophical problems and vice versa
b. Digital Humanities Budapest 2019. Davor Lauc and Darko Vitek: Developing logic of inexact concept comparison for historical entity linking
c. CCMSO-2019: International Conference on Computational Methods, Simulation and Optimization (Bangkok, Thailand). Davor Lauc: Reasoning About Inexact Dates.
d. Digital Humanities Budapest 2018. Davor Lauc and Darko Vitek: From the History to the Story – Harvesting Non-Monotonic Logic and Deep Learning to Generate Multilingual Family Narratives From Genealogical Data
e. Zadarski filološki dani VII (Zadar 2018). Davor Lauc, Ines Skelac, Ružica Stanić: Uporaba korpusa u usporedbi hrvatskog s drugim jezicima
6. Ostala stručna i znanstvena postignuća (posljednjih 5 godina)
a. Član Programskog odbora međunarodne konferencije Jezik i spoznaja (Cres 25.-28. 9. 2016.)
b. Međunarodna nagrada: „First notable mention for its high standard and well-presented research results for a paper entitled "Inferring standard name form, gender and nobility from historical texts using stable model semantics". Board of the Göttingen Dialog in Digital Humanities 2016.
c. Recenzent članaka za područja logike, filozofije znanosti i jezika za časopise Filozofska istraživanja/Synthesis Philosophica Metodički ogledi, Filologija HAZU, DHS - društvene i humanističke studije; recenzent više znanstvenih knjiga iz područja logike i računarstva
d. Primjena istraživanja u društvenom sektoru - rodoslovna istraživanja: popularizacija znanosti na konferencijama Hrvatskog rodoslovnog društva – predavanja: Mogućnosti izvedbe otvorenog obiteljskog stabla semantičkim tehnologijama (2017, 2019); te primjena na rodoslovnom projektu ActaCroatica.com (2016-, autor)