Modular HEX-Programs

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
HEX-Programme
 
Project Title (de) Projekttitel (de)
Modular HEX-Programs
 
Project Title (en) Projekttitel (en)
Modular HEX-Programs
 
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
P20841-N13
 

Publications

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus Semantically Enriched Multi-Modal RoutingArtikel Article 2016
2Eiter, Thomas ; Simkus, Mantas ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw Linking Open-World Knowledge Bases Using Nonmonotonic RulesKonferenzbeitrag Inproceedings 2015
3Shen, 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
4Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; desJardins, Marie ; Littman, Michael Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013
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 ; Cabalar, Pedro ; Son, Tran Cao The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
6Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Son, Tran Cao ; Cabalar, Pedro VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013
7Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph ; Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
8Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Pearce, David ; Tasharrofi, Shahab ; Ternovska, Eugenia ; Vidal, Concepción Grounding HEX-Programs with Expanding DomainsKonferenzbeitrag Inproceedings 2013
9EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL Finding Similar/Diverse Solutions in Answer Set ProgrammingArtikel Article2013
10Antić, Christian ; Eiter, Thomas ; Fink, Michael ; Cabalar, Pedro ; Son, Tran Cao Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
11Eiter, Thomas ; Krennwallner, Thomas ; Schneider, Patrik ; Xiao, Guohui ; Lukasiewicz, Thomas ; Sali, Attila Uniform Evaluation of Nonmonotonic DL-ProgramsKonferenzbeitrag Inproceedings2012
12Le-Phuoc, Danh ; Dao-Tran, Minh ; Pham, Minh-Duc ; Boncz, Peter ; Eiter, Thomas ; Fink, Michael ; Cudre-Mauroux, Philippe Linked Stream Data Processing Engines: Facts and FiguresKonferenzbeitrag Inproceedings 2012
13Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Weidinger, Gerald ; Weinzierl, Antonius ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme OMiGA : An Open Minded Grounding On-The-Fly Answer Set SolverKonferenzbeitrag Inproceedings 2012
14Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Conflict-driven ASP Solving with External SourcesPreprint Preprint2012
15Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus ; Blervaque, Vincent ; Pfliegl, Reinhard Semantically Enriched Multi-Modal RoutingKonferenzbeitrag Inproceedings 2012
16Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme Inconsistency Management for Traffic Regulations: Formalization and Complexity ResultsKonferenzbeitrag Inproceedings 2012
17Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; Fink, Michael ; Lierler, Yuliya Eliminating Unfounded Set Checking for HEX-ProgramsKonferenzbeitrag Inproceedings 2012
18Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; del Cerro, Luis Fariñas ; Herzig, Andreas ; Mengin, Jérôme Exploiting Unfounded Sets for HEX-Program EvaluationKonferenzbeitrag Inproceedings 2012
19Beck, Harald ; Eiter, Thomas ; Krennwallner, Thomas ; Srivastava, Biplav ; Lecue, Freddy ; Joshi, Anupam Inconsistency Managment for Traffic RegulationsKonferenzbeitrag Inproceedings 2012
20Bischof, Stefan ; Decker, Stefan ; Krennwallner, Thomas ; Polleres, Axel Mapping between RDF and XML with XSPARQLArtikel Article2012