咨询与建议

限定检索结果

文献类型

  • 1,170 篇 会议
  • 58 册 图书
  • 37 篇 期刊文献

馆藏范围

  • 1,264 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 923 篇 工学
    • 871 篇 计算机科学与技术...
    • 469 篇 软件工程
    • 93 篇 控制科学与工程
    • 66 篇 电气工程
    • 41 篇 信息与通信工程
    • 13 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 建筑学
    • 8 篇 石油与天然气工程
    • 7 篇 交通运输工程
    • 7 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 力学(可授工学、理...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 农业工程
  • 240 篇 理学
    • 201 篇 数学
    • 19 篇 系统科学
    • 18 篇 物理学
    • 15 篇 生物学
    • 7 篇 统计学(可授理学、...
  • 97 篇 管理学
    • 62 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 13 篇 教育学
    • 12 篇 教育学
  • 11 篇 医学
    • 8 篇 基础医学(可授医学...
    • 7 篇 临床医学
  • 10 篇 法学
    • 6 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 文学
  • 3 篇 哲学

主题

  • 255 篇 logic programmin...
  • 53 篇 artificial intel...
  • 52 篇 fuzzy logic
  • 42 篇 semantics
  • 40 篇 formal logic
  • 40 篇 mathematical log...
  • 32 篇 computer circuit...
  • 31 篇 logics and meani...
  • 27 篇 software enginee...
  • 22 篇 integer programm...
  • 22 篇 temporal logic
  • 21 篇 programming tech...
  • 20 篇 programming lang...
  • 19 篇 programming
  • 19 篇 logic
  • 19 篇 calculations
  • 19 篇 knowledge repres...
  • 17 篇 computer science
  • 17 篇 answer set progr...
  • 15 篇 cognition

机构

  • 9 篇 univ bath dept c...
  • 9 篇 vienna univ tech...
  • 5 篇 univ london impe...
  • 5 篇 rhein westfal th...
  • 5 篇 univ london impe...
  • 5 篇 univ texas dept ...
  • 4 篇 tu wien austria
  • 4 篇 simon fraser uni...
  • 4 篇 department of co...
  • 4 篇 guangxi key labo...
  • 4 篇 univ liverpool d...
  • 4 篇 univ potsdam ins...
  • 4 篇 carnegie mellon ...
  • 4 篇 univ glamorgan c...
  • 4 篇 univ potsdam ins...
  • 3 篇 univ potsdam ins...
  • 3 篇 theoretical comp...
  • 3 篇 saitama univ dep...
  • 3 篇 microsoft resear...
  • 3 篇 univ potsdam pot...

作者

  • 12 篇 schaub torsten
  • 12 篇 de vos marina
  • 10 篇 brain martin
  • 9 篇 ricca francesco
  • 8 篇 gebser martin
  • 8 篇 russo alessandra
  • 7 篇 gore rajeev
  • 6 篇 leone nicola
  • 6 篇 andrei voronkov
  • 6 篇 xu yang
  • 6 篇 giesl juergen
  • 5 篇 cliffe owen
  • 5 篇 eiter thomas
  • 5 篇 faber wolfgang
  • 5 篇 cabalar pedro
  • 5 篇 gupta gopal
  • 5 篇 tompits hans
  • 5 篇 schaub t
  • 4 篇 mileo alessandra
  • 4 篇 chang liang

语言

  • 1,241 篇 英文
  • 16 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1265 条 记 录,以下是611-620 订阅
A Flexible Approach to automated Development of Cross Toolkits for Embedded Systems
A Flexible Approach to Automated Development of Cross Toolki...
收藏 引用
7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
作者: Pakulin, Nikolay Rubanov, Vladimir Russian Acad Sci Inst Syst Programming Moscow Russia
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them ... 详细信息
来源: 评论
Optimizing the overseas oil transportation paths based on fuzzy multi-objective programming
Optimizing the overseas oil transportation paths based on fu...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Hairui Qin Tijun Fan School of Business East China University of Science and Technology Shanghai China
With China's degree of dependence upon overseas oil increase every year, the supply of oil resources impacts country's economic development and social stability directly. However, overseas oil imports exists s... 详细信息
来源: 评论
A Framework Dealing with Uncertainty for Complex Event Recognition
A Framework Dealing with Uncertainty for Complex Event Recog...
收藏 引用
IEEE conference on Advanced Video and Signal Based Surveillance (AVSS)
作者: Rim Romdhane Francois Bremond Monique thonnat PULSAR team I.N.R.I.A. Sophia Antipolis Sophia-Antipolis France
this paper presents a constraint-based approach for video event recognition with probabilistic reasoning for handling uncertainty. the main advantage of constraint-based approaches is the possibility for human expert ... 详细信息
来源: 评论
Utilizing CK metrics suite to UML models: A case study of Microarray MIDAS software
Utilizing CK metrics suite to UML models: A case study of Mi...
收藏 引用
the international conference on Informatics and Systems (INFOS)
作者: Taysir Hassan A. Soliman Adel El-Swesy Saddam Hussein Ahmed Faculty of Computer and Information Systems Assiut University Egypt
Software metrics provide essential means for software practitioners to assess its quality. However, to assess software quality, it is important to assess its UML models because of UML wide and recent usage as an objec... 详细信息
来源: 评论
Knowledge-based service system for supply chain management
Knowledge-based service system for supply chain management
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Paul Moynihan Wei Dai School of Management and Information Systems Victoria University Melbourne VIC Australia
A perennial problem with running modern e-business systems is to manage supply chains cost-effectively. To get the maximum efficiency a higher degree of automation is required. this research intends a preliminary step... 详细信息
来源: 评论
Formal modeling and verification of services managements for pervasive computing environment
Formal modeling and verification of services managements for...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Hai Wan Zoe Drey Zhiyang You Liu Liu Department of Computer Science and Technology Tsinghua University China Thales LaBRI France School of Software Tsinghua University China
Various forms of pervasive computing environments are being deployed in an increasing number of areas including hospitals, homes and military settings. Entities in this environment provide rich functionalities (i.e. s... 详细信息
来源: 评论
Floating-Gate MOSFET parallel analog network for assignment problems
Floating-Gate MOSFET parallel analog network for assignment ...
收藏 引用
international conference on Electrical Engineering, Computing Science and Automatic Control (CCE)
作者: J. Antonio Moreno-Cadenas Lizeth González-Carabarín Felipe Gómez-Castañeda Department of Electrical Engineering CINVESTAV-IPN Mexico
Floating-Gate-MOS Transistor (FGMOSFET) has several applications on analog circuit design; in some cases FGMOSFET simplifies high-complexity circuits because of its inherent properties. On the other side, working with... 详细信息
来源: 评论
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
收藏 引用
international JOURNAL OF COMPUTER MAthEMATICS 2009年 第10-11期86卷 1852-1866页
作者: Burrieza, A. Mora, A. Ojeda-Aciego, M. Orlowska, E. Univ Malaga Dept Matemat Aplicada E-29071 Malaga Spain Univ Malaga Dept Filosofia E-29071 Malaga Spain Inst Natl Telecommun Warsaw Poland
logic programming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associ... 详细信息
来源: 评论
ANTON: Composing logic and logic Composing
收藏 引用
10th international conference on logic programming and Nonmonotonic reasoning
作者: Boenn, Georg Brain, Martin De Vos, Marina Ffitch, John Univ Glamorgan Cardiff Sch Creat & Cultural Ind Pontypridd CF37 1DL M Glam Wales Univ Bath Dept Comp Sci Bath Avon BA2 7AY England
In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, p... 详细信息
来源: 评论
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
An implementation of a dual tableaux system for order-of-mag...
收藏 引用
8th international conference of Computational and Mathematical Methods in Science and Engineering (CMMSE 2008)
作者: Burrieza, A. Mora, A. Ojeda-Aciego, M. Orlowska, E. Univ Malaga Dept Matemat Aplicada E-29071 Malaga Spain Univ Malaga Dept Filosofia E-29071 Malaga Spain Inst Natl Telecommun Warsaw Poland
logic programming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associ... 详细信息
来源: 评论