3207 search results - page 581 / 642 » A Semantics for HTN Methods |
156
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
135
click to vote
ICDE
2010
IEEE
15 years 3 months ago
2010
IEEE
— As person names are non-unique, the same name on different Web pages might or might not refer to the same real-world person. This entity identification problem is one of the m...
132
click to vote
AAMAS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
125
Voted
APAL
2010
15 years 3 months ago
2010
Abstract. We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existin...
153
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The construction of literature-based networks of gene-gene interactions is one of the most important applications of text mining in bioinformatics. Extracting potentia...