Technical Terms Answer Set Programming: A declarative programming paradigm that facilitates solving combinatorial problems by encoding them as logical rules and constraints.

Pattern-matching. Imperative. Constraints. Actors. Tabling. Picat has a lot of interesting features, such as constraint logic programming support and interfaces to various solvers. In this article, I ...

To further the state of the art on the theoretical and practical aspects of developing declarative programming tools (in particular; logic programming, functional programming, constraint logic ...

The article Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation, authored by Tuomo Lehtonen and Matti Järvisalo of the Constraint Reasoning and Optimization group ...

The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the ...