Univ Washington HCDE 3960 Benson Lane NE Seattle WA 98115 USA;
Univ Washington HCDE 3960 Benson Lane NE Seattle WA 98115 USA;
Univ Calif Irvine Dept Informat Irvine CA USA;
Univ Calif Irvine Dept Informat Informat & Comp Sci Irvine CA USA;
artificial intelligence; computer science; data science; domains; knowledge representation; science policy;
机译:动作逻辑,供应域和机构:供应机构逻辑
机译:迈向域的无限逻辑:过渡系统的艾布拉姆斯基逻辑
机译:虚拟逻辑反射域
机译:在多域授权中包含管理域和管理员的逻辑
机译:用定义,算术和有限域进行一阶逻辑的证明
机译:自旋逻辑应用的横向域壁轮廓
机译:代数域中的从句逻辑和逻辑编程
机译:走向域的永恒逻辑:过渡系统的abramsky逻辑.211软件工程