Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.

DOI10.1007/11562931zbMath1086.68004OpenAlexW2104948204MaRDI QIDQ2369273

No author found.

Publication date: 5 May 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Related Items (1)

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Uses Software

• HYPROLOG

This page was built for publication: Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.