咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是181-190 订阅
排序:
Scalable Uncertainty Management - 5th International conference, SUM 2011, Proceedings
收藏 引用
5th International conference on Scalable Uncertainty Management, SUM 2011
the proceedings contain 42 papers. the topics discussed include: causality, responsibility, and blame: a structural-model approach;fuzzy logic, annotation domains and semantic web languages;logic programming and uncer...
来源: 评论
A programming language for local computations in graphs: Computational completeness
A programming language for local computations in graphs: Com...
收藏 引用
5th Mexican International conference in Computer Science (ENC 2004)
作者: Mosbah, M Ossamy, R Univ Bordeaux 1 ENSEIRB LaBRI F-33405 Talence France
We have developed a new programming language for implementing distributed algorithms encoded by means of local computations [17]. this language, called Lidia, is based on a two-level transition system model: the first... 详细信息
来源: 评论
Fuzzy/scalar RISC processor: Architectural level design and modeling
Fuzzy/scalar RISC processor: Architectural level design and ...
收藏 引用
5th IEEE International conference on Fuzzy Systems (FUZZ-IEEE 96)
作者: Patyra, MJ Braun, E UNIV MINNESOTA DEPT ELECT & COMP ENGNDULUTHMN 55812
this paper presents the design and modeling issues of the fuzzy/scalar processor which is intended to perform standard scalar operations, as well as specialized fuzzy logic operations at very high speed. the reduced i... 详细信息
来源: 评论
2016 5th International conference on Systems and Control, ICSC 2016
2016 5th International Conference on Systems and Control, IC...
收藏 引用
5th International conference on Systems and Control, ICSC 2016
the proceedings contain 64 papers. the topics discussed include: stabilization of continuous-time fractional positive systems with delays;fault detection for hybrid dynamical system application to winding machine;hier...
来源: 评论
NetTRS induction and postprocessing of decision rules
NetTRS induction and postprocessing of decision rules
收藏 引用
5th International conference on Rough Sets and Current Trends in Computing
作者: Sikora, Marek Michalak, Marcin Silesian Tech Univ Inst Comp Sci PL-44100 Gliwice Poland
the internet service NetTRS that enable to induction, evaluation, and postprocessing of decision rules is presented in the paper. the TRS library is the main part of the service. the TRS library makes possible, among ... 详细信息
来源: 评论
Proving existential termination of normal logic programs  5th
Proving existential termination of normal logic programs
收藏 引用
5th International conference on Algebraic Methodology and Software Technology, AMAST 1996
作者: Marchiori, Massimo Dept. of Pure and Applied Mathematics University of Padova Via Belzoni 7 Padova35131 Italy
the most important open problem in the study of termination for logic programs is that of existential termination. In this paper we present a powerful transformational methodology that provides necessary (and, under s... 详细信息
来源: 评论
Short Circuit Evaluations in Godel Type logic  1
收藏 引用
5th International conference on Fuzzy and Neuro Computing (FANCCO)
作者: Basbous, Raed Nagy, Benedek Tajti, Tibor Al Quds Open Univ Dept Adm Affairs Jerusalem Israel Eastern Mediterranean Univ Dept Appl Math & Comp Sci North Cyprus via Mersin 10 Famagusta Turkey Univ Debrecen Fac Informat Dept Comp Sci Debrecen Hungary Eszterhazy Karoly Univ Appl Sci Eger Hungary
Short circuit evaluation techniques play important roles in hardware design, programming and other fields of computer science. In this paper one of the most known and used fuzzy logic system, the Godel logic is consid... 详细信息
来源: 评论
the logical structure of concurrent constraint programming languages  5th
收藏 引用
5th International conference on Concurrency theory, CONCUR 1994
作者: Panangaden, Prakash McGill University Canada
the Concurrent Constraint programming paradigm has been the subject of growing interest as the focus of a new paradigm for concurrent computation. Like logic programming it claims close relations to logic. In fact the... 详细信息
来源: 评论
Performance evaluation of or-parallel logic programming systems on distributed shared-memory architectures
Performance evaluation of or-parallel logic programming syst...
收藏 引用
5th International conference on Parallel Processing, Euro-Par 1999
作者: Calegario, Vanusa Menditi De Castro Dutra, Inês Empresa Municipal de Informática S/A Rio de Janeiro Brazil COPPE - Systems Engineering and Computer Science Federal University of Rio de Janeiro Brazil
In this work we investigate how Distributed Shared Memory (DSM) architectures affect performance of or-parallel logic programming systems and how this performance approaches that of conventional C systems. Our work co... 详细信息
来源: 评论
Designing Combinational Circuits Using a Multi-objective Cartesian Genetic programming with Adaptive Population Size  5th
Designing Combinational Circuits Using a Multi-objective Car...
收藏 引用
5th International conference on Machine Learning, Optimization, and Data Science (LOD)
作者: Lima, Leandro S. Bernardino, Heder S. Barbosa, Helio J. C. Univ Fed Juiz de Fora UFJF Juiz De Fora MG Brazil Lab Nacl Comp Cient LNCC Petropolis RJ Brazil
this paper proposes a multiobjective Cartesian Genetic programming with an adaptive population size to design approximate digital circuits via evolutionary algorithms, analyzing the trade-off between the most often us... 详细信息
来源: 评论