Declarative problem solving using the DLV system
収録刊行物
-
- Logic-Based Artificial Intelligence
-
Logic-Based Artificial Intelligence 2000
Kluwer Academic
Logic-Based Artificial Intelligence 2000
Kluwer Academic