Logic programming languages.

Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part II / by: (Electronic resources)

Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part I / by: (Electronic resources)

Constraint solving and planning with Picat by: (Electronic resources)

Theory of Computation.

Logic programming.

Artificial Intelligence (incl. Robotics)

Logic programming languages.

Automatic theorem proving.

Data Mining and Knowledge Discovery.

Kowalski, Robert.

Computer Science.