咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献

馆藏范围

  • 355 篇 电子文献
  • 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 篇 ontology
  • 8 篇 logic gates
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 temporal logic
  • 5 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits
  • 4 篇 computer program...
  • 4 篇 nonvolatile memo...
  • 3 篇 computer science
  • 3 篇 fuzzy 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 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.
  • 2 篇 eiter t

语言

  • 347 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
355 条 记 录,以下是61-70 订阅
排序:
programming in Java with restricted intensional sets  3
Programming in Java with restricted intensional sets
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
作者: Cristia, Maximiliano Rossi, Gianfranco Universidad Nacional de Rosario CIFASIS Rosario Argentina Universita Degli Studi di Parma Parma Italy
Intensional sets are sets given by a property rather than by enumerating their elements, similar to set comprehensions available in specification languages such as B and MiniZinc. In a previous paper [3] we have prese... 详细信息
来源: 评论
CEUR workshop Proceedings
CEUR Workshop Proceedings
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
The proceedings contain 6 papers. The topics discussed include: solving set constraints in B and event-B: foundations and applications;encoding sets as real numbers;programming in Java with restricted intensional sets...
来源: 评论
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata  3
An Experiment in Ping-Pong Protocol Verification by Nondeter...
收藏 引用
3rd workshop on Models for Formal Analysis of Real Systems (MARS) / 6th international workshop on Verification and Program Transformation (VPT)
作者: Glueck, Robert Univ Copenhagen Dept Comp Sci DIKU Copenhagen Denmark
An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic pushdown automata (2NPDA). A nondetermini... 详细信息
来源: 评论
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL  2018
Q#: Enabling Scalable Quantum Computing and Development with...
收藏 引用
3rd ACM international workshop on Real World Domain Specific Languages (RWDSL)
作者: Svore, Krysta Geller, Alan Troyer, Matthias Azariah, John Granade, Christopher Heim, Bettina Kliuchnikov, Vadym Mykhailova, Mariia Paz, Andres Roetteler, Martin Microsoft Res Quantum Architectures & Computat Grp Redmond WA 98052 USA
Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational... 详细信息
来源: 评论
Towards coq formalisation of {log} set constraints resolution  3
Towards coq formalisation of {log} set constraints resolutio...
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
作者: Dubois, Catherine Weppe, Sulyvan ENSIIE Lab. Samovar CNRS Évry France ENSIIE Évry France
The language {log} is a Constraint logic programming language that natively supports finite sets and constraints such as (non) equality and (non) membership. The set constraints resolution process is mathematically fo... 详细信息
来源: 评论
Toward computing conflict-based diagnoses in probabilistic logic programming  3
Toward computing conflict-based diagnoses in probabilistic l...
收藏 引用
3rd international workshop on Probabilistic logic programming, PLP 2016
作者: Hommersom, Arjen Bueno, Marcos L.P. Open University of the Netherlands Netherlands Radboud University Nijmegen Netherlands
Consistency-based diagnosis is a well-known theory of diagnosis using main knowledge of the normal structure and behaviour of a system. Central in this theory is the notion of a conflict, which describes the relations... 详细信息
来源: 评论
Age Prediction through Pelvis X-Ray Images A Case Based approach to Problem Solving  3
Age Prediction through Pelvis X-Ray Images A Case Based appr...
收藏 引用
3rd international Conference on Mathematics and Computers in Sciences and in Industry (MCSI)
作者: Martins, Diana Vicente, Henrique Alves, Victor Neves, Jose Univ Minho Dept Informat Braga Portugal Univ Evora Escola Ciencias & Tecnol Dept Quim Evora Portugal Univ Minho Ctr Algoritmi Braga Portugal
It is well known that the dimensions of the pelvic bones depend on the gender and vary with the age of the individual. Indeed, and as a matter of fact, this work will focus on the development of an intelligent decisio... 详细信息
来源: 评论
CEUR workshop Proceedings
CEUR Workshop Proceedings
收藏 引用
3rd international workshop on Probabilistic logic programming, PLP 2016
The proceedings contain 5 papers. The topics discussed include: the structure and complexity of credal semantics;probabilistic constraint logic theories;toward computing conflict-based diagnoses in probabilistic logic...
来源: 评论
Object support in an array-based GPGPU extension for Ruby  3
Object support in an array-based GPGPU extension for Ruby
收藏 引用
3rd ACM SIGPLAN international workshop on Libraries, Languages, and Compilers for Array programming, ARRAY 2016
作者: Springer, Matthias Masuhara, Hidehiko Department of Mathematical and Computing Sciences Tokyo Institute of Technology Japan
This paper presents implementation and optimization techniques to support objects in Ikra, an array-based parallel extension to Ruby with dynamic compilation. The high-level goal of Ikra is to allow developers to expl... 详细信息
来源: 评论
ACM international Conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
3rd workshop on Model-Driven Robot Software Engineering, MORSE 2016
the proceedings contain 8 papers. The topics discussed include: appropriate design guided by simulation: an hovercraft application;intelligent agent-based stimulation for testing robotic software in human-robot intera...
来源: 评论