Integrated Evaluation of Answer Set Programs and Extensions

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
IE of ASP
 
Project Title (de) Projekttitel (de)
Integrated Evaluation of Answer Set Programs and Extensions
 
Project Title (en) Projekttitel (en)
Integrated Evaluation of Answer Set Programs and Extensions
 
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 27730-N23
 

Publications


Filter:
Date Issued:  [2000 TO 2021]
Author:  Redl, Christoph
Date Issued:  2017

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

PreviewAuthor(s)TitleTypeIssue Date
1Redl, Christoph Explaining Inconsistency in Answer Set Programs and ExtensionsKonferenzbeitrag Inproceedings 2017
2Rath, Jakob ; Redl, Christoph Integrating Answer Set Programming with Procedural LanguagesKonferenzbeitrag Inproceedings 2017
3Redl, Christoph Extending Answer Set Programs with Interpreted Functions as First-class CitizensKonferenzbeitrag Inproceedings 2017
4Redl, Christoph Answer Set Programs with Queries over SubprogramsKonferenzbeitrag Inproceedings 2017
5Redl, Christoph Conflict-driven ASP Solving with External Sources and Program SplitsKonferenzbeitrag Inproceedings 2017
6Redl, Christoph Efficient Evaluation of Answer Set Programs with External Sources Based on External Source InliningKonferenzbeitrag Inproceedings 2017
7Redl, Christoph On Equivalance and Inconsistency of Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2017