首页>外文会议>其他>International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)

International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.The Nested List Normal Form for Functional and Multivalued Dependencies

机译：嵌套列表功能和多值依赖性的正常形式
- 作者：Sven Hartmann;Sebastian Link
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
2.Axiomatising Functional Dependencies for XML with Frequencies

机译：具有频率的XML的简明功能依赖性
- 作者：Sven Hartmann;Thu Trinh
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
3.Iterative Modification and Incremental Evaluation of Preference Queries

机译：偏移查询的迭代修改和增量评估
- 作者：Jan Chomicki
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
4.Consistency Checking Algorithms for Restricted UML Class Diagrams

机译：限制UML类图的一致性检查算法
- 作者：Ken Kaneiwa;Ken Satoh
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
5.Processing Ranked Queries with the Minimum Space

机译：处理最小空间的排名查询
- 作者：Yufei Tao;Marios Hadjieleftheriou
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
6.Guarded Open Answer Set Programming with Generalized Literals

机译：守护的开放式答案设置具有广义文字的编程
- 作者：Stijn Heymans;Davy Van Nieuwenborgh;Dirk Vermeir
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
7.On the Number of Independent Functional Dependencies

机译：关于独立功能依赖性的数量
- 作者：János Demetrovics;Gyula O.H. Katona;Dezso Miklós;Bernhard Thalheim
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
8.Some Contributions to the Minimum Representation Problem of Key Systems

机译：关键系统最小代表问题的一些贡献
- 作者：Gyula O.H. Katona;Krisztián Tichler
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
- Labelled directed tree;
- relational database;
- minimum matrix representation;
- extremal problems;
9.Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel

机译：对可解除的关系子模型的打开查询的受控查询评估
- 作者：Joachim Biskup;Piero Bonatti
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
10.Reasoning Support for Expressive Ontology Languages Using a Theorem Prover

机译：使用定理箴言推理支持表达本体语言
- 作者：Ian Horrocks;Andrei Voronkov
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
11.Equational Constraint Solving Via a Restricted Form of Universal Quantification

机译：通过限制形式的普通量化来解决实际约束
- 作者：Javier álvez;Paqui Lucio
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
- equality;
- constraint satisfaction;
- solver;
- term algebra;
- answer;
12.On Multivalued Dependencies in Fixed and Undetermined Universes

机译：关于固定和未确定宇宙中的多价依赖性
- 作者：Sebastian Link
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
13.Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm

机译：基于Gaussians聚类算法的混合最小生成树和混合
- 作者：Agnes Vathy-Fogarassy;Attila Kiss;Janos Abonyi
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
14.Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results

机译：通过计算联合解释解决绑架：逻辑编程形式化，应用于P2P数据集成以及复杂性结果
- 作者：Gianluigi Greco
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
15.Arity and Alternation: A Proper Hierarchy in Higher Order Logics

机译：arity和交替：高阶逻辑中的适当层次结构
- 作者：Flavio A. Ferrarotti;José M. Turull Torres
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
16.The Semijoin Algebra

机译：semijoin代数
- 作者：Jan Van den Bussche
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
17.Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context

机译：基于偏好的查询通过在正式背景下通过细化/放大调整
- 作者：Nicolas Spyratos;Carlo Meghini
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年
18.Modeling the Evolution of Objects in Temporal Information Systems

机译：在时间信息系统中建模对象的演变
- 作者：A. Artale;C. Parent;S. Spaccapietra
- 会议名称：《International Conference on Foundations of Information and Knowledge Systems(FoIKS 2006)》 | 2006年