- Record: found
- Abstract: not found
- Book Chapter: not found
Logics in Artificial Intelligence
System aspmt2smt: Computing ASPMT Theories by SMT Solvers
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references4
- Record: found
- Abstract: not found
- Article: not found
Stable models and circumscription
Joohyung Lee, Paolo Ferraris, Vladimir Lifschitz (2011)
- Record: found
- Abstract: not found
- Book Chapter: not found
Constraint Answer Set Solving
Martin Gebser, Max Ostrowski, Torsten Schaub (2009)
- Record: found
- Abstract: not found
- Book Chapter: not found
System f2lp – Computing Answer Sets of First-Order Formulas
Joohyung Lee, Ravi Palla (2009)