Name Card

Full name Familienname, Vorname
Leite, Joao
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
2Leite, Joao ; Tran, Cao Son ; Torroni, Paolo ; Woltran, Stefan Applications of logical approaches to argumentationArtikel Article2015

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ OntologiesKonferenzbeitrag Inproceedings 2014
2Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014
3Polberg, Sylwia ; Doder, Dragan Probabilistic Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2014
4Polberg, Sylwia Extension-based Semantics of Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2014
5Cabalar, Pedro ; Fandiño, Jorge ; Fink, Michael A Complexity Assessment for Queries Involving Sufficient and Necessary CausesKonferenzbeitrag Inproceedings 2014
6Amendola, Giovanni ; Eiter, Thomas ; Leone, Nicola Modular Paracoherent Answer SetsKonferenzbeitrag Inproceedings 2014
7Polberg, Sylwia ; Wallner, Johannes Peter ; Woltran, Stefan Admissibility in the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2013
8Leite, Joao ; Son, Tran Cao ; Torroni, Paolo ; van der Torre, Leon ; Woltran, Stefan Computational Logic in Multi-Agent SystemsBuch Book 2013
9Woltran, Stefan Strong Equivalence in ArgumentationKonferenzbeitrag Inproceedings2010