×

Found 7 Documents (Results 1–7)

Function symbols in ASP: overview and perspectives. (English) Zbl 1259.68183

Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 1-24 (2011).
MSC:  68T27 68N17 68-02
PDFBibTeX XMLCite

Magic sets for the bottom-up evaluation of finitely recursive programs. (English) Zbl 1258.68027

Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 71-86 (2009).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Computable functions in ASP: Theory and implementation. (English) Zbl 1185.68150

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 407-424 (2008).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

The DLV system. (English) Zbl 1014.68871

Flesca, Sergio (ed.) et al., Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2424, 537-540 (2002).
MSC:  68U99 68T27 68N17
PDFBibTeX XMLCite
Full Text: Link

Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23–26, 2002. Proceedings. (English) Zbl 0997.00032

Lecture Notes in Computer Science 2424. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 572 p. (2002).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software