Unique Supported-Model Classes of Logic Programs
Aus International Center for Computational Logic
Unique Supported-Model Classes of Logic Programs
Pascal HitzlerPascal Hitzler, Anthony Karel SedaAnthony Karel Seda
Pascal Hitzler, Anthony Karel Seda
Unique Supported-Model Classes of Logic Programs
Information, 4(3):295-302, 2001
Unique Supported-Model Classes of Logic Programs
Information, 4(3):295-302, 2001
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{HS2001,
author = {Pascal Hitzler and Anthony Karel Seda},
title = {Unique Supported-Model Classes of Logic Programs},
journal = {Information},
volume = {4},
number = {3},
year = {2001},
pages = {295-302}
}