咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 455 篇 电子文献
  • 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
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control
  • 6 篇 formal logic
  • 6 篇 model checking
  • 6 篇 computational mo...
  • 6 篇 fuzzy control
  • 6 篇 computer program...
  • 6 篇 answer set progr...
  • 6 篇 software design

机构

  • 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

语言

  • 449 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
455 条 记 录,以下是241-250 订阅
排序:
A similarity-based unification model for flexible querying
收藏 引用
5th International conference on Flexible Query Answering Systems
作者: Krajci, S Lencses, R Medina, J Ojeda-Aciego, M Vojtás, P Safarik Univ Inst Informat Kosice Slovakia Acad Sci Czech Republ Inst Comp Sci Prague Czech Republic
We use the formal model for similarity-based fuzzy unification in multi-adjoint logic programs to provide new tools for flexible querying. Our approach is based on a general framework for logic programming, which give... 详细信息
来源: 评论
5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003
收藏 引用
5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003
the proceedings contain 26 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the role of declarative languages in mining biological databases;light and ...
来源: 评论
Computational intelligence: Is it real or smoke and mirrors?
Computational intelligence: Is it real or smoke and mirrors?
收藏 引用
5th conference on Applications and Science of Computational Intelligence
作者: Priddy, KL Battelle Mem Inst Cognit Syst Grp Columbus OH 43201 USA
With the recent release of the movie AI, there is interest in artificial intelligence and in just how far we can take computational intelligence. this paper discusses the advances made in the computational intelligenc... 详细信息
来源: 评论
LUPS - A language for updating logic programs  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Alferes, JJ Pereira, LM Przymusinska, H Przymusinski, TC Univ Nova Lisboa FCT Ctr Inteligencia Artificial P-2829516 Caparica Portugal Calif State Polytech Univ Pomona Pomona CA 91768 USA Univ Calif Riverside Riverside CA 92521 USA
Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the aut... 详细信息
来源: 评论
Decision support for rule, and technique discovery in an uncertain environment
Decision support for rule, and technique discovery in an unc...
收藏 引用
5th International conference on Information Fusion, FUSION 2002
作者: Smith, James F. Naval Research Laboratory Code 5741 Washington DC 20375-5000 United States
For many applications it is desirable to construct expert systems to be used as decision aids. It is often essential that the algorithm make decisions at least at the quality level of the best human experts according ... 详细信息
来源: 评论
Composite distributive lattices as annotation domains for mediators  5th
Composite distributive lattices as annotation domains for me...
收藏 引用
5th International conference on Artificial Intelligence and Symbolic Computation (AISC 2000)
作者: Calmet, J Kullmann, P Taneda, M Univ Karlsruhe IAKS D-76128 Karlsruhe Germany
In a mediator system based on annotated logics it is a suitable requirement to allow annotations from different lattices in one program on a per-predicate basis. these lattices however may be related through common su... 详细信息
来源: 评论
Annotated revision programs  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Marek, V Pivkina, I Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
Revision programming is a formalism to describe and enforce updates of belief sets and databases. that formalism was extended by Fitting who assigned annotations to revision atoms. Annotations provide a way to quantif... 详细信息
来源: 评论
5th International conference on Coordination Models and Languages, COORDINATION 2002
收藏 引用
5th International conference on Coordination Models and Languages, COORDINATION 2002
the proceedings contain 35 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Coordination and system design in a network-centric age;time, knowledge, and coopera...
来源: 评论
Test pattern generator and logic simulator based on object oriented PSPICE net list
Test pattern generator and logic simulator based on object o...
收藏 引用
2002 5th IEEE International conference on Semiconductor Electronics, ICSE 2002
作者: Khari Bin A'ain, Abu Yee, Ooi Chia Department of Electronic Faculty of Electrical Engineering Universiti Teknologi Malaysia 81310 Skudai Johor Malaysia
the adoption of object-oriented programming (OOP) paradigm to design and implement the test pattern generator became popular a few years ago because it provides a feature of data abstraction. Many test pattern generat... 详细信息
来源: 评论
A comparison of data association techniques for target tracking in clutter
A comparison of data association techniques for target track...
收藏 引用
5th International conference on Information Fusion (FUSION 2002)
作者: Gad, A Majdi, F Farooq, M Royal Mil Coll Canada Dept Elect & Comp Engn Kingston ON K7K 7B4 Canada
In tracking a single target in clutter, many algorithms have been developed ranging in complexity from nearest neighbor (NN) and probabilistic data association (PDA) to the optimal Bayesian filter. In multiple-target ... 详细信息
来源: 评论