scientific article; zbMATH DE number 1931687

MaRDI QIDQ4708945zbMATH OpenFDO

Authors Wiktor Marek, Mirosław Truszczyński, Raphael Ari Finkel

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240513.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic in artificial intelligence (68T27)

Recommendations

• The NCL natural constraint language.
• Constraint programming in computational linguistics
• scientific article; zbMATH DE number 1696815
• Using an extended PROLOG to solve the lion and unicorn Puzzle
• Introduction to the constraint language NCL

Describes a project that uses

Uses Software

• Smodels

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708945)