Sciweavers

2409 search results - page 140 / 482
» On Extended Regular Expressions
Sort
View
CORR
2002
Springer
98views Education» more  CORR 2002»
15 years 4 months ago
A Framework for Compiling Preferences in Logic Programs
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
James P. Delgrande, Torsten Schaub, Hans Tompits
150
Voted
STOC
2001
ACM
161views Algorithms» more  STOC 2001»
16 years 4 months ago
Quantitative solution of omega-regular games
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
Luca de Alfaro, Rupak Majumdar
VLDB
2005
ACM
175views Database» more  VLDB 2005»
15 years 10 months ago
Query Translation from XPath to SQL in the Presence of Recursive DTDs
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...
Wenfei Fan, Jeffrey Xu Yu, Hongjun Lu, Jianhua Lu,...
DEXAW
2005
IEEE
176views Database» more  DEXAW 2005»
15 years 6 months ago
Indexes and Path Constraints in Semistructured Data
In this paper, we study semistructured data and indexes preserving inclusion constraints. A semistructured datum is modelled by multi-rooted edge-labeled directed graphs. We consi...
Yves Andre, Anne-Cécile Caron, Denis Debarb...
ASP
2003
Springer
15 years 9 months ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir