7988 search results - page 280 / 1598 » A Useful Undecidable Theory |
126
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
141
click to vote
AAAI
2008
15 years 7 months ago
2008
The ADROIT system that we are developing allows automatic discourse analysis of information rich natural language texts extracted directly from the web. We use guidelines and rela...
146
Voted
EUSFLAT
2003
15 years 6 months ago
2003
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...
132
click to vote
AAAI
1997
15 years 6 months ago
1997
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...
130
click to vote
COLING
1994
15 years 6 months ago
1994
A theoryof interlanguage(IL)lexiconsis outlined,with emphasis on IL lexical entries, based on the HPSG notion of lexical sign. This theory accounts for idiosyncratic or lexical tr...