Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for model...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Janssen, Jeroen (Autor), Schockaert, Steven (Autor), Vermeir, Dirk (Autor), De Cock, Martine (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Paris :
Atlantis Press : Imprint: Atlantis Press,
2012.
|
Edición: | 1st ed. 2012. |
Colección: | Atlantis Computational Intelligence Systems,
5 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Adapting Proofs-as-Programs The Curry--Howard Protocol /
por: Poernomo, Iman, et al.
Publicado: (2005) -
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /
Publicado: (2007) -
Theory and Application of Satisfiability Testing 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /
Publicado: (2011) -
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /
Publicado: (2007) -
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publicado: (2006)