ML Anthology

Solving Epistemic Logic Programs Using Generate-and-Test with Propagation

Jorge Fandinno, Lute Lillo
AAAI 2025 pp. 14902-14910
doi:10.1609/AAAI.V39I14.33634 /aaai/2025/fandinno2025aaai-solving/
AAAI Semantic Scholar

Cite

Text

Fandinno and Lillo. "Solving Epistemic Logic Programs Using Generate-and-Test with Propagation." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I14.33634

Markdown

[Fandinno and Lillo. "Solving Epistemic Logic Programs Using Generate-and-Test with Propagation." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/fandinno2025aaai-solving/) doi:10.1609/AAAI.V39I14.33634

BibTeX

@inproceedings{fandinno2025aaai-solving,
  title     = {{Solving Epistemic Logic Programs Using Generate-and-Test with Propagation}},
  author    = {Fandinno, Jorge and Lillo, Lute},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {14902-14910},
  doi       = {10.1609/AAAI.V39I14.33634},
  url       = {https://mlanthology.org/aaai/2025/fandinno2025aaai-solving/}
}