Gerald Pfeifer

Available identifiers

zbMath Open pfeifer.geraldMaRDI QIDQ543599

List of research outcomes

Publication	Date of Publication	Type
A logic programming approach to knowledge-state planning	2017-07-12	Paper
The DLV system for knowledge representation and reasoning	2017-07-12	Paper
Semantics and complexity of recursive aggregates in answer set programming	2011-06-17	Paper
Design and implementation of aggregate functions in the DLV system	2008-12-18	Paper
On look-ahead heuristics in disjunctive logic programming	2008-04-21	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q5480653	2006-08-03	Paper
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system	2006-02-07	Paper
Enhancing disjunctive logic programming systems by SAT checkers	2006-02-07	Paper
Computing preferred answer sets by meta-interpretation in Answer Set Programming	2004-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4434167	2003-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4708917	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708952	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708953	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4800170	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4800169	2003-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4800163	2003-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q2734932	2002-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2767106	2002-01-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerald Pfeifer