Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System

DOI10.1007/978-3-642-20832-4_28zbMath1326.68061OpenAlexW1551527937MaRDI QIDQ3001931

Enrico Pontelli, Ngoc-Hieu Nguyen, Tran Cao Son

Publication date: 19 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20832-4_28

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (1)

Formalizing Negotiations Using Logic Programming

This page was built for publication: Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System