咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是871-880 订阅
Disjunctive logic programs with existential quantification in rule heads
Disjunctive logic programs with existential quantification i...
收藏 引用
29th International Conference on logic programming ICLP
作者: You, Jia-Huai Zhang, Heng Zhang, Yan Univ Alberta Edmonton AB T6G 2E8 Canada Univ Western Sydney Penrith NSW 2751 Australia
We consider disjunctive logic programs without function symbols but with existential quantification in rule heads, under the semantics of general stable models. There are at least two interesting prospects in these pr... 详细信息
来源: 评论
Autonomous agents coordination: Action languages meet CLP(FD) and Linda
收藏 引用
theory and practice of logic programming 2013年 第02期13卷 149-173页
作者: Dovier, Agostino Formisano, Andrea Pontelli, Enrico Univ Udine Dipartimento Matemat & Informat I-33100 Udine Italy Univ Perugia Dipartimento Matemat & Informat I-06100 Perugia Italy New Mexico State Univ Dept Comp Sci University Pk NM USA
The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent systems, where autonomous agents reason and act in a shared environment. Agents ar... 详细信息
来源: 评论
A practical analysis of non-termination in large logic programs
A practical analysis of non-termination in large logic progr...
收藏 引用
29th International Conference on logic programming ICLP
作者: Liang, Senlin Kifer, Michael SUNY Stony Brook Dept Comp Sci Stony Brook NY USA
A large body of work has been dedicated to termination analysis of logic programs but relatively little has been done to analyze non-termination. In our opinion, explaining non-termination is a much more important tas... 详细信息
来源: 评论
Stable model semantics for founded bounds
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 517-532页
作者: Aziz, Rehan Abdul Chu, Geoffrey Stuckey, Peter J. Univ Melbourne Dept Comp & Informat Syst Victoria Lab Natl ICT Australia Melbourne Vic 3010 Australia
Answer Set programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning. ASP solvers enforce stable model semantics, which rule out solutions representing certain kinds o... 详细信息
来源: 评论
BigYAP: Exo-compilation meets UDI
BigYAP: Exo-compilation meets UDI
收藏 引用
29th International Conference on logic programming ICLP
作者: Costa, Vitor Santos Vaz, David Univ Porto CRACS DCC FCUP P-4100 Oporto Portugal
The widespread availability of large data-sets poses both an opportunity and a challenge to logic programming. A first approach is to couple a relational database with logic programming, say, a Prolog system with MySQ... 详细信息
来源: 评论
Computing the stratified semantics of logic programs over big data through mass parallelization
Computing the stratified semantics of logic programs over bi...
收藏 引用
7th International Web Rule Symposium on theory, practice, and Applications of Rules on the Web, RuleML 2013
作者: Tachmazidis, Ilias Antoniou, Grigoris University of Huddersfield United Kingdom
Increasingly huge amounts of data are published on the Web, and generated from sensors and social media. This Big Data challenge poses new scientific and technological challenges and creates new opportunities - thus t... 详细信息
来源: 评论
Optimization and Reoptimization in Fuzzy Linear programming problems
Optimization and Reoptimization in Fuzzy Linear Programming ...
收藏 引用
8th Conference of the European-Society-for-Fuzzy-logic-and-Technology (EUSFLAT)
作者: Kheirfam, Behrouz Luis Verdegay, Jose Azarbaijan Shahid Madani Univ Dept Appl Math Tabriz Iran Univ Granada Dept Comp Sci & AI Granada Spain
Fuzzy Linear programming models are quite frequent in practice. The dynamic nature of the real problems often requires reoptimize from the optimal solutions found, what may mean a significant consumption of time and f... 详细信息
来源: 评论
theory propagation and rational-trees  13
Theory propagation and rational-trees
收藏 引用
15th Symposium on Principles and practice of Declarative programming, PPDP 2013
作者: Robbins, Ed Howe, Jacob M. King, Andy School of Computing University of Kent United Kingdom School of Informatics City University London United Kingdom
SAT Modulo Theories (SMT) is the problem of determining the satisfiability of a formula in which constraints, drawn from a given constraint theory T, are composed with logical connectives. The DPLL(T) approach to SMT ... 详细信息
来源: 评论
How to make ad hoc proof automation less ad hoc
收藏 引用
JOURNAL OF FUNCTIONAL programming 2013年 第4期23卷 357-401页
作者: Gonthier, Georges Ziliani, Beta Nanevski, Aleksandar Dreyer, Derek Microsoft Res Cambridge England Max Planck Inst Software Syst MPI SWS Saarbrucken Germany IMDEA Software Inst Madrid Spain
Most interactive theorem provers provide support for some form of user-customizable proof automation. In a number of popular systems, such as Coq and Isabelle, this automation is achieved primarily through tactics, wh... 详细信息
来源: 评论
The rewriting logic semantics project: A progress report
The rewriting logic semantics project: A progress report
收藏 引用
18th International Symposium on Fundamentals of Computation theory
作者: Meseguer, Jose Rosu, Grigore Univ Illinois Dept Comp Sci Urbana IL 61801 USA Univ Alexandru Ioan Cuza Iasi Romania
Rewriting logic is an executable logical framework well suited for the semantic definition of languages. Any such framework has to be judged by its effectiveness to bridge the existing gap between language definitions... 详细信息
来源: 评论