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 48 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter A model building framework for answer set programming with external computationsArtikel Article Jul-2016
2Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingArtikel Article 2016
3Ianni, 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
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
5Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Distributed Evaluation of Nonmonotonic Multi-Context SystemsArtikel Article 2015
6De Rosis, Alessandro ; Eiter, Thomas ; Redl, Christoph ; Ricca, Francesco Constraint Answer Set Programming based on HEX-ProgramsKonferenzbeitrag Inproceedings 2015
7Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
8Eiter, Thomas ; Pan, Jeff Z. ; Schneider, Patrik ; Šimkus, Mantas ; Xiao, Guohui A Rule-based Framework for Creating Instance Data from OpenStreetMapKonferenzbeitrag Inproceedings 2015
9Eiter, Thomas ; Simkus, Mantas Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
10Feier, Cristina ; Eiter, Thomas Reasoning with Forest Logic Programs Using Fully Enriched AutomataKonferenzbeitrag Inproceedings 2015
11Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 1-Jan-2014
12Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Domain Expansion for ASP-Programs with External SourcesBericht Report2014
13Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
14Shen, 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 Article 2014
15Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. Efficient HEX-Program Evaluation based on Unfounded SetsArtikel Article 2014
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 ; Stepanova, Daria Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ OntologiesKonferenzbeitrag Inproceedings 2014
18Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Towards Practical Deletion Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 2014
19Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Stepanova, Daria Exploiting Support Sets for Answer Set Programs with External EvaluationsKonferenzbeitrag Inproceedings 2014
20Eiter, Thomas ; Fink, Michael ; Stepanova, Daria Data Repair of Inconsistent DL-programsKonferenzbeitrag Inproceedings 1-Jan-2013