Many complex systems, ranging from social, industrial, economics, financial, educational, to
military, require that we obtain high-quality solutions to combinatorial problems. Linear …

A very desirable Datalog extension investigated by many researchers in the last 30 years
consists in allowing the use of the basic SQL aggregates min, max, count and sum in …

Automated storage and retrieval systems are principal components of modern production
and warehouse facilities. In particular, automated guided vehicles nowadays substitute …

Planning as theorem proving in situation calculus was abandoned 50 years ago as an
impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) …

This paper describes Baggy-a system which automatically transforms a PDDL
representation into a revised PDDL representation, solves the problem using the revised …

Abstract Picat (picat-lang. org) is a logic-based multi-paradigm programming language that
integrates logic programming, functional programming, constraint programming, and …

Most automated planners use heuristic search to solve the tasks. Usually, the planners get
as input a lifted representation of the task in PDDL, a compact formalism describing the task …

Action planning deals with the problem of finding a sequence of actions transferring the
world from a given state to a desired (goal) state. This problem is important in various areas …

Applying deep learning to symbolic planning is not straightforward because they differently
internalize knowledge. One represents knowledge numerically while the other does …

Picat is a logic-based multi-paradigm dynamic language that integrates logic programming,
functional programming, constraint programming, and scripting. The Picat language is …