咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是81-90 订阅
Integrating Lab-size Automation Plants into a Web-based E-learning Environment for Teaching C programming in Teams
Integrating Lab-size Automation Plants into a Web-based E-le...
收藏 引用
3rd IFAC workshop on Internet Based Control Education (IBCE 2015)
作者: Vogel-Heuser, Birgit Rehberger, Sebastian Gramss, Denise Mayer, Felix Tech Univ Munich Inst Automat & Informat Syst D-80290 Munich Germany
Teaching computer science and particularly programming in the curriculum of a mechanical engineering bachelor poses a difficult task due to motivational factors of the students. In this paper we describe the measures ... 详细信息
来源: 评论
Learning complex activity preconditions in process mining  3
Learning complex activity preconditions in process mining
收藏 引用
3rd international workshop on New Frontiers in Mining Complex Patterns, NFMCP 2014 held in Conjunction with European Conference on Machine Learning and Principles and Practice of knowledge Discovery in Databases, ECML-PKDD 2014
作者: Ferilli, Stefano De Carolis, Berardina Esposito, Floriana Dipartimento di Informatica Università di Bari Bari Italy Centro Interdipartimentale per la Logica e sue Applicazioni Università di Bari Bari Italy
The availability of automatic support may sometimes determine the successful accomplishment of a process. Such a support can be provided if a model of the intended process is available. Many real-world process models ... 详细信息
来源: 评论
Artificial neural networks in acute coronary syndrome screening  1
收藏 引用
3rd international Work Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2015
作者: Martins, M. Rosário Mendes, Teresa Grañeda, José M. Gusmão, Rodrigo Vicente, Henrique Neves, José Departamento de Química ICAAM Escola de Ciências e Tecnologia Universidade de Évora Évora Portugal Serviço de Patologia Clínica do Hospital do Espírito Santo de Évora EPE Portugal Departamento de Química Centro de Química de Évora Escola de Ciências e Tecnologia Universidade de Évora Évora Portugal CCTC Universidade do Minho Braga Portugal
In Acute Coronary Syndrome (ACS), early use of correct therapy plays a key role in altering the thrombotic process resulting from plaque rupture, thereby minimizing patient sequels. Indeed, current quality improvement... 详细信息
来源: 评论
Teaching Control Engineering Concepts using Open Source tools on a Raspberry Pi board
Teaching Control Engineering Concepts using Open Source tool...
收藏 引用
3rd IFAC workshop on Internet Based Control Education (IBCE 2015)
作者: Hoyo, Angeles Luis Guzman, Jose Carlos Moreno, Jose Berenguel, Manuel Univ Almeria Dept Informat Almeria 04120 Spain
This paper presents the idea about how to combine a set of software and hardware resources available in literature to be used as support to control engineering education. The available tools allow to mix topics relate... 详细信息
来源: 评论
AI approach to formal analysis of BPMN models: Towards a logical model for BPMN diagrams
Advances in Intelligent Systems and Computing
收藏 引用
Advances in Intelligent Systems and Computing 2014年 257卷 69-88页
作者: Ligęza, Antoni Potempa, Tomasz AGH University of Science and Technology al. A. Mickiewicza 30 Krakow30-059 Poland Higher School of Tarnow ul Mickiewicza 8 Tarnow33-100 Poland
Modeling Business Processes has become a challenging issue of today’s knowledge Management. As such it is a core activity of knowledge Engineering. There are two principal approaches to modeling such processes, namel... 详细信息
来源: 评论
Application of inductive logic programming to produce emergent behavior in an artificial society  3
Application of inductive logic programming to produce emerge...
收藏 引用
3rd IIAI international Conference on Advanced Applied Informatics (IIAI-AAI)
作者: Komura, Keigo Mutoh, Atsuko Inuzuka, Nobuhiro Nagoya Inst Technol Grad Sch Engn Dept Comp Sci & Engn Nagoya Aichi Japan
Artificial society is a discipline to study mechanisms of social system and phenomena which the mechanisms make. Emergence is global phenomena occurred by local mechanisms, such as, by collective behavior of autonomou... 详细信息
来源: 评论
Inductive triple graphs: A purely functional approach to represent rdF
Inductive triple graphs: A purely functional approach to rep...
收藏 引用
3rd international workshop on Graph Structures for knowledge representation and Reasoning, GKR 2013
作者: Labra Gayo, Jose Emilio Jeuring, Johan Álvarez Rodríguez, Jose María University of Oviedo Spain Utrecht University Open University of the Netherlands Netherlands South East European Research Center Greece
rdF is one of the cornerstones of the Semantic Web. It can be considered as a knowledge representation common language based on a graph model. In the functional programming community, inductive graphs have been propos... 详细信息
来源: 评论
Preliminary Result on Finding Treatments for Patients with Comorbidity  1
收藏 引用
6th international workshop on knowledge representation for Heath Care (KR4HC)
作者: Zhang, Yuanlin Zhang, Zhizheng Texas Tech Univ Lubbock TX 79409 USA Southeast Univ Nanjing Jiangsu Peoples R China
According to some research, comorbidity is reported in 35 to 80% of all ill people [1]. Multiple guidelines are needed for patients with comorbid diseases. However, it is still a challenging problem to automate the ap... 详细信息
来源: 评论
Proceedings of the ACM SIGPLAN international Conference on Functional programming, ICFP
Proceedings of the ACM SIGPLAN International Conference on F...
收藏 引用
3rd ACM SIGPLAN workshop on Functional High-Performance Computing, FHPC 2014
The proceedings contain 10 papers. The topics discussed include: Ziria: wireless programming for hardware dummies;pension reserve computations on GPUs;parallel computation of multifield topology: experience of Haskell...
来源: 评论
Formalizing and implementing types in msvl
Formalizing and implementing types in msvl
收藏 引用
3rd international workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013
作者: Wang, Xiaobing Duan, Zhenhua Zhao, Liang Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xian 710071 China
This paper investigates techniques for formalizing and implementing types in the temporal logic programming language MSVL, which is an executable subset of Projection Temporal logic. To this end, the data domain of MS... 详细信息
来源: 评论