咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 87 篇 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 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 5 篇 answer set progr...
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 inductive logic ...

机构

  • 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.

语言

  • 354 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是231-240 订阅
排序:
The abstract scheme for concurrent programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Porto, António Rosado, Paulo Departamento de Informática Universidade Nova de Lisbon Monte da Caparica2825 Portugal
We present a new model for concurrent programming, which we call AbstrAct. A system is specified through collections of rules defining all possible state transformations that may occur. The activity of a system is dri... 详细信息
来源: 评论
A fuzzy approach to hand functioning in virtual programming  3
A fuzzy approach to hand functioning in virtual programming
收藏 引用
3rd IEEE international Symposium on Computational Intelligence in Robotics and Automation, CIRA 1999
作者: Yuan, Xiaobu Sun, Hanqiu Department of Computer Science Memorial University of Newfoundland St. John'sNLA1B 3X5 Canada Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin N.T. Hong Kong Hong Kong
Virtual assembly allows human operators to use their hands manipulating the graphics representation of machinery parts and programming assembly tasks directly in a three-dimensional operation space. The imprecise meas... 详细信息
来源: 评论
The Regularization of Small Sub-Constraint Satisfaction Problems  22nd
The Regularization of Small Sub-Constraint Satisfaction Prob...
收藏 引用
22nd international Conference on Applications of Declarative programming and knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on Functional and Constraint logic programming, WFLP 2019
作者: Löffler, Sven Liu, Ke Hofstedt, Petra Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Brandenburg University of Technology Cottbus-Senftenberg Konrad-Wachsmann-Allee 5 Cottbus03044 Germany
This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is ... 详细信息
来源: 评论
A framework for the study of evolved term-weighting schemes in information retrieval
A framework for the study of evolved term-weighting schemes ...
收藏 引用
ECAI 2006 3rd international workshop on Text-Based Information Retrieval, TIR 2006
作者: Cummins, Ronan O'Riordan, Colm University of Ireland Galway Ireland
Evolutionary algorithms and, in particular, Genetic programming (GP) are increasingly being applied to the problem of evolving term-weighting schemes in Information Retrieval (IR). One fundamental problem with the sol... 详细信息
来源: 评论
Cyber threat analysis with structured probabilistic argumentation  3
Cyber threat analysis with structured probabilistic argument...
收藏 引用
3rd workshop on Advances In Argumentation In Artificial Intelligence, AI^3 2019
作者: Leiva, Mario A. Simari, Gerardo I. Simari, Guillermo R. Shakarian, Paulo Argentina Cyber Reconnaissance Inc. TempeAZ United States
Capturing the uncertain aspects in cyber threat analyses is an important part of a wide range of efforts, including diagnostics, threat evaluation, and preventing attacks. However, there has been insufficient research... 详细信息
来源: 评论
ON THE representation OF DATA IN LAMBDA-CALCULUS  3rd
收藏 引用
3rd workshop ON COMPUTER SCIENCE logic ( CSL 89 )
作者: PARIGOT, M Equipe de Logique CNRS UA 753 Université Paris 7 UFR de Mathématiques 2 place Jussieu PARIS Cedex 05 75251 France
We analyse the algorithmic properties of programs induced by the choice of the representation of data in lambda-calculus. From a logical point of view there are two canonical ways of defining the data types: the itera... 详细信息
来源: 评论
international workshop on Parallel Symbolic Languages and Systems 1995
收藏 引用
3rd international workshop on Parallel Symbolic Languages and Systems, PSLS 1995
The proceedings contain 21 papers. The special focus in this conference is on Evaluation Strategies and programming Tools. The topics include: Lazy remote procedure call and its implementation;efficient evaluation str...
来源: 评论
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... 详细信息
来源: 评论
Towards a computer algebra system with automatic differentiation for use with object-oriented modelling languages
Towards a computer algebra system with automatic differentia...
收藏 引用
3rd international workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Andersson, Joel Houska, Boris Diehl, Moritz K.U. Leuven Belgium
The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation,... 详细信息
来源: 评论
CONTROLLING TRAINING OF NEURAL NETWORK CLASSIFIERS WITH FUZZY-logic
CONTROLLING TRAINING OF NEURAL NETWORK CLASSIFIERS WITH FUZZ...
收藏 引用
3rd workshop ON NEURAL NETWORKS : ACADEMIC / INDUSTRIAL / NASA / DEFENSE ( WNN 92 )
作者: DEROUIN, E BROWN, J Thought Processes Inc Maitland United States
Neural networks have proven very useful in the field of pattern classification by mapping input patterns into one of several categories. The most popular methods of training neural networks use gradient descent techni... 详细信息
来源: 评论