3207 search results - page 186 / 642 » A Semantics for HTN Methods |
134
Voted
BIS
2009
15 years 4 months ago
2009
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
142
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper studies the problem of learning from ambiguous supervision, focusing on the task of learning semantic correspondences. A learning problem is said to be ambiguously supe...
124
Voted
AMAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
113
Voted
JCIT
2008
15 years 3 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
129
click to vote
JOLLI
2007
15 years 3 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...