咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是331-340 订阅
排序:
Recent Trends in Algebraic Development Techniques  1
Recent Trends in Algebraic Development Techniques
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ionuț Țuțu
This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 international workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 20... 详细信息
来源: 评论
0.5V Bit-Line-Voltage Self-Boost-programming in Ferroelectric-NAND Flash Memory
0.5V Bit-Line-Voltage Self-Boost-Programming in Ferroelectri...
收藏 引用
IEEE international Memory workshop (IMW)
作者: Xizhen Zhang Kousuke Miyaji Mitsue Takahashi Ken Takeuchi Shigeki Sakai National Institute for Advanced Industrial Science and Technology Tsukuba Ibaraki Japan Department of Electrical Engineering and Information Systems University of Tokyo Tokyo Japan
Self-boost-programming for ferroelectric-NAND (Fe-NAND) flash memory was investigated by using a miniature memory cell array, which could reduce bit-line voltages for programming. As the best performance, 0.5V bit-lin... 详细信息
来源: 评论
3rd international workshop on Extensions of logic programming, ELP 1992
收藏 引用
20th international Colloquium on Automata, Languages and programming, ICALP 1993
The proceedings contain 56 papers. The special focus in this conference is on Extensions of logic programming. The topics include: A new approach to making programs more reliable;searching among intervals and compact ...
来源: 评论
A Runtime Model Checker for Dynamic Software Based on Aspect-Oriented programming
A Runtime Model Checker for Dynamic Software Based on Aspect...
收藏 引用
international workshop on Intelligent Systems and Applications, ISA
作者: Hongwei Yang School of Software Yunnan University Kunming China
Increasingly, more and more software systems must make dynamic reconfiguration of their architectures at runtime to adapt to the changing conditions. The runtime verification of architecture evolution is necessary to ... 详细信息
来源: 评论
Kara: A system for visualising and visual editing of interpretations for answer-set programs  19th
Kara: A system for visualising and visual editing of interpr...
收藏 引用
19th international Conference on Applications of Declarative programming and knowledge Management, INAP 2011 and 25th workshop on logic programming, WLP 2011
作者: Kloimüllner, Christian Oetsch, Johannes Pührer, Jörg Tompits, Hans Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria Institut für Informationssysteme 184/3 Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means... 详细信息
来源: 评论
An abstract concept of optimal implementation
An abstract concept of optimal implementation
收藏 引用
WRS 2003, 3rd international workshop on Reduction Strategies in Rewriting and programming - Final Proceedings
作者: Khasidashvili, Zurab Glauert, John Logic and Validation Technology Intel IDC Haifa Israel School of Computing Sciences UEA Norwich NR4 7TJ United Kingdom
In previous works, we introduced Stable Deterministic Residual Structures (SDRSs), Abstract Reduction Systems with an axiomatized residual relation which model orthogonal term and graph rewriting systems, and Determin... 详细信息
来源: 评论
Application of Inductive logic programming to Produce Emergent Behavior in an Artificial Society
Application of Inductive Logic Programming to Produce Emerge...
收藏 引用
IIAI international Conference on Advanced Applied Informatics (IIAIAAI)
作者: Keigo Komura Atsuko Mutoh Nobuhiro Inuzuka Dept. Computer Sci. & Eng. Nagoya Institute of Technology
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... 详细信息
来源: 评论
A Process Calculus for Formally Verifying Blockchain Consensus Protocols  22nd
A Process Calculus for Formally Verifying Blockchain Consens...
收藏 引用
22nd international Conference on Applications of Declarative programming and knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on Functional and Constraint logic programming, WFLP 2019
作者: Jeltsch, Wolfgang Well-Typed London United Kingdom IOHK Hong Kong Hong Kong
Blockchains are becoming increasingly relevant in a variety of fields, such as finance, logistics, and real estate. The fundamental task of a blockchain system is to establish data consistency among distributed agents... 详细信息
来源: 评论
Forgetting in managing rules and ontologies
收藏 引用
CEUR workshop Proceedings 2006年 196卷 1-16页
作者: Eiter, Thomas Ianni, Giovambattista Schindlauer, Roman Tompits, Hans Wang, Kewen Institut Für Informationssysteme 184/3 Technische Universität Wien Favoritenstrasse 9-11 A-1040 Vienna Austria School of Information and Communication Technology Griffith University Brisbane QLD 4111 Australia
The language of HEX-programs under the answer-set semantics is designed for interoperating with heterogeneous sources via external atoms and for meta-reasoning via higher-order literals in the context of the Semantic ... 详细信息
来源: 评论
The Application of an Improved PSO Based on the Quantum Genetic Algorithm in the Submersible Path-Planning
The Application of an Improved PSO Based on the Quantum Gene...
收藏 引用
international workshop on Intelligent Systems and Applications, ISA
作者: Fei Yu Yang-lei Liu
An improved particle swarm optimization algorithm (PSO) combined with quantum genetic algorithm is proposed, to solve the problems that the PSO is difficult to converge for benchmark complex problems and it's para... 详细信息
来源: 评论