12 search results - page 3 / 3 » Weighted Logics for Unranked Tree Automata |
CADE
2008
Springer
14 years 5 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...
ML
2007
ACM
13 years 4 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. ...