首页>外文会议>Foundations of Information and Knowledge Systems

Foundations of Information and Knowledge Systems

召开年：2004
召开地：Wilhelminenburg Castle(AT);Wilhelminenburg Castle(AT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A New Approach to Belief Modeling

机译：信念建模的新方法
- 作者：V.N. Huynh;Y. Nakamori;T. Murai;T.B. Ho
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
- transferable belief model;
- uncertainty;
- dempster-shafer theory;
- propagable belief model;
2.Abstract State Machines: An Overview of the Project

机译：抽象状态机：项目概述
- 作者：Yuri Gurevich
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
3.Challenges in Fixpoint Computation with Multisets

机译：使用多集进行定点计算的挑战
- 作者：Nematollaah Shiri;Zhi Hong Zheng
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
4.Computer-Oriented Calculi of Sequent Trees

机译：面向计算机的后继树计算
- 作者：Alexander Lyaletski
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
5.Database Repair by Signed Formulae

机译：通过签名公式进行数据库修复
- 作者：Ofer Arieli;Marc Denecker;Bert Van Nuffelen;Maurice Bruynooghe
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
6.Equivalence of OLAP Dimension Schemas

机译：等效的OLAP维度架构
- 作者：Carlos A. Hurtado;Claudio Gutierrez
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
7.Hypergraph Transversals

机译：超图横向
- 作者：Georg Gottlob
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
8.Implementing Ordered Choice Logic Programming Using Answer Set Solvers

机译：使用答案集求解器实现有序选择逻辑编程
- 作者：Marina De Vos
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
9.Minimal Keys in Higher-Order Datamodels

机译：高阶数据模型中的最小键
- 作者：Attila Sali
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
10.On the Security of Individual Data

机译：关于个人数据的安全性
- 作者：Janos Demetrovics;Gyula O.H. Katona;Dezsoe Miklos
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
11.On Updates of Logic Programs: A Properties-Based Approach

机译：关于逻辑程序的更新：一种基于属性的方法
- 作者：Mauricio Osorio;Fernando Zacarias
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
- answer set programming;
- nelson logic;
- update programs;
- strong negation;
- AGM postulates;
- properties;
12.Plan Databases: Model and Algebra

机译：计划数据库：模型和代数
- 作者：Fusun Yaman;Sibel Adali;Dana Nau;Maria L. Sapino;V.S. Subrahmanian
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
13.Query Answering and Containment for Regular Path Queries under Distortions

机译：失真下常规路径查询的查询回答和遏制
- 作者：Goesta Grahne;Alex Thomo
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
14.Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists

机译：列表中有关功能和多值依赖项的推理
- 作者：Sven Hartmann;Sebastian Link;Klaus-Dieter Schewe
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
15.Similarity Relational Calculus and Its Reduction to a Similarity Algebra

机译：相似关系演算及其简化为相似代数
- 作者：Ingo Schmitt;Nadine Schulz
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
16.Simplification of Integrity Constraints for Data Integration

机译：简化数据集成的完整性约束
- 作者：Henning Christiansen;Davide Martinenghi
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
17.Skyline Cardinality for Relational Processing How Many Vectors Are Maximal?

机译：关系处理的天际线基数最大有几个向量？
- 作者：Parke Godfrey
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
18.The Relative Complexity of Updates for a Class of Database Views

机译：一类数据库视图的更新的相对复杂性
- 作者：Stephen J. Hegner
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
19.Towards a Generalized Interaction Scheme for Information Access

机译：建立通用的信息访问交互方案
- 作者：Yannis Tzitzikas;Carlo Meghini;Nicolas Spyratos
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年
20.Weak Functional Dependencies in Higher-Order Datamodels — The Case of the Union Constructor —

机译：高阶数据模型中的弱函数依赖关系（以Union构造函数为例）
- 作者：Sven Hartmann;Sebastian Link;Klaus-Dieter Schewe
- 会议名称：《Foundations of Information and Knowledge Systems》 | 2004年