[图书][B] Answer set solving in practice
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …
[图书][B] Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach
M Gelfond, Y Kahl - 2014 - books.google.com
Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …
declarative programming, and the design of knowledge-intensive software systems capable …
[PDF][PDF] Potassco: The Potsdam answer set solving collection
M Gebser, B Kaufmann, R Kaminski, M Ostrowski… - Ai …, 2011 - Citeseer
Potassco: The Potsdam Answer Set Solving Collection Page 1 AI Communications 24 (2011)
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …
Answer set planning: a survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …
that is, solutions to planning problems, that transform a given state of the world to another …
A Tutorial on Hybrid Answer Set Solving with clingo
R Kaminski, T Schaub, P Wanko - … on the Web: 13th International Summer …, 2017 - Springer
Abstract Answer Set Programming (ASP) has become an established paradigm for
Knowledge Representation and Reasoning, in particular, when it comes to solving …
Knowledge Representation and Reasoning, in particular, when it comes to solving …
Industrial applications of answer set programming
Automated problem solving in combination with declarative specifications of search-
problems have shown to substantially improve the implementation and maintenance costs …
problems have shown to substantially improve the implementation and maintenance costs …
How to build your own ASP-based system?!
R Kaminski, J Romero, T Schaub… - Theory and Practice of …, 2023 - cambridge.org
Answer Set Programming, or ASP for short, has become a popular and sophisticated
approach to declarative problem solving. Its popularity is due to its attractive modeling …
approach to declarative problem solving. Its popularity is due to its attractive modeling …
Predicate logic as a modeling language: the IDP system
Since the early days of artificial intelligence, it has been believed that logic could bring
important benefits in solving computational problems and tasks compared to standard …
important benefits in solving computational problems and tasks compared to standard …
The sixth answer set programming competition
Answer Set Programming (ASP) is a well-known paradigm of declarative programming with
roots in logic programming and non-monotonic reasoning. Similar to other closely related …
roots in logic programming and non-monotonic reasoning. Similar to other closely related …
Constraint answer set solving
We present a new approach to integrating Constraint Processing (CP) techniques into
Answer Set Programming (ASP). Based on an alternative semantic approach, we develop …
Answer Set Programming (ASP). Based on an alternative semantic approach, we develop …