Name Card

Full name Familienname, Vorname
Calimeri, Francesco
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ianni, Giovambattista ; Calimeri, Francesco ; Germano, Stefano ; Humenberger, Andreas ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea ; Wimmer, Anton Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge BasesArtikel Article2016
2Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2014
3Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Wimmer, Anton AngryHEX: An Artificial Player for Angry Birds Based on Declarative Knowledge BasesKonferenzbeitrag Inproceedings 2013
4Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Wimmer, Anton AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2013
5Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
6Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco The Answer Set Programming CompetitionArtikel Article2012
7Calimeri, Francesco ; Ianni, Giovambattista Template Programs for Disjunctive Logic Programming: An Operational SemanticsBericht Report2005

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lellmann, Björn Theorem Proving for Lewis Logics of Counterfactual ReasoningKonferenzbeitrag Inproceedings 2020
2Haret, Adrian ; Wallner, Johannes P. Manipulating Skeptical and Credulous Consequences When Merging BeliefsKonferenzbeitrag Inproceedings 2019
3Geibinger, Tobias ; Tompits, Hans Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2019
4Saribatur, Zeynep G. ; Schüller, Peter ; Eiter, Thomas Abstraction for Non-ground Answer Set ProgramsKonferenzbeitrag Inproceedings 2019
5Eiter, Thomas ; Simkus, Mantas Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
6Charwat, Günther ; Woltran, Stefan Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
7Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015
8Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015