Potassco Tutorials

Search results:

• Answer Set Solving in Practice: Advanced techniques

  Tutorial at IJCAI'15

• Towards Embedded Answer Set Solving

  Tutorial at RW'15.

• Towards Embedded Answer Set Solving

  Tutorial at CP'15.

• Answer Set Solving in Practice

  Tutorial at IJCAI'13

• Answer Set Solving in Practice

  Tutorial at AAAI'13

• Answer Set Programming

  Tutorial at FMCAD'12

• Modeling and Solving in Answer Set Programming

  Tutorial at KR'12

• Answer Set Solving in Practice

  Tutorial at IJCAI'11

• Other Tutorials

• Selected Literature

• Some Talks of General Interest