咨询与建议

限定检索结果

文献类型

  • 2 篇 会议
  • 1 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
  • 2 篇 理学
    • 2 篇 数学
    • 1 篇 科学技术史(分学科...
    • 1 篇 统计学(可授理学、...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 历史学
    • 1 篇 世界史
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 1 篇 computer archite...
  • 1 篇 distributive lat...
  • 1 篇 non-classical lo...
  • 1 篇 kripke models
  • 1 篇 artificial intel...
  • 1 篇 priestley dualit...

机构

  • 1 篇 fac. of industri...
  • 1 篇 programming logi...
  • 1 篇 dept. of compute...
  • 1 篇 max-planck-insti...
  • 1 篇 school of comput...
  • 1 篇 programming logi...

作者

  • 1 篇 hoffmann jörg
  • 1 篇 sulzmann martin
  • 1 篇 domshlak carmel
  • 1 篇 sofronie-stokker...
  • 1 篇 sabharwal ashish
  • 1 篇 lam edmund s. l.

语言

  • 3 篇 英文
检索条件"机构=Programming Logics Group"
3 条 记 录,以下是1-10 订阅
排序:
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II
收藏 引用
Studia Logica 2000年 第2期64卷 151-172页
作者: Sofronie-Stokkermans, Viorica Max-Planck-Institut für Informatik Programming Logics Group Saarbrücken D-66123 Im Stadtwald Germany
The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete wit... 详细信息
来源: 评论
Parallel execution of multi-set constraint rewrite rules  08
Parallel execution of multi-set constraint rewrite rules
收藏 引用
PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative programming
作者: Sulzmann, Martin Lam, Edmund S. L. Programming Logics and Semantics Group IT University of Copenhagen Rued Langgaards Vej 7 2300 Copenhagen S Denmark School of Computing National University of Singapore S16 Level 5 3 Science Drive 2 Singapore 117543 Singapore
Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be appli... 详细信息
来源: 评论
Friends or foes An AI planning perspective on abstraction and search
Friends or foes An AI planning perspective on abstraction an...
收藏 引用
ICAPS 2006 - 16th International Conference on Automated Planning and Scheduling
作者: Hoffmann, Jörg Sabharwal, Ashish Domshlak, Carmel Programming Logics Group Max Planck Institute for CS 66123 Saarbrücken Germany Dept. of Computer Science Cornell University Ithaca NY 14853-7501 United States Fac. of Industrial Engr. and Management Technion Israel Institute of Technology Haifa 32000 Israel
There is increasing awareness that planning and model checking are closely related fields. Abstraction means to perform search in an over-approximation of the original problem instance, with a potentially much smaller... 详细信息
来源: 评论