Login / Signup
Cellular Transport Systems Improved: Achieving Efficient Operations with Answer Set Programming.
Steffen Schieweck
Gabriele Kern-Isberner
Michael ten Hompel
Published in:
IJCCI (Selected Papers) (2017)
Keyphrases
</>
answer set programming
logic programs
answer sets
logic programming
transport systems
constraint logic programming
reasoning tasks
stable model semantics
orders of magnitude
knowledge base
haplotype inference
answer set programs