The NEXT Logical Framework for XQuery.
Alin DeutschYannis PapakonstantinouYu XuPublished in: VLDB (2004)
Keyphrases
- logical framework
- query language
- inference rules
- xml data
- reasoning tasks
- xml documents
- belief revision
- xml format
- possibilistic logic
- linear logic
- epistemic logic
- update operations
- query processing
- higher order logic
- coalition logic
- normative systems
- sufficient conditions
- general purpose
- belief networks
- probabilistic model
- artificial intelligence