233 search results - page 29 / 47 » Intelligent compilers |
115
Voted
AAAI
2000
15 years 3 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
103
click to vote
AAAI
1997
15 years 3 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
101
click to vote
AAAI
1993
15 years 3 months ago
1993
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
88
Voted
AIPS
1994
15 years 3 months ago
1994
Humanagents typically evolve a set of standard routines for carrying out often-repeated tasks. These routines effectively compile knowledgeabout howto carry out sets of interactin...
114
click to vote
AAAI
1992
15 years 3 months ago
1992
In this paper we show how a natural language system can learn to find the antecedents of relative pronouns. We use a well-known conceptual clustering system to create a case-based...