12 search results - page 3 / 3 » Weighted Logics for Unranked Tree Automata |
101
Voted
CADE
2008
Springer
15 years 12 months ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
89
Voted
ML
2007
ACM
14 years 11 months ago
2007
ACM
We develop new algorithms for learning monadic node selection queries in unranked trees from annotated examples, and apply them to visually interactive Web information extraction. ...