咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献
  • 10 册 图书

馆藏范围

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

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 190 篇 软件工程
    • 19 篇 控制科学与工程
    • 13 篇 电气工程
    • 12 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 87 篇 理学
    • 71 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 37 篇 管理学
    • 28 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 86 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 artificial intel...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 mathematical log...
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 357 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是231-240 订阅
排序:
An implementation of narrowing strategies  01
An implementation of narrowing strategies
收藏 引用
Proceedings of the 3rd international ACM SIGPLAN Conference on Principles and Practice of Declarative programming (PPDP'00)
作者: Antoy, Sergio Hanus, Michael Massey, Bart Steiner, Frank Department of Computer Science Portland State University P.O. Box 751 Portland OR 97207 United States Institut für Informatik Chrstn.-Albrechts-Univ. Kiel Olshausenstr. 40 D-24098 Kiel Germany
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in particular on some optimal narrowing str... 详细信息
来源: 评论
State generation in the parmc model checker  3rd
收藏 引用
3rd international Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Kaser, Owen University of New Brunswick Saint John Canada
The PARMC system performs modelc hecking for systems described in the XL language, a variant of CCS. Extending previous work by Dong and Ramakrishnan that compiled XL specifications into an optimized transition relati... 详细信息
来源: 评论
Interoperability between bioinformatics tools: A logic programming approach  1
收藏 引用
3rd international Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Iglesias, Juan R Gupta, Gopal Pontelli, Enrico Ranjan, Desh Milligan, Brook Dept Computer Science New Mexico State University United States Dept of Biology New Mexico State University United States Dept of Computer Science DallasUT United States
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing biologists into tedious translation wo... 详细信息
来源: 评论
On spatial constraint solving approaches  1
收藏 引用
3rd international workshop on Automated Deduction in Geometry, ADG 2000
作者: Hoffmann, Christoph M. Yuan, Bo Computer Science Department Purdue University West LafayetteIN47907-1398 United States
Simultaneous spatial constraint problems can be approached algebraically, geometrically, or constructively. We examine how each approach performs, using several example problems, especially constraint problems involvi... 详细信息
来源: 评论
LolliCoP - A linear logic implementation of a lean connection-method theorem prover for first-order classical logic  1st
收藏 引用
1st international Joint Conference on Automated Reasoning, IJCAR 2001 co-located with 3rd workshop on Inference in Computational Semantics, ICoS 2001 and 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, CALCULEMUS 2001
作者: Hodas, Joshua S. Tamura, Naoyuki Department of Computer Science Harvey Mudd College ClaremontCA91711 United States
When Prolog programs that manipulate lists to manage a collection of resources are rewritten to take advantage of the linear logic resource management provided by the logic programming language Lolli, they can obtain ... 详细信息
来源: 评论
1st international Joint Conference on Automated Reasoning, IJCAR 2001
收藏 引用
1st international Joint Conference on Automated Reasoning, IJCAR 2001 co-located with 3rd workshop on Inference in Computational Semantics, ICoS 2001 and 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, CALCULEMUS 2001
The proceedings contain 59 papers. The special focus in this conference is on Description, Modal and Temporal logics. The topics include: Program termination analysis by size-change graphs;SET cardholder registration;...
来源: 评论
Defining standard prolog in rewriting logic
Defining standard prolog in rewriting logic
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Kulaš, M. Beierle, C. FernUniversität Hagen FB Informatik D-58084 Hagen Germany
The coincidence between the model-theoretic and the procedural semantics of SLD-resolution does not carry over to a Prolog system that also implements non-logical features like cut and whose depth-first search strateg... 详细信息
来源: 评论
Combining logic and optimization in cutting plane theory  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Bockmayr, A Eisenbrand, F Univ Henri Poincare LORIA F-54506 Vandoeuvre Nancy France Max Planck Inst Informat D-66123 Saarbrucken Germany
Cutting planes were introduced in 1958 by Gomory in order to solve integer linear optimization problems. Since then, they have received a lot of interest, not only in mathematical optimization, but also in logic and c... 详细信息
来源: 评论
New foundations for rewriting logic
New foundations for rewriting logic
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Hilberdink, Hendrik Koryo International Women's College 4-4 Sagamine Komenoki-cho Nisshin-shi Aichi 470-0193 Japan
This paper presents an abstract treatment of the foundations of rewriting logic, generalising in three ways: an arbitrary 2-category plays the role of the specific 2-category Cat;the foundations are rendered fully ind... 详细信息
来源: 评论
Integrating constraint solving into proof planning  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Melis, E Zimmer, J Müller, T Univ Saarland Fachbereich Informat D-66041 Saarbrucken Germany Univ Saarland Programming Syst Lab D-66041 Saarbrucken Germany
In proof planning mathematical objects with theory-specific properties have to be constructed. More often than not, mere unification offers little support for this task. However, the integration of constraint solvers ... 详细信息
来源: 评论