Integrated Use of System Z for Preferred Answer Set Programming
Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited to solve complex combinatorial search problem...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
LibraryPress@UF
2025-05-01
|
| coleção: | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| Assuntos: | |
| Acesso em linha: | https://journals.flvc.org/FLAIRS/article/view/138664 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|