[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BrewkaEiterTruszczynski11

  1. Gerard Brewka & Thomas Eiter & Miroslav Truszczynski
  2. Answer set programming at a glance
  3. Commun ACM V54n12(Dec 2011)93-103 [ 2043174.2043195 ]
  4. =ADVERT DEFEASIBLE LOGIC DECLARATIVE PROGRAMMING ASP GROUNDERS SATISFY SAT SEMANTICS TOOLS APPLICATIONS ABBREVIATIONS
  5. a <- b1,...,bm, not c1, ..., not cm. where a,b,c... are "predicates'.
  6. Answer set is a set of predicates that can be derived if we assume certain predicates are true/false and is not contradicted by the derivable predicates.
  7. Able to express if-then-else and constraints easily and a number of other formulas that appear in practice.
  8. Can handle predicates that contain variables by reducing them.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]