181 search results - page 18 / 37 » Knowledge Provenance |
IJCAI
1989
13 years 9 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is...
JSW
2007
13 years 8 months ago
2007
Abstract— In highly open systems like the Internet, attributebased access control (ABAC) has proven its appropriateness. This is reflected in the utilization of ABAC in authenti...
KSEM
2010
Springer
13 years 6 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
AAAI
2012
11 years 10 months ago
2012
General Game Playing (GGP) agents must be capable of playing a wide variety of games skillfully. Monte-Carlo Tree Search (MCTS) has proven an effective reasoning mechanism for thi...