1162 search results - page 178 / 233 » Monotonic Semantic Interpretation |
95
Voted
AAAI
2004
15 years 1 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
89
Voted
FLAIRS
2003
15 years 1 months ago
2003
This paper presents an adaptive algorithm for learning the user profile. The user profile is learned incrementally and continuously based on user’s initial profile, his actions ...
86
Voted
WSPI
2004
15 years 1 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
108
Voted
AAAI
1994
15 years 1 months ago
1994
A novel combination of ideas from cognitive linguistics and spatial occupancy models in robotics has led to the WIP (Words Into Pictures) system. WIP automatically generates depic...
92
Voted
ANLP
1994
15 years 1 months ago
1994
A computational model for the acquisition of knowledge from encyclopedic texts is described. The model has been implemented in a program, called SNOWY, that reads unedited texts f...