×

Found 40 Documents (Results 1–40)

lp2pb: translating answer set programs into pseudo-Boolean theories. (English) Zbl 07455719

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 206-219 (2020).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

The design of the Sixth Answer Set Programming Competition – report. (English) Zbl 1418.68028

Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 531-544 (2015).
MSC:  68N17 68T27 68-02
PDFBibTeX XMLCite
Full Text: DOI

Progress in clasp series 3. (English) Zbl 1467.68181

Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 368-383 (2015).
MSC:  68T35 68N17 68T20
PDFBibTeX XMLCite
Full Text: DOI

Improving the normalization of weight rules in answer set programs. (English) Zbl 1432.68056

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 166-180 (2014).
MSC:  68N17 68T20
PDFBibTeX XMLCite
Full Text: DOI

Bridging the gap between reinforcement learning and knowledge representation: a logical off- and on-policy framework. (English) Zbl 1341.68231

Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 472-484 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Implementing prioritized merging with ASP. (English) Zbl 1211.68431

Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 138-147 (2010).
MSC:  68T35
PDFBibTeX XMLCite
Full Text: DOI

On the implementation of weight constraint rules in conflict-driven ASP solvers. (English) Zbl 1251.68059

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 250-264 (2009).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Computing loops with at most one external support rule for disjunctive logic programs. (English) Zbl 1251.68054

Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 130-144 (2009).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic reasoning by SAT solvers. (English) Zbl 1245.68221

Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 663-675 (2009).
MSC:  68T37 68N17
PDFBibTeX XMLCite
Full Text: DOI

Automata and answer set programming. (English) Zbl 1211.68061

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 323-337 (2009).
MSC:  68N17 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Abstract answer set solvers. (English) Zbl 1185.68165

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, 377-391 (2008).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI

On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP. (English) Zbl 1185.68169

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, 223-237 (2008).
MSC:  68N17 03B70 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Detecting inconsistencies in large biological networks with answer set programming. (English) Zbl 1185.92052

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, 130-144 (2008).
MSC:  92C42 68N17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Alternative characterizations for program equivalence under answer-set semantics based on unfounded sets. (English) Zbl 1138.68559

Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 24-41 (2008).
MSC:  68T27 68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software