Gerald Pfeifer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2010

The Disjunctive Datalog System DLVMario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina. datalog 2011: 282-301 [doi]

2008

Design and implementation of aggregate functions in the DLV systemWolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell Armi, Giuseppe Ielpa. tplp, 8(5-6):545-580, 2008. [doi]

2007

On look-ahead heuristics in disjunctive logic programmingWolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca. AMAI, 51(2-4):229-266, 2007. [doi]

2006

Pruning Operators for Disjunctive Logic Programming SystemsFrancesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone. FUIN, 71(2-3):183-214, 2006. [doi]

The DLV system for knowledge representation and reasoningNicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello. tocl, 7(3):499-562, 2006. [doi]

2004

System Description: DLV with AggregatesTina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer. lpnmr 2004: 326-330 [doi]

New DLV Features for Data IntegrationFrancesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer. jelia 2004: 698-701 [doi]

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set ProgrammingThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran. kr 2004: 377-387

A logic programming approach to knowledge-state planning: Semantics and complexityThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. tocl, 5(2):206-263, 2004. [doi]

Recursive Aggregates in Disjunctive Logic Programs: Semantics and ComplexityWolfgang Faber, Nicola Leone, Gerald Pfeifer. jelia 2004: 200-212 [doi]

Interoperabilita tra sistemi Datalog disgiuntivi e DBMS: DLVVincenzino Lio, Gerald Pfeifer. sebd 2004: 42-53

Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive ProgramsGerald Pfeifer. lpnmr 2004: 220-233 [doi]

2003

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLVTina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer. IJCAI 2003: 847-852

Aggregate Functions in DLVTina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer. asp 2003: [doi]

Computing preferred answer sets by meta-interpretation in answer set programmingThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. tplp, 3(4-5):463-498, 2003.

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set ProgrammingThomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran. asp 2003: [doi]

A logic programming approach to knowledge-state planning, II: The DLV:::K::: systemThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. ai, 144(1-2):157-211, 2003. [doi]

Answer Set Planning Under Action CostsThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. jair, 19:25-71, 2003. [doi]

Enhancing disjunctive logic programming systems by SAT checkersChristoph Koch, Nicola Leone, Gerald Pfeifer. ai, 151(1-2):177-212, 2003. [doi]

Solving Hard Disjunctive Logic Programs Faster (Sometimes)Gerald Pfeifer. agp 2003: 226-237

2002

2001

2000

Planning under Incomplete KnowledgeThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. cl 2000: 807-821 [doi]

Using the dlv System for Planning and Diagnostic ReasoningThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. wlp 2000: 125-134

1999

The Diagnosis Frontend of the dlv SystemThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. aicom, 12(1-2):99-111, 1999.

Pushing Goal Derivation in DLP ComputationsWolfgang Faber, Nicola Leone, Gerald Pfeifer. lpnmr 1999: 177-191 [doi]

1998

(no title)Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. fqas 1998: 148-163 [doi]

The KR System dlv: Progress Report, Comparisons and BenchmarksThomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. kr 1998: 406-417

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Gerald Pfeifer'

Viewing Publication 1 - 38 from 38

2010

2008

2007

2006

2004

2003

2002

2001

2000

1999

1998

1997

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Gerald Pfeifer'

Viewing Publication 1 - 38 from 38

2010

2008

2007

2006

2004

2003

2002

2001

2000

1999

1998

1997

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1