1404 search results - page 7 / 281 » Complexity of admissible rules |
IJCAI
2007
13 years 11 months ago
2007
In this paper we present a general logical framework for (weighted) MAX-SAT problem, and study properties of inference rules for branch and bound MAX-SAT solver. Several rules, wh...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des proper...
CLUSTER
2004
IEEE
13 years 9 months ago
2004
IEEE
Boosted by technology advancements, government and commercial interest, ad-hoc wireless networks are emerging as a serious platform for distributed mission-critical applications. G...
VL
1996
IEEE
14 years 1 months ago
1996
IEEE
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
EMNLP
2007
13 years 11 months ago
2007
This paper discusses automatic determination of case in Arabic. This task is an important part and major source of errors in full diacritization of Arabic. We use a goldstandard s...