咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 455 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control
  • 6 篇 formal logic
  • 6 篇 model checking
  • 6 篇 computational mo...
  • 6 篇 fuzzy control
  • 6 篇 computer program...
  • 6 篇 answer set progr...
  • 6 篇 software design

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 449 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
455 条 记 录,以下是101-110 订阅
排序:
Algebra and Coalgebra in Computer Science - 5th International conference, CALCO 2013, Proceedings
Algebra and Coalgebra in Computer Science - 5th Internationa...
收藏 引用
5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013
the proceedings contain 29 papers. the topics discussed include: exploiting algebraic laws to improve mechanized axiomatizations;positive fragments of coalgebraic logics;many-valued relation lifting and moss' coal...
来源: 评论
Improving predictive specificity of description logic learners by fortification  5
Improving predictive specificity of description logic learne...
收藏 引用
5th Asian conference on Machine Learning, ACML 2013
作者: Tran, An C. Dietrich, Jens Guesgen, Hans W. Marsland, Stephen School of Engineering and Advanced Technology Massey University Palmerston North 4442 New Zealand
the predictive accuracy of a learning algorithm can be split into specificity and sensitivity, amongst other decompositions. Sensitivity, also known as completeness, is the ratio of true positives to the total number ... 详细信息
来源: 评论
logic-based Benders decomposition to solve the permutation flowshop scheduling problem with time lags
Logic-based Benders decomposition to solve the permutation f...
收藏 引用
International conference on Modeling, Simulation and Applied Optimization
作者: Imen Hamdi Taicir Loukil Department of Quantitative Methods Faculty of Economic Sciences and Management Sfax TUNISIA
In this paper, we consider the problem of scheduling n jobs in an m-machine permutation flowshop with time lags between consecutive operations of each job. the processing order of jobs is the same for each machine. th... 详细信息
来源: 评论
Automatic Web Services Composition Using Maude Strategies
Automatic Web Services Composition Using Maude Strategies
收藏 引用
International conference on Modeling, Simulation and Applied Optimization
作者: LATRECHE FATEH SEBIH HACENE BELALA FAIZA LIRE Laboratory Constantine 2 University Constantine Algeria
Web services are modular, self-descriptive and loosely coupled applications;they provide a simple programming and deployment model. Besides, they are designed to interact with other services to form larger application... 详细信息
来源: 评论
An optimised submicron Dual-Material gate (DM) GaAs-MESFETs design to improve the analog performance using multi-objective computation
An optimised submicron Dual-Material gate (DM) GaAs-MESFETs ...
收藏 引用
International conference on Modeling, Simulation and Applied Optimization (ICMSAO)
作者: N. Lakhdar F. Djeffal D. Arar M. Meguellati T. Bendib LEA Department of Electronics University of Batna Algeria LEA LEPCM Department of Electronics University of Batna Batna Algeria
In the present paper, new modeling approach is developed to improve the electrical behavior of the submicron Dual-Material-gate (DM) Gallium Arsenide (GaAs)-MESFETs for analog applications. the electrical parameters s... 详细信息
来源: 评论
Language ASP{f} with arithmetic expressions and consistency-restoring rules  5
Language ASP{f} with arithmetic expressions and consistency-...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012
作者: Balduccini, Marcello Gelfond, Michael Kodak Research Laboratories Eastman Kodak Company RochesterNY14650-2102 United States Computer Science Department Texas Tech University LubbockTX79409 United States
In this paper we continue the work on our extension of Answer Set programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequality relations over non-Herbrand fun... 详细信息
来源: 评论
Proceedings of ASPOCP 2012 - Answer Set programming and Other Computi ng Paradigms, 5th International Workshop
Proceedings of ASPOCP 2012 - Answer Set Programming and Othe...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012
the proceedings contain 11 papers. the topics discussed include: translating NP-SPEC into ASP;SPARC – sorted asp with consistency restoring rules;utilizing asp for generating and visualizing argumentation frameworks;...
来源: 评论
Two new definitions of stable models of logic programs with generalized quantifiers  5
Two new definitions of stable models of logic programs with ...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012
作者: Lee, Joohyung Meng, Yunsong School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe United States
We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduct instead of referring to the SM oper... 详细信息
来源: 评论
Extending Fo(ID) with knowledge producing definitions: Preliminary results  5
Extending Fo(ID) with knowledge producing definitions: Preli...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012
作者: Vennekens, Joost Denecker, Marc Campus De Nayer Lessius Mechelen KU Leuven De Nayerlaan 5 Sint-Katelijne-Waver2860 Belgium Dept. Computerscience KU leuven Celestijnenlaan 200A Heverlee3001 Belgium
Previous research into the relation between ASP and classical logic has identified at least two different ways in which the former extends the latter. First, ASP program typically contain sets of rules that can be nat... 详细信息
来源: 评论
Planning and scheduling in hybrid domains using answer set programming  5
Planning and scheduling in hybrid domains using answer set p...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International conference on logic programming, ICLP 2012
作者: Chintabathina, Sandeep University of Arkansas at Pine Bluff Pine Bluff AR71601 United States
In this paper we present an Action Language-Answer Set programming based approach to solving planning and scheduling problems in hybrid domains - domains that exhibit both discrete and continuous behavior. We use acti... 详细信息
来源: 评论