咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1401-1410 订阅
theory and practice of constraint handling rules
收藏 引用
JOURNAL OF logic programming 1998年 第1-3期37卷 95-138页
作者: Fruhwirth, T Univ Munich Inst Informat D-80538 Munich Germany
Constraint Handling Rules (CHR) are our proposal to allow more flexibility and application-oriented customization of constraint systems. CHR are a declarative language extension especially designed for writing user-de... 详细信息
来源: 评论
Partial evaluation of functional logic programs
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1998年 第4期20卷 768-844页
作者: Alpuente, M Falaschi, M Vidal, G Univ Politecn Valencia Dept Sistemas Informat & Computac Valencia 46022 Spain Univ Udine I-33100 Udine Italy
Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction principle of functional l... 详细信息
来源: 评论
Refining action theories through abductive logic programming
Refining action theories through abductive logic programming
收藏 引用
3rd International Workshop on logic programming and Knowledge Representation
作者: Li, RW Pereira, LM Dahl, V Univ Nova Lisboa Dept Comp Sci Ctr Artificial Intelligence CENTRIA P-2825 Monte De Caparica Portugal Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
Reasoning about actions and changes often starts with an action theory which is then used for planning, prediction or explanation. In practice it is sometimes not simple to give an immediately available action theory.... 详细信息
来源: 评论
A complete declarative debugger of missing answers  7th
A complete declarative debugger of missing answers
收藏 引用
7th European Symposium on programming (ESOP'98) at the Joint European Conferences on theory and practice of Software (ETAPS'98)
作者: Ruggieri, S Univ Pisa Dipartimento Informat I-56125 Pisa Italy
We propose two declarative debuggers of missing answers with respect to C- and S-semantics. The debuggers are proved correct for every logic program. Moreover, they are complete and terminating with respect to a large... 详细信息
来源: 评论
Verifiable and executable logic specifications of concurrent objects in Lπ  7th
Verifiable and executable logic specifications of concurrent...
收藏 引用
7th European Symposium on programming (ESOP'98) at the Joint European Conferences on theory and practice of Software (ETAPS'98)
作者: Caires, L Monteiro, L Univ Nova Lisboa Dept Informat P-1200 Lisbon Portugal
We present the core-L-pi fragment of L-pi and its program logic. We illustrate the adequacy of L-pi as a mete-language for jointly defining operational semantics and program logics of languages with concurrent and log... 详细信息
来源: 评论
logic specifications for multiple robots based on a current programming language
Logic specifications for multiple robots based on a current ...
收藏 引用
IEEE/RSJ International Conference on Intelligent Robots and Systems
作者: Nishiyama, H Ohwada, H Mizoguchi, F Sci Univ Tokyo Fac Sci & Technol Noda Chiba 278 Japan
This paper describes a concurrent logic specification language for developing programs that control multiple robots. This language is based on guarded Horn clauses and specifications are automatically transformed into... 详细信息
来源: 评论
Why don't they practice what we preach?
收藏 引用
ANNALS OF SOFTWARE ENGINEERING 1998年 第1-4期6卷 201-222页
作者: Humphrey, WS Carnegie Mellon Univ Inst Software Engn Pittsburgh PA 15213 USA
One of the most intractable problems in software is getting engineers to consistently use effective methods. The Software Engineering Institute (SEI) has worked on this problem for a number of years and has developed ... 详细信息
来源: 评论
A polyvariant binding-time analysis for off-line partial deduction  7th
A polyvariant binding-time analysis for off-line partial ded...
收藏 引用
7th European Symposium on programming (ESOP'98) at the Joint European Conferences on theory and practice of Software (ETAPS'98)
作者: Bruynooghe, M Leuschel, M Sagonas, K Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium
We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction system as a Prolog program. Using abstract interpretation, we collect information abou... 详细信息
来源: 评论
7th European Symposium on programming, ESOP 1998 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 1998
7th European Symposium on Programming, ESOP 1998 Held as Par...
收藏 引用
7th European Symposium on programming, ESOP 1998 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 1998
The proceedings contain 18 papers. The special focus in this conference is on programming Languages and Systems. The topics include: Concurrent constraint programming based on functional programming;a bisimulation met...
来源: 评论
Synthesis of concurrent systems with many similar processes
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1998年 第1期20卷 51-115页
作者: Attie, PC Emerson, EA Florida Int Univ Sch Comp Sci Miami FL 33199 USA Univ Texas Dept Comp Sci Austin TX 78712 USA
Methods for synthesizing concurrent programs from temporal logic specifications based on the use of a decision procedure for testing temporal satisfiability have been proposed by Emerson and Clarke and by Manna and Wo... 详细信息
来源: 评论