2308 search results - page 417 / 462 » Representing Symbolic Reasoning |
189
click to vote
AAAI
2006
15 years 6 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
157
click to vote
AIPS
1998
15 years 6 months ago
1998
Planning methods for deterministic planning problems traditionally exploit factored representations to encode the dynamics of problems in terms of a set of parameters, e.g., the l...
136
click to vote
AAAI
1994
15 years 6 months ago
1994
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...
158
click to vote
AAAI
1990
15 years 6 months ago
1990
This session will explore the reasons for the lack of impact in four important areas in which AI has been expected to significantly affect real world Software Engineering. The pan...
171
click to vote
CACM
2008
15 years 5 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...