Picture for Gerald Pfeifer

Gerald Pfeifer

Design and Implementation of Aggregate Functions in the DLV System

Add code
Feb 21, 2008
Figure 1 for Design and Implementation of Aggregate Functions in the DLV System
Figure 2 for Design and Implementation of Aggregate Functions in the DLV System
Figure 3 for Design and Implementation of Aggregate Functions in the DLV System
Figure 4 for Design and Implementation of Aggregate Functions in the DLV System
Viaarxiv icon

The DLV System for Knowledge Representation and Reasoning

Add code
Sep 10, 2003
Figure 1 for The DLV System for Knowledge Representation and Reasoning
Figure 2 for The DLV System for Knowledge Representation and Reasoning
Figure 3 for The DLV System for Knowledge Representation and Reasoning
Figure 4 for The DLV System for Knowledge Representation and Reasoning
Viaarxiv icon

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming

Add code
Jan 16, 2002
Viaarxiv icon

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity

Add code
Dec 05, 2001
Figure 1 for A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
Figure 2 for A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
Figure 3 for A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
Viaarxiv icon

DLV - A System for Declarative Problem Solving

Add code
Mar 08, 2000
Figure 1 for DLV - A System for Declarative Problem Solving
Viaarxiv icon