1143 search results - page 189 / 229 » Prospective Logic Agents |
175
Voted
AAAI
1994
15 years 8 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
157
click to vote
AAAI
1993
15 years 8 months ago
1993
This paper discusses the important issue of knowledge base comprehensibility and describes a technique for comprehensibility improvement. Comprehensibility is often measured by si...
174
Voted
AAAI
1994
15 years 8 months ago
1994
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
164
click to vote
AAAI
1990
15 years 7 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
155
Voted
AAAI
1990
15 years 7 months ago
1990
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group ...