Can I read Modelling Grammar Constraints With Answer Set Programming: Christian Drescher and Toby Walsh on EtoBox?

Modelling Grammar Constraints With Answer Set Programming: Christian Drescher and Toby Walsh by Faw Yas is a document available to read on EtoBox.

What is Modelling Grammar Constraints With Answer Set Programming: Christian Drescher and Toby Walsh about?

This paper presents answer set programming (ASP) models for an important and very general class of constraints. It includes all constraints specified via grammars or automata that recognise some formal language. We argue that our techniques are effective and efficient, e.g., unit-propagation of an ASP solver can achieve domain consistency on the original constraint.

Author

Faw Yas

Language

EN