𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Aggregated Fuzzy Answer Set Programming

✍ Scribed by Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock


Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
665 KB
Volume
63
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Answer set programming and plan generati
✍ Vladimir Lifschitz πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 113 KB

The idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the

Open answer set programming for the sema
✍ Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 378 KB

We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guarding knowledge representation mechanisms such as negation as failure and inequalities. Reasoning with the resulting extende