Jekyll2024-11-29T14:03:30+00:00/feed.xmlAnswer set solving in practicePotassco's ASP course, everything about ASPAdding slides on systems and logical foundations2023-11-11T01:21:43+00:002023-11-11T01:21:43+00:00/slides/update/2023/11/11/system-and-foundaional-slidesJust uploaded slides on the familiy of Potassco Systems and teh logic of here-and-there and equilibrium logic

systems workspace

equilibrium logic

]]>Controlling2022-05-23T19:59:56+00:002022-05-23T19:59:56+00:00/slides/update/2022/05/23/added-slides-on-control-in-clingoJust uploaded a slide deck on control in clingo:

slides workspace

along with a slight update on the slides on multi-shot solving

slides workspace

and some literature:

  • R. Kaminski, J. Romero, T. Schaub, and P Wanko (2020). “How to build your own ASP-based system?!”. CoRR, abs/2008.06692. pdf
]]>Adding many exercises2021-02-03T08:00:43+00:002021-02-03T08:00:43+00:00/exercises/update/2021/02/03/added-many-exercisesWe just added exercises sheets for the sections on language, computation, axiomatic and operational characterization, and solving - enjoy!

]]>Meta programming2021-01-30T11:48:46+00:002021-01-30T11:48:46+00:00/slides/update/2021/01/30/added-slides-on-meta-programmingJust uploaded a slide deck on meta programming:

slides workspace

along with a bunch of meta encodings

and some literature:

  • R. Kaminski, J. Romero, T. Schaub, and P Wanko (2020). “How to build your own ASP-based system?!”. CoRR, abs/2008.06692. pdf
]]>Advanced encodings with pimping queens2021-01-24T17:16:14+00:002021-01-24T17:16:14+00:00/slides/update/2021/01/24/added-slides-on-pimping-queensUsually, this is the finale of the basic course on answer set solving, featuring a section on pimping queens:

slides workspace

The workspace also contains the different encodings along with a paper discussing them

  • queens encodings 0 1 2 3

  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2011). “Challenges in Answer Set Solving”. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Ed. by M. Balduccini and T. Son. Vol. 6565. Lecture Notes in Computer Science. Springer-Verlag, pp. 74–90. pdf

]]>Just added some literature on grounding2021-01-23T09:24:36+00:002021-01-23T09:24:36+00:00/workspace/update/2021/01/23/added-some-literature-on-groundingJust added some literature on grounding (related to the course material)

  • M. Gebser, R. Kaminski, and T. Schaub (2012). “Grounding Recursive Aggregates: Preliminary Report”. In: Proceedings of the Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV’15). Ed. by M. Denecker and T. Janhunen. pdf
  • S. Abiteboul, R. Hull, and V. Vianu (1995). Foundations of Databases. Addison-Wesley. web
]]>Conflict-driven ASP solving: finished uploading videos2021-01-22T15:48:19+00:002021-01-22T15:48:19+00:00/video/update/2021/01/22/finished-uploading-videos-on-asp-solvingJust completed our part on Conflict-driven ASP solving, reaching from a nogood-based characterization of stable models to the algorithmic framework underlying modern ASP solvers

slides videos workspace

In addition, this material contains two blueboard sessions

  • conflict-driven nogood learning, search algorithm yt up
  • conflict-driven nogood learning, conflict analysis, resolution yt up

along with a summary of

  • nogoods, solutions, and unit propagation pdf

and finally a great source for detailing the material

  • M. Gebser, B. Kaufmann, and T. Schaub (2012). “Conflict-Driven Answer Set Solving: From Theory to Practice”. In: Artificial Intelligence 187-188, pp. 52–89. pdf

That’s it, folks! Stay safe, and enjoy!!

]]>Just added some literature to some workspaces2021-01-17T11:53:32+00:002021-01-17T11:53:32+00:00/workspace/update/2021/01/17/added-some-literatureWe just added some references to the literature to the workspaces, notably, a pdf copy of our work on CDNL to support this part of the course.

Organization

  • C. Baral (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2012). Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers.
  • M. Gelfond and Y. Kahl (2014). Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press.
  • V. Lifschitz (2019). Answer Set Programming. Springer-Verlag.

Introduction

  • M. Gelfond and V. Lifschitz (1990). “Logic Programs with Classical Negation”. In: Proceedings of the Seventh International Conference on Logic Programming (ICLP’90). Ed. by D. Warren and P. Szeredi. MIT Press, pp. 579–597. pdf

Solving

  • M. Gebser, B. Kaufmann, and T. Schaub (2012). “Conflict-Driven Answer Set Solving: From Theory to Practice”. In: Artificial Intelligence 187-188, pp. 52–89. pdf
]]>Uploaded slides and videos on Boolean constraints2021-01-12T12:17:45+00:002021-01-12T12:17:45+00:00/video/update/2021/01/12/uploaded-slides-and-videos-on-boolean-constraintsWe just uploaded the first sections of the solving part dealing with nogoods for completion and loop formulas, the building blocks of our algorithmic framework

Slides

pdf git v1.11.3

Videos

playlist hms

  • introduction yt up
  • boolean constraints yt up
  • nogoods from logic programs
    • completion nogoods yt up
    • loop nogoods yt up
]]>First bug fix2021-01-06T18:48:32+00:002021-01-06T18:48:32+00:00/bug/fix/2021/01/06/bug-fix-loops-formulasWe found a first bug! The very last slide on loop formulas reloaded misses a technical detail:

The slides underlying the video on loops have a bug on page 245: the theorem misses that set X must be a model of the program. This is fixed in the new version of the slides.

]]>