Logic Programming

Logic Programming

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. . . .

Logic Programming People (First 11 people) - Page 0

Kostas Stathis

Kostas Stathis

Researcher

Veronica Dahl

Veronica Dahl

Argentine computer scientist

Robin Cockett

Robin Cockett

Computer scientist

Michael Leuschel

Michael Leuschel

Author

Benjamin Lucien Kaminski

Benjamin Lucien Kaminski

Computer scientist

Krzysztof Apt

Krzysztof Apt


Ashwin Srinivasan

Ashwin Srinivasan

Author

Dana Scott

Dana Scott

American logician

Hans Tompits

Hans Tompits


Cameron Eric Freer

Cameron Eric Freer

Mathematician

Aarne Ranta

Aarne Ranta

Mathematician