A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption (Q3524923)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption |
scientific article |
Statements
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption (English)
0 references
16 September 2008
0 references
