|  |
| |
| Artikel-Nr.:
5667A-9783030246600 Herst.-Nr.:
9783030246600 EAN/GTIN:
9783030246600 |
| |
|
| | |
| Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Weitere Informationen: | | Author: | Vladimir Lifschitz | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Logic Programming; answer set; declarative programming; frame problem; nonmonotonic reasoning; planning; programming methodology; reasoning about action; search; stable model, Answer set, stable model, logic programming, declarative programming, programming methodology, nonmonotonic reasoning, reasoning about action, frame problem, search, planning |
| | |
| |