咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是241-250 订阅
排序:
Compiling multi-paradigm declarative programs into Prolog  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Antoy, S Hanus, M Portland State Univ Dept Comp Sci Portland OR 97207 USA Univ Kiel Inst Informat D-24098 Kiel Germany
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of Curry, is obtained by transforming C... 详细信息
来源: 评论
Maude versus Haskell: An experimental comparison in security protocol analysis
Maude versus Haskell: An experimental comparison in security...
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Basin, David Denker, Grit Institut fur Informatik Albert-Ludwigs- Universitat Freiburg Universitatsgelande Flugplatz D-79110 Freiburg i. Br. Germany Computer Science Laboratory SRI International Menlo Park CA 94025 United States
We compare two executable languages: the rewriting logic based specification language Maude and the higher-order, lazy, functional programming language Haskell. We compare these languages experimentally on a problem i... 详细信息
来源: 评论
Psychiatric diagnosis from the viewpoint of computational logic  1
收藏 引用
1st international Conference on Computational logic, CL 2000
作者: Gartner, Joseph Swift, Terrance Tien, Allen Damásio, Carlos Viegas Pereira, Luís Moniz Medicine Rules Inc. 25 East Loop Rd. Stony Broon NY 11794 United States Department of Computer Science SUNY at Stony Brook Stony Brook NY United States Medical Decision Logic Inc. 7921 Ruxway Rd. Baltimore MD 21204-3515 United States A.I. Centre Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2825-114 Caparica Portugal
While medical information systems have become common in the United States, commercial systems that automate or assist in the process of medical diagnosis remain uncommon. This is not surprising, since automating diagn... 详细信息
来源: 评论
Towards cooperative interval narrowing  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Granvilliers, L Univ Nantes IRIN F-44322 Nantes 3 France
P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency m... 详细信息
来源: 评论
Behavioral and coinductive rewriting
Behavioral and coinductive rewriting
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Goguen, Joseph Lin, Kai Roşu, Grigore Computer Science and Engineering University of California at San Diego San Diego CA 92093 United States
Behavioral rewriting differs from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including notions like termination and confluence. ... 详细信息
来源: 评论
Handling relations over finite domains in the rule-based system ELAN
Handling relations over finite domains in the rule-based sys...
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Ringeissen, Christophe LORIA-INRIA 615 rue du Jardin Botanique F-54602 Villers-les-Nancy Cedex France
We present a methodology for handling efficiently relations over small finite domains in the rule-based programming language ELAN. Usually, a relation is specified as a first-order formula (a constraint) interpreted i... 详细信息
来源: 评论
Automatic tagging of compound verb groups in Czech corpora  3rd
收藏 引用
3rd international workshop on Text, Speech and Dialogue, TSD 2000
作者: Žáčková, Eva Popelínský, Luboš Nepil, Miloslav NLP Laboratory Masaryk University Botanická 68 BrnoCZ-602 00 Czech Republic
In Czech corpora, compound verb groups are usually tagged in a wordby-word manner. As a consequence, some of the morphological tags of particular components of the verb group loose their original meaning. We present a... 详细信息
来源: 评论
Towards Maude 2.0
Towards Maude 2.0
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Clave, M. Durán, F. Eker, S. Lincoln, P. Martí-Oliet, N. Meseguer, J. Quesada, J.F. Departamento de Filosofia Universidad de Navarra Spain ETSII Universidad de Malaga Spain SRI International Menlo Park CA United States Facultad de Matemáticas Universidad Complutense Madrid Spain Centra de Informática Cientifica de Andalucía Sevilla Spain
Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0's three main goals are: (i) greater generality and expressiveness;(ii) efficient support for a wider range ... 详细信息
来源: 评论
Polytypic programming in Maude
Polytypic programming in Maude
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Clavel, M. Durán, F. Martí-Oliet, N. Departamento de Filosofía Universidad de Navarra Spain ETSII Universidad de Málaga Spain Facultad de Matemáticas Universidad Complutense Madrid Spain
The idea of polytypic programming is to write programs that are defined by induction on the structure of user-defined datatypes. In this way, many functions with similar functionalities do not have to be written over ... 详细信息
来源: 评论
Termination and normalisation under strategy proofs in ELAN
Termination and normalisation under strategy proofs in ELAN
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Kirchner, Hélène Gnaedig, Isabelle LORIA-CNRS and INRIA-Lorraine BP 239 54506 Vandceuvre-les-Nancy Cedex France
In this paper, we review several methods for proving termination of rewrite programs or answer questions about normal forms. We concentrate on the methods that have been designed in ELAN and which are useful for study... 详细信息
来源: 评论