Name Card

Full name Familienname, Vorname
Pfeifer, Gerald
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Perri, Simona ; Scarcello, Francesco The DLV System for knowledge representation and reasoningArtikel Article2006
2Eiter, Thomas ; Faber, Wolfgang ; Pfeifer, Gerald ; Polleres, Axel Florian Declarative Planning and Knowledge Representation in an Action LanguageBuchbeitrag Book Contribution 2005
3Dell´Armi, Tina ; Faber, Wolfgang ; Ielpa, Giuseppe ; Leone, Nicola ; Pfeifer, Gerald Semantics and Computation of Aggregate Functions in Disjunctive Logic ProgrammingBericht Report2003
4Eiter, Thomas ; Faber, Wolfgang ; Pfeifer, Gerald ; Fink, Michael ; Woltran, Stefan Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set ProgrammingBericht Report2003
5Pfeifer, Gerald Benchmarking ASP SytemsPräsentation Presentation2002
6Pfeifer, Gerald Tutorial: Answer Set ProgrammingPräsentation Presentation2002
7Eiter, Thomas ; Faber, Wolfgang ; Leone, Nicola ; Pfeifer, Gerald Computing Preferred Answer Sets by Meta-Interpretation in Answer Set ProgrammingBericht Report2002
8Leone, Nicola ; Pfeifer, Gerald ; Faber, Wolfgang ; Eiter, Thomas ; Gottlob, Georg ; Koch, Christoph ; Mateis, Cristinel ; Perri, Simona ; Scarcello, Francesco The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)Bericht Report2002
9Eiter, Thomas ; Faber, Wolfgang ; Leone, Nicola ; Pfeifer, Gerald ; Polleres, Axel Florian Answer Set Planning under Action Costs (INFSYS RR-1843-02-13)Bericht Report2002
10Pfeifer, Gerald DLV : evaluation algorithms and efficient implementationThesis Hochschulschrift2000

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Corradini, Alexander Eine webbasierte Übungsumgebung : ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten "minimale Überdeckung", "Schlüsselsuche" und "3. Normalform"Thesis Hochschulschrift2002
2Liehmann, Michael Erweiterung einer Webserver-Scriptingsprache um XQL : MetaHTML, XML und XQLThesis Hochschulschrift2002
3Böck, Martin Usenettest : ein System zur vergleichenden Bewertung von Usenet News-ServernThesis Hochschulschrift2002
4Bihlmeyer, Robert GLOF: a collaborative distributed database - design and implementationThesis Hochschulschrift2001