×
什奇蓬贾·艾哈迈塔吉;迭戈·卡尔瓦内斯;马格达莱娜·奥尔蒂斯;西蒙库斯，曼塔斯

使用描述逻辑管理图形结构数据中的更改。 （英语） Zbl 1407.68122号

ACM事务处理。计算。日志。 第18条第4款第27条第35页（2017年）.

引用于2文件

MSC公司：

第68页，共15页 数据库理论
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

完整性约束;图形结构数据;规划;静态分析
PDF格式BibTeX公司 XML格式引用
\textit{S.Ahmetaj}等人，ACM翻译。计算。日志。18，第4号，第27条，第35页（2017；Zbl 1407.68122）
全文： 内政部 arXiv公司