International Conference on Logic Programming (ICLP)

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Logic Programming (ICLP)
 
Event type
Event for scientific audience
 
Start date
01-01-2019
End date
01-01-2019
 
Location
Sitges
Country
Spain
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Schüller, Peter ; Weinzierl, Antonius Answer Set Application Programming: a Case Study on TetrisKonferenzbeitrag Inproceedings 2015
2Eiter, Thomas Answer Set Programming for the Semantic Web (Tutorial)Konferenzbeitrag Inproceedings 2007
3Eiter, Thomas Answer Set Programs go 30: Past and FuturePräsentation Presentation2018
4Egly, Uwe ; Gaggl, Sarah Alice ; Woltran, Stefan Answer-Set Programming Encodings for Argumentation FrameworksKonferenzbeitrag Inproceedings 2008
5Egly, Uwe ; Gaggl, Sarah Alice ; Woltran, Stefan ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set ProgrammingKonferenzbeitrag Inproceedings2008
6Janssen, Jeroen ; Heymans, Stijn ; Vermeir, Dirk ; De Cock, Martine Compiling Fuzzy Answer Set Programs to Fuzzy Propositional TheoriesKonferenzbeitrag Inproceedings 2008
7Puehrer, Joerg ; Tompits, Hans ; Woltran, Stefan Elimination of Disjunction and Negation in Answer-Set Programs under HyperequivalenceKonferenzbeitrag Inproceedings 2008
8Fink, Michael Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereKonferenzbeitrag Inproceedings 2008
9Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
10Eiter, Thomas ; Erdem, Esra ; Erdoğan, Halit ; Fink, Michael Finding Similar or Diverse Solutions in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2009
11Šimkus, Mantas Fusion of Logic Programming and Description LogicsKonferenzbeitrag Inproceedings 2009
12Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2010
13Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Merging Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings2009
14Schindlauer, Roman Nonmonotonic Logic Programs for the Semantic WebPräsentation Presentation2005
15Schindlauer, Roman Nonmonotonic Logic Programs for the Semantic WebKonferenzbeitrag Inproceedings 2005
16Kiesl, Benjamin ; Schüller, Peter ; Tompits, Hans On Structural Analysis of Non-Ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2015
17Morak, Michael ; Woltran, Stefan Preprocessing of Complex Non-Ground Rules in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2012
18Oetsch, Johannes ; Tompits, Hans Program Correspondence under the Answer-Set Semantics: The Non-ground CaseKonferenzbeitrag Inproceedings 2008
19Krennwallner, Thomas Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
20Truszczynski, Miroslaw ; Woltran, Stefan Relativized Hyperequivalence of Logic Programs for Modular ProgrammingKonferenzbeitrag Inproceedings 2008