Automated deduction by theory resolution
Journal of Automated Reasoning
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Lex & yacc
Infomaster: an information integration system
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
A scalable comparison-shopping agent for the World-Wide Web
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Principles of knowledge representation
Principles of knowledge representation
Dynamic reference sifting: a case study in the homepage domain
Selected papers from the sixth international conference on World Wide Web
W3QS: A Query System for the World-Wide Web
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
GLUE: Opening the World to Theorem Provers
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Query-answering algorithms for information agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Extending Elementary Formal Systems
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Advanced elementary formal systems
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Adaptive information extraction: core technologies for information agents
Intelligent information agents
Mechanisms of knowledge evolution for web information extraction
Proceedings of the 2005 international conference on Federation over the Web
Tuples extraction from HTML using logic wrappers and inductive logic programming
AWIC'05 Proceedings of the Third international conference on Advances in Web Intelligence
Logic wrappers and XSLT transformations for tuples extraction from HTML
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
| Hi-index | 0.00 |
We present a general framework for the informationextraction from web pages based on a special wrapper language, calledtoken-templates. By using token-templates in conjunctionwith logic programs we are able to reason about web page contents,search and collect facts and derive new facts from various web pages.We give a formal definition for the semantics of logic programsextended by token-templates and define a generalanswer-complete calculus for these extended programs. These methodsand techniques are used to build intelligent mediators and webinformation systems.