close
1.

電子ブック
ＥＢ
1. Quantifiers in Action
Antonio Badia, M. P. Fourman, C. J. Mulvey, Dana S. Scott, London Mathematical Society.
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Basic Concepts / 2：
From Propositional to First Order Logic / 2.1：
Quantification / 2.2：
Semantics / 2.2.1：
Meaning / 2.2.2：
More on Quantification / 2.3：
Quantifier Scope and Prefixes / 2.3.1：
Skolemization / 2.3.2：
Quantifier Rank / 2.3.3：
Relativization / 2.3.4：
Games / 2.4：
More Semantics / 2.5：
Expressive Power of FOL / 2.5.1：
Finite and Infinite Models / 2.5.2：
Generalized Quantifiers / 3：
Another view / 3.1：
Basic Complexity / 3.4：
QLGQ: A Query Language with Generalized Quantifiers / 4：
Introduction: GQs in Query languages / 4.1：
QLGQ / 4.2：
Syntax of QLGQ / 4.2.1：
Semantics of QLGQ / 4.2.2：
Remarks on Syntax / 4.2.3：
Safety and Domain Independence / 4.3：
Relation to other languages / 4.3.1：
Generalized Quantifiers and SQL / 4.4：
Implementation and Optimization of Standard GQs / 5：
Languages to Define GQs / 5.1：
Translating and Optimizing QLGQ / 5.2：
The Interpreter / 5.3：
Complex Queries / 5.3.1：
Optimization / 5.4：
Optimization on RA Expressions / 5.4.1：
Optimization using GQ Properties / 5.4.2：
Application to SQL / 5.5：
Monadic vs. Polyadic Quantification / 5.6：
Quantifier Prefixes / 6：
Linear and Non-linear Prefixes / 6.1：
Henkin Prefixes and Generalized Quantifiers / 6.1.2：
Linear and Non-Linear Prefixes in QLGQ / 6.2：
Cumulation / 6.3：
Branching / 6.4：
Linear Prefixes / 6.5：
Algebraic Translation / 6.5.1：
Cooperative Query Answering / 7：
Cooperative Query Answering with QLGQ / 7.1：
Presuppositions / 7.3.1：
Constructing Explanations and Justifications / 7.3.2：
Relaxed Queries / 7.3.3：
Expressing and Using Constraints / 7.3.4：
Further Research in CQA / 7.4：
Generalized Quantifiers and Natural Language / 8：
Question Answering / 8.1：
GQs in Natural Language Analysis / 8.3：
Combining Quantifiers / 8.3.1：
QLGQ in QA / 8.4：
CQA, QA and GQs / 8.5：
Challenges / 8.6：
Extensions / 9：
Datalog-like Languages / 9.1：
Aggregates / 9.1.1：
Fixpoint / 9.1.2：
Higher Order Variables / 9.1.3：
Distributed Quantification / 9.2：
Quantification and Distributed Databases / 9.2.1：
Computing Distributed Quantification / 9.2.2：
Other Data Models / 9.3：
Conclusion / 10：
References
Introduction / 1：
Basic Concepts / 2：
From Propositional to First Order Logic / 2.1：
2.

電子ブック
ＥＢ
2. Quantifiers in Action
Antonio Badia, M. P. Fourman, C. J. Mulvey, Dana S. Scott, London Mathematical Society.
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Basic Concepts / 2：
From Propositional to First Order Logic / 2.1：
Quantification / 2.2：
Semantics / 2.2.1：
Meaning / 2.2.2：
More on Quantification / 2.3：
Quantifier Scope and Prefixes / 2.3.1：
Skolemization / 2.3.2：
Quantifier Rank / 2.3.3：
Relativization / 2.3.4：
Games / 2.4：
More Semantics / 2.5：
Expressive Power of FOL / 2.5.1：
Finite and Infinite Models / 2.5.2：
Generalized Quantifiers / 3：
Another view / 3.1：
Basic Complexity / 3.4：
QLGQ: A Query Language with Generalized Quantifiers / 4：
Introduction: GQs in Query languages / 4.1：
QLGQ / 4.2：
Syntax of QLGQ / 4.2.1：
Semantics of QLGQ / 4.2.2：
Remarks on Syntax / 4.2.3：
Safety and Domain Independence / 4.3：
Relation to other languages / 4.3.1：
Generalized Quantifiers and SQL / 4.4：
Implementation and Optimization of Standard GQs / 5：
Languages to Define GQs / 5.1：
Translating and Optimizing QLGQ / 5.2：
The Interpreter / 5.3：
Complex Queries / 5.3.1：
Optimization / 5.4：
Optimization on RA Expressions / 5.4.1：
Optimization using GQ Properties / 5.4.2：
Application to SQL / 5.5：
Monadic vs. Polyadic Quantification / 5.6：
Quantifier Prefixes / 6：
Linear and Non-linear Prefixes / 6.1：
Henkin Prefixes and Generalized Quantifiers / 6.1.2：
Linear and Non-Linear Prefixes in QLGQ / 6.2：
Cumulation / 6.3：
Branching / 6.4：
Linear Prefixes / 6.5：
Algebraic Translation / 6.5.1：
Cooperative Query Answering / 7：
Cooperative Query Answering with QLGQ / 7.1：
Presuppositions / 7.3.1：
Constructing Explanations and Justifications / 7.3.2：
Relaxed Queries / 7.3.3：
Expressing and Using Constraints / 7.3.4：
Further Research in CQA / 7.4：
Generalized Quantifiers and Natural Language / 8：
Question Answering / 8.1：
GQs in Natural Language Analysis / 8.3：
Combining Quantifiers / 8.3.1：
QLGQ in QA / 8.4：
CQA, QA and GQs / 8.5：
Challenges / 8.6：
Extensions / 9：
Datalog-like Languages / 9.1：
Aggregates / 9.1.1：
Fixpoint / 9.1.2：
Higher Order Variables / 9.1.3：
Distributed Quantification / 9.2：
Quantification and Distributed Databases / 9.2.1：
Computing Distributed Quantification / 9.2.2：
Other Data Models / 9.3：
Conclusion / 10：
References
Introduction / 1：
Basic Concepts / 2：
From Propositional to First Order Logic / 2.1：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼