Evaluation of ASP Programs with External Source Access

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
ASP
 
Project Title (de) Projekttitel (de)
Evaluation of ASP Programs with External Source Access
 
Project Title (en) Projekttitel (en)
Evaluation of ASP Programs with External Source Access
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P 24090-N23
 

Publications

Results 1-20 of 49 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue 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
2EITER, THOMAS ; FINK, MICHAEL ; IANNI, GIOVAMBATTISTA ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH ; SCHÜLLER, PETER A Model Building Framework for Answer Set Programming with External ComputationsArtikel Article 2016
3Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingArtikel Article 2016
4Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A Model Building Framework for Answer Set Programming with External ComputationsBericht Report2015
5Feier, Cristina ; Eiter, Thomas ; Papini, Odile Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
6Eiter, Thomas ; Simkus, Mantas ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
7De Rosis, Alessandro ; Eiter, Thomas ; Redl, Christoph ; Ricca, Francesco Constraint Answer Set Programming based on HEX-ProgramsKonferenzbeitrag Inproceedings 2015
8Feier, Cristina ; Eiter, Thomas ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
9Eiter, Thomas ; Pan, Jeff Z. ; Schneider, Patrik ; Šimkus, Mantas ; Xiao, Guohui ; ten Cate, Balder ; Mileo, Alessandra A Rule-based Framework for Creating Instance Data from OpenStreetMapKonferenzbeitrag Inproceedings 2015
10Eiter, Thomas ; Giovambattista, Ianni ; Fink, Michael ; Redl, Christoph ; Schüller, Peter A Model Building Framework for {ASP} with External ComputationsArtikel Article2015
11Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Evaluation of Nonmonotonic Multi-Context SystemsArtikel Article2015
12Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Rosati, Riccardo ; Simkus, Mantas Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
13Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Fermé, Eduardo ; Leite, Joao Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ OntologiesKonferenzbeitrag Inproceedings 2014
14Eiter, Thomas ; Fink, Michael ; Stepanova, Daria ; Schaub, Torsten ; Friedrich, Gerhard ; O´Sullivan, Barry Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
15Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesBericht Report2014
16Calimeri, 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
17Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Hanus, Michael ; Rocha, Ricardo hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
18Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria ; Brodley, Carla E. ; Stone, Peter Exploiting Support Sets for Answer Set Programs with External EvaluationsKonferenzbeitrag Inproceedings 2014
19Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun FLP answer set semantics without circular justifications for general logic programsArtikel Article2014
20Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article2014