\(\text{DLV}^{\text{DB}}\): Adding efficient data management features to ASP. (English) Zbl 1122.68376
Lifschitz, Vladimir (ed.) et al., Logic programming and nonmonotonic reasoning. 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-20721-X/pbk). Lecture Notes in Computer Science 2923. Lecture Notes in Artificial Intelligence, 341-345 (2004).
Summary: The exploitation of ASP systems for solving real application problems pointed out the need of combining the expressive power of ASP programming with the efficient data management features of existing DBMSs. This paper presents \(\text{DLV}^{\text{DB}}\), an extension to the DLV system allowing to instantiate logic programs directly on databases and to handle input and output data distributed on several databases.
For the entire collection see [Zbl 1120.68006].
For the entire collection see [Zbl 1120.68006].
