Reasoning with parsimonious and moderately grounded expansions
Main Authors: | Eiter, T, Gottlob, G |
---|---|
Format: | Journal article |
Published: |
1992
|
Similar Items
-
Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006) -
Reasoning under minimal upper bounds in propositional logic
by: Eiter, T, et al.
Published: (2006) -
Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
by: Eiter, T, et al.
Published: (1993) -
The DLV System for Knowledge Representation and Reasoning
by: Leone, N, et al.
Published: (2002) -
The DLV system for knowledge representation and reasoning
by: Leone, N, et al.
Published: (2006)