咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Semantic interface for logic grammers and its application to DRT
Proceedings of the International Workshop on Natural Languag...
收藏 引用
Proceedings of the international workshop on Natural Language Understanding and logic programming 1991年 281-281页
作者: Ishikawa, Akira Akama, Seiki
来源: 评论
Integration of genetic algorithms and fuzzy logic into a neural network simulation environment  3
Integration of genetic algorithms and fuzzy logic into a neu...
收藏 引用
3rd international workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 1995
作者: Wilke, P. Billing, G. Mansfeld, C. Nilson, J. C/O Lehrstuhl für Programmiersprachen Erlangen-Nürnberg Univ. Martensstrasse 3 Erlangen91058 Germany
NEUROGRAPH is a simulation environment for neural networks. It provides an easy to use graphical user interface to design, construct and execute neural networks. The most important design goals were easy extensibility... 详细信息
来源: 评论
DecSerFlow: Towards a truly declarative service flow language
收藏 引用
3rd international workshop on Web Services and Formal Methods
作者: van der Aalst, W. M. P. Pesic, M. Eindhoven Univ Technol Dept Informat Syst NL-5600 MB Eindhoven Netherlands
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL... 详细信息
来源: 评论
High Performance Computing. ISC High Performance 2022 international workshops  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Hartwig Anzt Piotr Luszczek Amanda Bienz Marc Baboulin
This book constitutes the refereed conference proceedings of the workshops held at the 37th international ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.;The 27 full papers were included in... 详细信息
来源: 评论
Automatic tagging of compound verb groups in Czech corpora  3rd
收藏 引用
3rd international workshop on Text, Speech and Dialogue, TSD 2000
作者: Žáčková, Eva Popelínský, Luboš Nepil, Miloslav NLP Laboratory Masaryk University Botanická 68 BrnoCZ-602 00 Czech Republic
In Czech corpora, compound verb groups are usually tagged in a wordby-word manner. As a consequence, some of the morphological tags of particular components of the verb group loose their original meaning. We present a... 详细信息
来源: 评论
SysObjC: C extension for development of object-oriented operating systems
SysObjC: C extension for development of object-oriented oper...
收藏 引用
3rd workshop on programming Languages and Operating Systems, PLOS 2006: Linguistic Support for Modern Operating Systems
作者: Balogh, Ádám Csörnyei, Zoltán Department of Algorithms and Their Applications Eötvös Loránd University Pazmany Peter setany 1/C 1117 Budapest Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pazmany Peter setany 1/C 1117 Budapest Hungary
Object-oriented operating systems prefer to consider every data structure as an object. However, data structures predefined by the hardware's manufacturer do not fit into this scheme. First of all, traditional obj... 详细信息
来源: 评论
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
A logic-based decision support system for the diagnosis of h...
收藏 引用
36th international Conference on logic programming (ICLP)
作者: COSTABILE, R. O. B. E. R. T. A. CATALANO, G. E. L. S. O. M. I. N. A. CUTERI, B. E. R. N. A. R. D. O. MORELLI, C. O. N. C. E. T. T. A. M. A. R. I. A. LEONE, N. I. C. O. L. A. MANNA, M. A. R. C. O. Univ Calabria Dept Math & Comp Sci Calabria Italy DLVSyst Srl Arcavacata Di Rende Italy
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders,... 详细信息
来源: 评论
logic-based implementation of head-driven phrase structure grammar
Proceedings of the International Workshop on Natural Languag...
收藏 引用
Proceedings of the international workshop on Natural Language Understanding and logic programming 1991年 227-227页
作者: Popowich, Fred Vogel, Carl
来源: 评论
A representation of software systems evolution based on the theory of the general system  3rd
收藏 引用
3rd international workshop on Computer Aided Systems Theory, EUROCAST 1993
作者: Parets, José Anaya, Ana Rodríguez, María J. Paderewski, Patricia Dept. de Lenguajes y Sistemas Informáticos Facultad de Ciencias Universidad de Granada Granada18001 Spain
The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the repres... 详细信息
来源: 评论
SAVE/GTS-VLT: Visual logic tool for geo-temporal specification and verification of safety requirements in smart IoT systems  3
SAVE/GTS-VLT: Visual logic tool for geo-temporal specificati...
收藏 引用
3rd international workshop on Practicing Open Enterprise Modeling Within OMiLAB, PrOse 2019
作者: Lee, Sunghyun Lee, Moonkun Chonbuk National University 567 Baekje-daero Deokjin-gu Jeonju-si Jeonbuk54896 Korea Republic of
Visual representation for operational requirements for Smart IoT Systems is desirable in process algebra, since it is more intuitive than textual representation. Further visual representation for safety requirements i... 详细信息
来源: 评论