Sciweavers

2723 search results - page 4 / 545
» Learning lexicographic orders
Sort
View
109
Voted
EJC
2008
15 years 5 months ago
Characterizations of finite and infinite episturmian words via lexicographic orderings
Amy Glen, Jacques Justin, Giuseppe Pirillo
FROCOS
2007
Springer
15 years 11 months ago
Proving Termination Using Recursive Path Orders and SAT Solving
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
Peter Schneider-Kamp, René Thiemann, Elena ...
ICML
2008
IEEE
16 years 5 months ago
Democratic approximation of lexicographic preference models
Previous algorithms for learning lexicographic preference models (LPMs) produce a "best guess" LPM that is consistent with the observations. Our approach is more democra...
Fusun Yaman, Thomas J. Walsh, Michael L. Littman, ...