1613 search results - page 25 / 323 » Functional and Constraint Logic Programming |
113
Voted
ICWL
2007
Springer
15 years 8 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
114
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
126
Voted
ACL
1998
15 years 4 months ago
1998
This paper reports a pilot study, in which Constraint Grammar inspiredruleswere learnt using the Progol machine-learning system. Rules discarding faulty readings of ambiguously ta...
89
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
122
click to vote
ENTCS
2007
15 years 2 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...