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
02-10-2005
End date
05-10-2005
 
Location
Sitges, Spain
Sitges, Spain
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Schüller, Peter ; Weinzierl, Antonius ; De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca Answer Set Application Programming: a Case Study on TetrisKonferenzbeitrag Inproceedings 2015
2Eiter, Thomas ; Niemelä, Ilkka ; Dahl, Veronika 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 ; Faber, Wolfgang ; Lee, Joohyung Answer-Set Programming Encodings for Argumentation FrameworksKonferenzbeitrag Inproceedings 2008
5Egly, Uwe ; Gaggl, Sarah Alice ; Woltran, Stefan ; de la Banda, Maria G. ; Pontelli, Enrico 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 ; de la Banda, Maria G. ; Pontelli, Enrico Elimination of Disjunction and Negation in Answer-Set Programs under HyperequivalenceKonferenzbeitrag Inproceedings 2008
8Fink, Michael ; Garcia de la Banda, Maria ; Pontelli, Enrico 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 ; Bogaerts, Bart ; Erdem, Esra ; Fodor, Paul ; Formisano, Andrea ; Ianni, Giovambattista ; Inclezan, Daniela ; De Vos, Marina ; Yang, Fangkai Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
10Eiter, Thomas ; Erdem, Esra ; Erdoğan, Halit ; Fink, Michael ; Hill, Patricia ; Warren, David S. Finding Similar or Diverse Solutions in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2009
11Šimkus, Mantas ; Hill, Patricia ; Warren, David S. Fusion of Logic Programming and Description LogicsKonferenzbeitrag Inproceedings 2009
12Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista ; Hermenegildo, Manuel ; Schaub, Torsten HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2010
13Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan ; Hill, Patricia M. ; Warren, David S. Merging Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings2009
14Schindlauer, Roman Nonmonotonic Logic Programs for the Semantic WebPräsentation Presentation2005
15Schindlauer, Roman ; Gabbrielli, Maurizio ; Gupta, Gopal Nonmonotonic Logic Programs for the Semantic WebKonferenzbeitrag Inproceedings 2005
16Kiesl, Benjamin ; Schüller, Peter ; Tompits, Hans ; De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca On Structural Analysis of Non-Ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2015
17Morak, Michael ; Woltran, Stefan ; Dovier, Agostino ; Costa, Vitor Santos Preprocessing of Complex Non-Ground Rules in Answer Set ProgrammingKonferenzbeitrag Inproceedings 2012
18Oetsch, Johannes ; Tompits, Hans ; de la Banda, Maria G. ; Pontelli, Enrico Program Correspondence under the Answer-Set Semantics: The Non-ground CaseKonferenzbeitrag Inproceedings 2008
19Krennwallner, Thomas ; Gallagher, John ; Gelfond, Michael Promoting Modular Nonmonotonic Logic ProgramsKonferenzbeitrag Inproceedings 2011
20Truszczynski, Miroslaw ; Woltran, Stefan ; de la Banda, Maria G. ; Pontelli, Enrico Relativized Hyperequivalence of Logic Programs for Modular ProgrammingKonferenzbeitrag Inproceedings 2008