×

zbMATH — the first resource for mathematics

The DLV system for knowledge representation and reasoning. (English) Zbl 1367.68308

MSC:
68T30 Knowledge representation
68N17 Logic programming
68Q19 Descriptive complexity and finite models
68T27 Logic in artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI