咨询与建议

限定检索结果

文献类型

  • 883 篇 期刊文献
  • 590 篇 会议
  • 103 册 图书
  • 18 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 928 篇 理学
    • 901 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 71 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 39 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 48 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,539 篇 英文
  • 30 篇 其他
  • 26 篇 中文
检索条件"任意字段=Theory and Practice of Logic Programming"
1595 条 记 录,以下是741-750 订阅
Checking termination of bottom-up evaluation of logic programs with function symbols
收藏 引用
theory and practice of logic programming 2015年 第6期15卷 854-889页
作者: Calautti, Marco Greco, Sergio Spezzano, Francesca Trubitsyna, Irina Univ Calabria DIMES I-87036 Arcavacata Di Rende CS Italy
Recently, there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The presence of function symbols in the program may render the ground instantiation in... 详细信息
来源: 评论
Computation in Focused Intuitionistic logic  15
Computation in Focused Intuitionistic Logic
收藏 引用
17th International Symposium on Principles and practice of Declarative programming (PPDP)
作者: Brock-Nannestad, Taus Guenot, Nicolas Gustafsson, Daniel INRIA Saclay Palaiseau France IT Univ Copenhagen Copenhagen Denmark
We investigate the control of evaluation strategies in a variant of the lambda-calculus derived through the Curry-Howard correspondence from LJF, a sequent calculus for intuitionistic logic implementing the focusing t... 详细信息
来源: 评论
Timed soft concurrent constraint programs: An interleaved and a parallel approach
收藏 引用
theory and practice of logic programming 2015年 第6期15卷 743-782页
作者: Bistarelli, Stefano Gabbrielli, Maurizio Meo, Maria Chiara Santini, Francesco Univ Perugia Dipartimento Matemat & Informat I-06123 Perugia Italy Univ Bologna Dipartimento Sci Informaz I-40126 Bologna Italy Univ G DAnnunzio Dipartimento Econ I-65127 Pescara Italy CWI NL-1098 XG Amsterdam Netherlands
We propose a timed and soft extension of Concurrent Constraint programming. The time extension is based on the hypothesis of bounded asynchrony: The computation takes a bounded period of time and is measured by a disc... 详细信息
来源: 评论
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
收藏 引用
theory and practice of logic programming 2015年 第6期15卷 783-817页
作者: Bruynooghe, Maurice Blockeel, Hendrik Bogaerts, Bart De Cat, Broes De Pooter, Stef Jansen, Joachim Labarre, Anthony Ramon, Jan Denecker, Marc Verwer, Sicco Katholieke Univ Leuven Dept Comp Sci Heverlee Belgium
This paper provides a gentle introduction to problem-solving with the IDP3 system. The core of IDP3 is a finite model generator that supports first-order logic enriched with types, inductive definitions, aggregates an... 详细信息
来源: 评论
aspeed: Solver scheduling via answer set programming
收藏 引用
theory and practice of logic programming 2015年 第1期15卷 117-142页
作者: Hoos, Holger Kaminski, Roland Lindauer, Marius Schaub, Torsten Univ British Columbia Dept Comp Sci Vancouver BC V5Z 1M9 Canada Univ Potsdam Inst Informat Potsdam Germany
Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances, and is know... 详细信息
来源: 评论
Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation  21st
Automated Auxiliary Variable Elimination Through On-the-Fly ...
收藏 引用
31st International Conference on logic programming (ICLP) Co-located with the 21st International Conference on Principles and practice of Constraint programming (CP)
作者: Monette, Jean-Noel Flener, Pierre Pearson, Justin Uppsala Univ Dept Informat Technol Uppsala Sweden
Model flattening often introduces many auxiliary variables. We provide a way to eliminate some of the auxiliary variables occurring in exactly two constraints by replacing those two constraints by a new equivalent con... 详细信息
来源: 评论
Automatically Generating Streamlined Constraint Models with ESSENCE and CONJURE  21st
Automatically Generating Streamlined Constraint Models with ...
收藏 引用
31st International Conference on logic programming (ICLP) Co-located with the 21st International Conference on Principles and practice of Constraint programming (CP)
作者: Wetter, James Akguen, Oezguer Miguel, Ian Univ St Andrews Sch Comp Sci St Andrews Fife Scotland
Streamlined constraint reasoning is the addition of uninferred constraints to a constraint model to reduce the search space, while retaining at least one solution. Previously, effective streamlined models have been co... 详细信息
来源: 评论
Lower complexity bounds for lifted inference
收藏 引用
theory and practice of logic programming 2015年 第2期15卷 246-263页
作者: Jaeger, Manfred Aalborg Univ Dept Comp Sci DK-9220 Aalborg Denmark
One of the big challenges in the development of probabilistic relational (or probabilistic logical) modeling and learning frameworks is the design of inference techniques that operate on the level of the abstract mode... 详细信息
来源: 评论
Discovering Classes of Strongly Equivalent logic Programs with Negation as Failure in the Head  8th
Discovering Classes of Strongly Equivalent Logic Programs wi...
收藏 引用
8th International Conference on Knowledge Science, Engineering and Management (KSEM)
作者: Ji, Jianmin Univ Sci & Technol China Sch Comp Sci & Technol Hefei 230026 Peoples R China
In this paper, we apply Fangzhen Lin's methodology of computer aided theorem discovery to discover classes of strongly equivalent logic programs with negation as failure in the head. Specifically, with the help of... 详细信息
来源: 评论
Optimal Deployment and Dimensioning of Fog Computing Supported Vehicular Network
Optimal Deployment and Dimensioning of Fog Computing Support...
收藏 引用
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Ping Guo Bin Lin Xin Li Rongxi He Sen Li Department of Information Science and Technology Dalian Maritime University Dalian China
Vehicular network is regarded as an important part of the Intelligent Transportation System (ITS). However, with the increasing number of vehicular applications, it is a challenge to meet the demands of both communica... 详细信息
来源: 评论