default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGerald Pfeifer
Refine list
refinements active!
zoomed in on 46 of 46 records
view refined list in
export refined list as
refine by search term
refine by type
- |
- no options
- temporarily not available
refine by coauthor
- no options
- temporarily not available
refine by orcid
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by access 
- no options
- temporarily not available
2010 – 2019
- 2011
[j11]Wolfgang Faber
, Gerald Pfeifer, Nicola Leone:
Semantics and complexity of recursive aggregates in answer set programming. Artif. Intell. 175(1): 278-298 (2011)- [i6]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. CoRR abs/1106.5257 (2011) - 2010
- [c28]Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina:
The Disjunctive Datalog System DLV. Datalog 2010: 282-301 - no results
2000 – 2009
- 2008
- [j10]Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa:
Design and implementation of aggregate functions in the DLV system. Theory Pract. Log. Program. 8(5-6): 545-580 (2008) - [i5]Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa:
Design and Implementation of Aggregate Functions in the DLV System. CoRR abs/0802.3137 (2008) - 2007
- [j9]Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca:
On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007) - 2006
- [j8]Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone:
Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Informaticae 71(2-3): 183-214 (2006) - [j7]Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006) - 2004
- [j6]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Comput. Log. 5(2): 206-263 (2004) - [c27]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. JELIA 2004: 200-212 - [c26]Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer:
New DLV Features for Data Integration. JELIA 2004: 698-701 - [c25]Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. KR 2004: 377-387 - [c24]Gerald Pfeifer:
Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. LPNMR 2004: 220-233 - [c23]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV with Aggregates. LPNMR 2004: 326-330 - [c22]Vincenzino Lio, Gerald Pfeifer:
Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. SEBD 2004: 42-53 - 2003
- [j5]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A logic programming approach to knowledge-state planning, II: The DLVK system. Artif. Intell. 144(1-2): 157-211 (2003) - [j4]Christoph Koch, Nicola Leone, Gerald Pfeifer:
Enhancing disjunctive logic programming systems by SAT checkers. Artif. Intell. 151(1-2): 177-212 (2003) - [j3]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning Under Action Costs. J. Artif. Intell. Res. 19: 25-71 (2003) - [j2]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing preferred answer sets by meta-interpretation in answer set programming. Theory Pract. Log. Program. 3(4-5): 463-498 (2003) - [c21]Gerald Pfeifer:
Solving Hard Disjunctive Logic Programs Faster (Sometimes). APPIA-GULP-PRODE 2003: 226-237 - [c20]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
Aggregate Functions in DLV. Answer Set Programming 2003 - [c19]Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. Answer Set Programming 2003 - [c18]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. IJCAI 2003: 847-852 - 2002
- [c17]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Answer Set Planning under Action Costs. JELIA 2002: 186-197 - [c16]Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres:
The DLV System. JELIA 2002: 537-540 - [c15]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
The DLVK Planning System: Progress Report. JELIA 2002: 541-544 - [c14]Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pruning operators for answer set programming systems. NMR 2002: 200-209 - [i4]Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
The DLV System for Knowledge Representation and Reasoning. CoRR cs.AI/0211004 (2002) - [i3]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming. CoRR cs.LO/0201013 (2002) - 2001
- [c13]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Answer Set Programming 2001 - [c12]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Experimenting with Heuristics for Answer Set Programming. IJCAI 2001: 635-640 - [c11]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Optimizing the Computation of Heuristics for Answer Set Programming Systems. LPNMR 2001: 295-308 - [c10]Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer:
System Description: DLV. LPNMR 2001: 424-428 - [c9]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
System Description: The DLVK Planning System. LPNMR 2001: 429-433 - [i2]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. CoRR cs.AI/0112006 (2001) - 2000
- [c8]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Planning under Incomplete Knowledge. Computational Logic 2000: 807-821 - [c7]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134 - [i1]Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer:
DLV - A System for Declarative Problem Solving. CoRR cs.AI/0003036 (2000) - no results
1990 – 1999
- 1999
- [j1]Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
The Diagnosis Frontend of the dlv System. AI Commun. 12(1-2): 99-111 (1999) - [c6]Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Pushing Goal Derivation in DLP Computations. LPNMR 1999: 177-191 - [e1]Michael Gelfond, Nicola Leone, Gerald Pfeifer:
Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Lecture Notes in Computer Science 1730, Springer 1999, ISBN 3-540-66749-0 [contents] - 1998
- [c5]Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
Progress Report on the Disjunctive Deductive Database System dlv. FQAS 1998: 148-163 - [c4]Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417 - 1997
- [c3]Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE 1997: 141-152 - [c2]Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
A Deductive System for Non-Monotonic Reasoning. LPNMR 1997: 364-375 - [c1]Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997 - no results
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
