咨询与建议

限定检索结果

文献类型

  • 1,005 篇 会议
  • 51 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 1,060 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 900 篇 工学
    • 876 篇 计算机科学与技术...
    • 526 篇 软件工程
    • 45 篇 信息与通信工程
    • 29 篇 电气工程
    • 22 篇 控制科学与工程
    • 10 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 交通运输工程
    • 5 篇 农业工程
    • 5 篇 生物工程
    • 4 篇 动力工程及工程热...
    • 3 篇 航空宇航科学与技...
    • 3 篇 环境科学与工程(可...
  • 551 篇 理学
    • 436 篇 数学
    • 283 篇 系统科学
    • 19 篇 统计学(可授理学、...
    • 11 篇 物理学
    • 8 篇 生物学
    • 5 篇 化学
  • 84 篇 管理学
    • 69 篇 管理科学与工程(可...
    • 44 篇 工商管理
    • 18 篇 图书情报与档案管...
  • 9 篇 法学
    • 9 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 5 篇 农学
    • 5 篇 作物学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 军事学

主题

  • 197 篇 constraint theor...
  • 162 篇 constraint satis...
  • 64 篇 constraint progr...
  • 26 篇 constrained opti...
  • 26 篇 logic programmin...
  • 24 篇 computer program...
  • 24 篇 answer set progr...
  • 21 篇 integer programm...
  • 18 篇 scheduling
  • 15 篇 dynamic programm...
  • 13 篇 problem solving
  • 12 篇 linear programmi...
  • 10 篇 global constrain...
  • 9 篇 modeling languag...
  • 9 篇 constraint satis...
  • 9 篇 combinatorial op...
  • 9 篇 java programming...
  • 7 篇 model checking
  • 7 篇 optimization
  • 7 篇 local search

机构

  • 19 篇 natl univ irelan...
  • 18 篇 brown univ provi...
  • 14 篇 univ connecticut...
  • 14 篇 cork constraint ...
  • 10 篇 cork constraint ...
  • 8 篇 univ oxford comp...
  • 7 篇 natl univ irelan...
  • 7 篇 natl univ irelan...
  • 7 篇 department of me...
  • 6 篇 nicta nsw
  • 6 篇 161 rue ada mont...
  • 6 篇 natl univ singap...
  • 6 篇 univ st andrews ...
  • 6 篇 cork constraint ...
  • 6 篇 chinese univ hon...
  • 5 篇 cornell univ dep...
  • 5 篇 univ coll cork d...
  • 5 篇 ben gurion univ ...
  • 5 篇 brown univ dept ...
  • 5 篇 department of co...

作者

  • 29 篇 stuckey peter j.
  • 29 篇 o'sullivan barry
  • 22 篇 van hentenryck p...
  • 19 篇 freuder eugene c...
  • 18 篇 walsh toby
  • 17 篇 quimper claude-g...
  • 16 篇 miguel ian
  • 16 篇 michel laurent
  • 15 篇 smith barbara m.
  • 14 篇 régin jean-charl...
  • 14 篇 bessiere christi...
  • 14 篇 schaus pierre
  • 13 篇 gent ian p.
  • 13 篇 beldiceanu nicol...
  • 13 篇 schulte christia...
  • 13 篇 pesant gilles
  • 12 篇 beck j. christop...
  • 11 篇 hebrard emmanuel
  • 10 篇 hnich brahim
  • 10 篇 nightingale pete...

语言

  • 1,058 篇 英文
  • 3 篇 中文
检索条件"任意字段=9th International Conference on Principles and Practice of Constraint Programming"
1061 条 记 录,以下是231-240 订阅
排序:
Representing hybrid automata by action language modulo theories
Representing hybrid automata by action language modulo theor...
收藏 引用
33rd international conference on Logic programming colocated with the 23rd international conference on principles and practice of constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Lee, Joohyung Loney, Nikhil Meng, Yunsong Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA Houzz Inc Palo Alto CA USA
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. this paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata ... 详细信息
来源: 评论
Productive corecursion in logic programming
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 906-923页
作者: Komendantskaya, Ekaterina Li, Yue Heriot Watt Univ Edinburgh Midlothian Scotland
Logic programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/ coinductive soundness of formulae is a challenging t... 详细信息
来源: 评论
Representing hybrid automata by action language modulo theories
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 924-941页
作者: Lee, Joohyung Loney, Nikhil Meng, Yunsong Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA Houzz Inc Palo Alto CA USA
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. this paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata ... 详细信息
来源: 评论
When you must forget: Beyond strong persistence when forgetting in answer set programming
When you must forget: Beyond strong persistence when forgett...
收藏 引用
33rd international conference on Logic programming colocated with the 23rd international conference on principles and practice of constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Goncalves, Ricardo Knorr, Matthias Leite, Joao Woltran, Stefan Univ Nova Lisboa NOVA LINCS Lisbon Portugal TU Wien Vienna Austria
Among the myriad of desirable properties discussed in the context of forgetting in Answer Set programming, strong persistence naturally captures its essence. Recently, it has been shown that it is not always possible ... 详细信息
来源: 评论
Productive corecursion in logic programming
Productive corecursion in logic programming
收藏 引用
33rd international conference on Logic programming colocated with the 23rd international conference on principles and practice of constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Komendantskaya, Ekaterina Li, Yue Heriot Watt Univ Edinburgh Midlothian Scotland
Logic programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/ coinductive soundness of formulae is a challenging t... 详细信息
来源: 评论
When you must forget: Beyond strong persistence when forgetting in answer set programming
收藏 引用
thEORY AND practice OF LOGIC programming 2017年 第5-6期17卷 837-854页
作者: Goncalves, Ricardo Knorr, Matthias Leite, Joao Woltran, Stefan Univ Nova Lisboa NOVA LINCS Lisbon Portugal TU Wien Vienna Austria
Among the myriad of desirable properties discussed in the context of forgetting in Answer Set programming, strong persistence naturally captures its essence. Recently, it has been shown that it is not always possible ... 详细信息
来源: 评论
ACM international conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
19th international Symposium on principles and practice of Declarative programming, PPDP 2017
the proceedings contain 20 papers. the topics discussed include: ethical issues in data management;programming by examples: applications, algorithms, and ambiguity resolution;environments and the complexity of abstrac...
来源: 评论
Computing on many cores
Computing on many cores
收藏 引用
Euro-Par conference / 7th international Workshop on programming Models and Applications for Multicores and Manycores (PMAM) held in conjunction with the 21st SIGPLAN Symposium on principles and practice of Parallel programming (PPoPP)
作者: Goossens, Bernard Parello, David Porada, Katarzyna Rahmoune, Djallal UPVD DALI 52 Ave Paul Alduy F-66860 Perpignan 9 France UM2 CNRS UMR 5506 LIRMM 161 Rue Ada F-34095 Montpellier 5 France
this paper presents an alternative method to parallelize programs, better suited to manycore processors than actual operating system-/API-based approaches like OpenMP and MPI. the method relies on a parallelizing hard... 详细信息
来源: 评论
htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond  14th
htd - A Free, Open-Source Framework for (Customized) Tree De...
收藏 引用
14th international conference on the Integration of Artificial Intelligence and Operations Research Techniques in constraint programming (CPAIOR)
作者: Abseher, Michael Musliu, Nysret Woltran, Stefan TU Wien Inst Informat Syst 184-2Favoritenstr 9-11 A-1040 Vienna Austria
Decompositions of graphs play a central role in the field of parameterized complexity and are the basis for many fixed-parameter tractable algorithms for problems that are NP-hard in general. Tree decompositions are t... 详细信息
来源: 评论
Argumentation-Based Semantics for Logic Programs with First-Order Formulae  19th
Argumentation-Based Semantics for Logic Programs with First-...
收藏 引用
19th international conference on principles and practice of Multi-Agent Systems (PRIMA)
作者: Phan Minh Dung Tran Cao Son Phan Minh thang Asian Inst Technol Dept Comp Sci Klongluang Thailand New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA Burapha Univ Int Coll Dept Comp Sci Bangsaen Thailand
this paper studies different semantics of logic programs with first order formulae under the lens of argumentation framework. It defines the notion of an argumentation-based answer set and the notion of an argumentati... 详细信息
来源: 评论