A Bottom-Up Algorithm for Solving Query-Answering Problems

被引：0

作者：

Akama, Kiyoshi ^{[1
]}

Nantajeewarawat, Ekawit ^{[2
]}

机构：

[1] Hokkaido Univ, Informat Initiat Ctr, Sapporo, Hokkaido 060, Japan

[2] Thammasat Univ, Comp Sci Program, Sirindhorn Int Inst Technol, Pathum Thani 10200, Thailand

来源：

INFORMATICS ENGINEERING AND INFORMATION SCIENCE, PT II | 2011年 / 252卷

关键词：

Query-answering problems; automated reasoning; bottom-up computation; meaning-preserving Skolemization;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Meaning-preserving Skolemization is essential for development of a correct and efficient method of solving query-answering problems. It requires global existential quantifications of function variables, which in turn require an extension of the space of first-order formulas. This paper proposes a bottom-up algorithm for computing a set of models that sufficiently represents the set of all models of a given clause set in the extended formula space. This algorithm provides a correct method for solving query-answering problems that include unrestricted use of universal and existential quantifications in problem representation.

引用

页码：299 / +

页数：2

共 50 条

[21] Minimizing view sets without losing query-answering power
Li, C
Bawa, M
Ullman, JD
DATABASE THEORY - ICDT 2001, PROCEEDINGS, 2001, 1973 : 99 - 113
[22] CQFaRAD: Collaborative Query-Answering Framework for a Research Article Dataspace
Singh M.
Pandey S.
Saxena R.
Chaudhary M.
Lal N.
International Journal of Information Technology, 2024, 16 (3) : 1873 - 1886
[23] An efficient XML index structure with bottom-up query processing
Seo, Dong Min
Yoo, Jae Soo
Cho, Ki Hyung
COMPUTATIONAL SCIENCE - ICCS 2007, PT 3, PROCEEDINGS, 2007, 4489 : 813 - +
[24] BlockSolve: A bottom-up approach for solving quantified CSPs
Verger, Guillaume
Bessiere, Christian
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 635 - 649
[25] Extending Weakly-Sticky Datalog± Query-Answering Tractability and Optimizations
Milani, Mostafa
Bertossi, Leopoldo
WEB REASONING AND RULE SYSTEMS, (RR 2016), 2016, 9898 : 128 - 143
[26] Flexible intensional query-answering for RDF Peer-to-Peer systems
Majkic, Zoran
FLEXIBLE QUERY ANSWERING SYSTEMS, PROCEEDINGS, 2006, 4027 : 700 - 712
[27] XML Query-Answering Support System using Association Mining Technique
Suganya, I.
Velmurugan, N.
Ganeshkumar, P.
2013 IEEE CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT 2013), 2013, : 1259 - 1262
[28] A bottom-up summarization algorithm for videos in the wild
Gang Pan
Yaoxian Zheng
Rufei Zhang
Zhenjun Han
Di Sun
Xingming Qu
EURASIP Journal on Advances in Signal Processing, 2019
[29] A bottom-up summarization algorithm for videos in the wild
Pan, Gang
Zheng, Yaoxian
Zhang, Rufei
Han, Zhenjun
Sun, Di
Qu, Xingming
EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2019, 2019 (1)
[30] A BOTTOM-UP ADAPTATION OF EARLEY PARSING ALGORITHM
VOISIN, F
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 146 - 160

← 1 2 3 4 5 →