10568 search results - page 439 / 2114 » Computer Intelligence and Formalization |
FLAIRS
2001
15 years 6 months ago
2001
Thenumber,the size, andthe dynamicsof lntemetinformationsourcesbears abundantevidenceof the need of automationin informationextraction(IE). Thispaper deals withthe questionof hows...
120
click to vote
AAAI
2000
15 years 6 months ago
2000
Logics for knowledge representation suffer from overspecialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for o...
133
click to vote
AAAI
1998
15 years 6 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...
141
click to vote
AAAI
1998
15 years 6 months ago
1998
In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actio...
142
click to vote
AAAI
1992
15 years 6 months ago
1992
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...