6618 search results - page 1149 / 1324 » Natural Logic for Natural Language |
163
click to vote
IFL
2007
Springer
16 years 22 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
169
click to vote
IFL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
162
click to vote
LADS
2007
Springer
16 years 22 days ago
2007
Springer
Robustness, through fault tolerance, is a property often put forward in order to advocate MAS. The question is: What is the first step to be fault tolerant? Obviously the answer i...
180
click to vote
LADS
2007
Springer
16 years 22 days ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
175
click to vote
LADS
2007
Springer
16 years 22 days ago
2007
Springer
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...