Name Card

Full name Familienname, Vorname
Baader, Franz
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas Conjunctive Query Answering in SH using KnotsKonferenzbeitrag Inproceedings 2008
2Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans Nonmonotonic Description Logic Programs: Implementation and ExperimentsKonferenzbeitrag Inproceedings 2005
3Baaz, Matthias ; Leitsch, Alexander CERES in many-valued logicsKonferenzbeitrag Inproceedings2005
4Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005