Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable...

XQuery), regular expressions, logic programming (e.g. Prolog, Datalog, answer set programming), functional programming, configuration management, and algebraic...

logic programming is a programming paradigm that combines logic programming with probabilities. Most approaches to probabilistic logic programming are based...

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...

logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis of answer set programming. Research...

answer set programming, DatalogZ, and constraint logic programming. When evaluated as an answer set program, a Datalog program yields a single answer...

Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples...

developing practical strategies to generate provably optimal code using answer set programming. After a period as a postdoc on ALIVE, a European Commission FP7-funded...

solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. One of the first applications...

Core Answer Set Programming Dialect (CASPD) is based on answer set programming, that is, declarative logic programming based on the answer set semantics...