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

Treffer 1-20 von 22 (Suchzeit: 0.003 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
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