20% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

Answer set programming: Declarative programming, NP-hard, Search algorithm, Stable model semantics, DPLL algorithm, Infinite loop, Knowledge representation and reasoning, Default logic -

English
2026-03-16
€207.26 €259.07

-20% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Answer set programming is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers -- progr ... Full description

You May Also Like

Description

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Answer set programming is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers -- programs for generating stable models -- are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates.

More Information

Publisher OmniScriptum
Release year 2026
Cover type Softcover
EAN 9786130646691
Write Your Own Review
You're reviewing: Answer set programming: Declarative programming, NP-hard, Search algorithm, Stable model semantics, DPLL algorithm, Infinite loop, Knowledge representation and reasoning, Default logic
Your Rating:

Goodreads Reviews

€207.26 €259.07