7167 search results - page 157 / 1434 » Answer Set Programming |
109
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
230
Voted
Book
A set of lecture notes that introduces the reader to the object-orientation as a new programming concept. However, this is not a course for learning the C++ programming language.
106
Voted
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
119
Voted
BNCOD
2008
15 years 2 months ago
2008
Abstract. The problem of dealing with inconsistent data while integrating XML data from different sources is an important task, necessary to improve data integration quality. Typic...
145
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...