A Rule-Based Approach to XML Processing and Web Reasoning

Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rule-based programming features for hedge transformations, strategies, and regular constraints.

• Type: Journal
• Year: 2010
• Where: RR
• Authors: Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia
• Keywords: Automated Reasoning, Conditional Hedge Transformations, Hedge Transformations, RR 2010, Rule-based Programming