咨询与建议

限定检索结果

文献类型

  • 2,454 篇 会议
  • 99 册 图书
  • 86 篇 期刊文献

馆藏范围

  • 2,639 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,652 篇 工学
    • 1,295 篇 计算机科学与技术...
    • 658 篇 软件工程
    • 368 篇 电气工程
    • 252 篇 控制科学与工程
    • 110 篇 信息与通信工程
    • 106 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 21 篇 安全科学与工程
    • 20 篇 土木工程
  • 405 篇 理学
    • 302 篇 数学
    • 60 篇 系统科学
    • 54 篇 物理学
    • 47 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 238 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 26 篇 法学
    • 18 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 software enginee...
  • 59 篇 probabilistic lo...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 48 篇 software
  • 46 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 42 篇 computer program...
  • 41 篇 logic

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 5 篇 raidl günther r.
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...

语言

  • 2,575 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2639 条 记 录,以下是111-120 订阅
排序:
Dynamic and static symmetry breaking in answer set programming
Dynamic and static symmetry breaking in answer set programmi...
收藏 引用
19th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2013
作者: Benhamou, Belaïd Domaine univ. S. Jerome Ave. Escadrille Normandie Niemen 13397 Marseille Cedex 20 France Université d'Artois SP 18 Rue Jean Souvraz F 62307 Lens Cedex France
Many research works had been done in order to define a semantics for logic programs. the well know is the stable model semantics which selects for each program one of its canonical models. the stable models of a logic... 详细信息
来源: 评论
A real implementation for constructive negation
收藏 引用
19th international conference on logic programming
作者: Muñoz, S Moreno-Navarro, JJ Univ Politecn Madrid Fac Informat LSIIS Madrid 28660 Spain
logic programming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases,... 详细信息
来源: 评论
An automatic and intelligent approach for supporting teaching and learning of software engineering considering design smells in object-oriented programming  19
An automatic and intelligent approach for supporting teachin...
收藏 引用
19th IEEE international conference on Advanced Learning Technologies (ICALT)
作者: Silva, Vinicius J. S. Dorca, Fabian A. Fed Univ Uberlandia UFU Fac Comp FACOM Uberlandia MG Brazil
Design smells are software structures that may indicate a code or design problem that makes software difficult to evolve and maintain [3]. Know those errors is the first step to improve some development skills, such a... 详细信息
来源: 评论
Multi-Objective Production Planning Considering Partner Selection for Networked Manufacturing
Multi-Objective Production Planning Considering Partner Sele...
收藏 引用
19th international conference on Industrial Engineering and Engineering Management
作者: Chen, Zhi-xiang Li, Li Sun Yat Sen Univ Dept Management Sci Guangzhou Guangdong Peoples R China Sun Yat Sen Univ Int Business Zhuhai Peoples R China
this paper studies an integrated optimization model of production planning with partner selection in a networked manufacturing system. An integrated multi-objective programming model is proposed and a numerical exampl... 详细信息
来源: 评论
SYNthESIS OF thE SR programming LANGUAGE FOR COMPLEX FPGAS
SYNTHESIS OF THE SR PROGRAMMING LANGUAGE FOR COMPLEX FPGAS
收藏 引用
19th international conference on Field Programmable logic and Applications
作者: Gasson, Nick Audsley, Neil Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
Most existing approaches to targeting high-level software to FPGAs are based on extensions to C and do not map easily to the features and characteristics of modern FPGAs. these include massive parallelism and a variet... 详细信息
来源: 评论
Forward versus backward verification of logic programs
收藏 引用
19th international conference on logic programming
作者: King, A Lu, LJ Univ Kent Comp Lab Canterbury CT2 7NF Kent England Oakland Univ Dept Comp Sci Rochester MI 48309 USA
One recent development in logic programming has been the application of abstract interpretation to verify the partial correctness of a logic program with respect to a given set of assertions. One approach to verificat... 详细信息
来源: 评论
Introduction to the special issue of the 19th international conference on Runtime Verification
收藏 引用
international JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 2021年 第4期23卷 545-546页
作者: Finkbeiner, Bernd Mariani, Leonardo CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany Univ Milano Bicocca Viale Sarca 336 I-2016 Milan Italy
来源: 评论
Building the Semantic Web Tower from RDF Straw
Building the Semantic Web Tower from RDF Straw
收藏 引用
19th international Joint conference on Artificial Intelligence (IJCAI 05)
作者: Patel-Schneider, Peter F. Bell Labs Res Murray Hill NJ 07974 USA
A same-syntax extension of RDF to first-order logic results in a collapse of the model theory due to logical paradoxes resulting from diagonalization. RDF is thus the wrong material for building the Semantic Web tower.
来源: 评论
Explainable and Ethical AI: A Perspective on Argumentation and logic programming  1
收藏 引用
19th international conference of the Italian-Association-for-Artificial-Intelligence (AIxIA)
作者: Calegari, Roberta Omicini, Andrea Sartor, Giovanni Alma Mater Studiorum Univ Bologna Alma AI Alma Mater Res Inst Human Ctr Artificial Bologna Italy Alma Mater Studiorum Univ Bologna DISI Cesena Italy
In this paper we sketch a vision of explainability of intelligent systems as a logic approach suitable to be injected into and exploited by the system actors once integrated with sub-symbolic techniques. In particular... 详细信息
来源: 评论
Synthesis of Multivalued logical Networks for FPGA Implementations  19
Synthesis of Multivalued Logical Networks for FPGA Implement...
收藏 引用
19th Euromicro conference on Digital System Design (DSD)
作者: Deniziak, Stanislaw Wisniewski, Mariusz Wieczorek, Karol Kielce Univ Technol Dept Comp Sci Kielce Poland
this paper presents the method of FPGA-oriented synthesis of multiple-valued logical networks. Multiple-valued network consists of modules connected by multiple-valued signals. During synthesis each module is decompos... 详细信息
来源: 评论