Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Stable Model Semantics: Logic Programming, Negation as Failure, Negation, Atomic Formula, Circumscription, Closed World Assumption, Answer Set Programming, Planner, Prolog -

inglise keel
2026-03-21
117,44 € 195,73 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive mathrm{not}~p (i.e. that ~p is assumed not to hold) from failure to derive ~p. Note that mathrm{not}~p is different from the stronger statement neg p of the logical negation ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive mathrm{not}~p (i.e. that ~p is assumed not to hold) from failure to derive ~p. Note that mathrm{not}~p is different from the stronger statement neg p of the logical negation of ~p. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.

Lisateave

Kirjastaja OmniScriptum
Väljalaskeaasta 2026
Kaanetüüp Pehme kaanega
EAN 9786130315467
Kirjuta oma arvustus
Te vaatate: Stable Model Semantics: Logic Programming, Negation as Failure, Negation, Atomic Formula, Circumscription, Closed World Assumption, Answer Set Programming, Planner, Prolog
Teie hinnang:

Goodreads'i arvustused

117,44 € 195,73 €