咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
A Normal Form for Euler Diagrams with Shading
A Normal Form for Euler Diagrams with Shading
收藏 引用
5th International conference on Diagrammatic Representation and Inference
作者: Fish, Andrew John, Chris Taylor, John Univ Brighton Visual Modelling Grp Brighton E Sussex England
In logic, there are various normal forms for formulae;for example, disjunctive and conjunctive normal form for formulae of propositional logic or prenex normal form for formulae of predicate logic. there are algorithm... 详细信息
来源: 评论
Basic operators for solving constraints via collaboration of solvers  5th
收藏 引用
5th International conference on Artificial Intelligence and Symbolic Computation (AISC 2000)
作者: Castro, C Monfroy, E Univ Tecn Federico Santa Maria Dept Informat Valparaiso Chile Ctr Wiskunde & Informat NL-1090 GB Amsterdam Netherlands
In this paper, we propose a strategy language for designing schemes of constraint solver collaborations: a set of strategy operators enables one to design several kinds of collaborations. We exemplify the use of this ... 详细信息
来源: 评论
Proceedings - 2015 5th International conference on e-Learning, ECONF 2015
Proceedings - 2015 5th International Conference on e-Learnin...
收藏 引用
5th International conference on e-Learning, ECONF 2015
the proceedings contain 74 papers. the topics discussed include: ElectroLab: electronic laboratory system;evaluation of a numerical model using COMSOL multi-physics package;interactive design modules for logic design ...
来源: 评论
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions  5
Solving Constrained Horn Clauses Using Dependence-Disjoint E...
收藏 引用
5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) held as a Satellite Event of the Federated logic conference (FLoC)
作者: Zhou, Qi Heath, David Harris, William
Recursion-free Constrained Horn Clauses (CHCs) are logic-programming problems that can model safety properties of programs with bounded iteration and recursion. In addition, many CHC solvers reduce recursive systems t... 详细信息
来源: 评论
Tucety - still Flying Some Reti on Abnormal Birds, Applicable Rules and a Default Prover  5
Tucety - still Flying Some Reti on Abnormal Birds, Applicabl...
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Bewka, Gerhard Gesellschaft Fiir Mathematik und Datenverarbeitung Forschungsgruppe Expertensysteme Postfach 12 40 Sankt AugustinD5205 Germany
this paper describes FAULTY, a default prover for a decidable subset of predicata calculus. FAULTY is based on McDermott's and Doyle's Nonmonotonic logic I und avoids the well-known weakness of this logic by a... 详细信息
来源: 评论
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 ...
来源: 评论
A implementation of object oriented database security
A implementation of object oriented database security
收藏 引用
5th ACIS International conference on Software Engineering Reseach, Management and Applications held in Conjuction with 1st International Workshop on Advanced Internet Technology and Applications
作者: Ambhore, Premchand B. Meshram, B. B. Waghmare, V. B. Dr PD Polytech Comp Engn Amravati MS India
this paper is to address high-level authorization specifications and its efficient implementation in object oriented database scenario. Premchand Ambhore is with higher and technical education, maharashtra state, indi... 详细信息
来源: 评论
logic interface system on navigational database systems  5th
Logic interface system on navigational database systems
收藏 引用
5th conference on logic programming, 1986
作者: Takizawa, Makoto Itoh, Hideaki Moriya, Kunihiko Department of Systems and Management Engineering Tokyo Denki University Japan Japan Information Processing Development Center Japan Hitachi Software Engineering Japan
this paper presents the design and implementation of logic language interface on conventional network database systems which provide network data structure and navigational data manipulation language. this interface p... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Development of the logic programming approach to the intelligent monitoring of anomalous human behaviour  5
Development of the logic programming approach to the intelli...
收藏 引用
5th International Workshop on Image Mining. theory and Applications, IMTA-5 2015 - In conjunction with the 10th Internatioanal Joint conference on Computer Vision, Imaging and Computer Graphics theory and Applications, VISIGRAPP 2015
作者: Morozov, Alexei A. Polupanov, Alexander F. Kotel'nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya 11 Moscow Russia Moscow State University of Psychology and Education Sretenka 29 Moscow Russia
A research software platform is developed that is based on the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for experimenting with the intelligent visual surv... 详细信息
来源: 评论