987 search results - page 77 / 198 » Ludics and Its Applications to Natural Language Semantics |
171
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
162
click to vote
EEE
2005
IEEE
15 years 12 months ago
2005
IEEE
A company doing e-business needs capabilities to negotiate electronically the parameters of its deals in order to fully utilize the potential of the Information and Communication ...
164
click to vote
CIA
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present an intelligent information agent that uses semantic methods and natural language processing capabilites in order to gather tourist information from the WWW and...
179
click to vote
NLDB
2007
Springer
16 years 14 days ago
2007
Springer
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
157
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...