咨询与建议

限定检索结果

文献类型

  • 182 篇 会议
  • 14 册 图书
  • 11 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 149 篇 工学
    • 138 篇 计算机科学与技术...
    • 63 篇 软件工程
    • 35 篇 电气工程
    • 13 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 化学工程与技术
    • 2 篇 交通运输工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 建筑学
    • 1 篇 安全科学与工程
  • 27 篇 理学
    • 21 篇 数学
    • 5 篇 生物学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
  • 8 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 49 篇 logic programmin...
  • 13 篇 fuzzy logic
  • 12 篇 mathematical log...
  • 11 篇 programming
  • 11 篇 artificial intel...
  • 10 篇 formal logic
  • 8 篇 programming lang...
  • 7 篇 software enginee...
  • 7 篇 logics and meani...
  • 6 篇 programming tech...
  • 6 篇 probabilistic lo...
  • 5 篇 computer science
  • 5 篇 logic gates
  • 5 篇 semantics
  • 4 篇 programming prof...
  • 4 篇 constraint logic...
  • 4 篇 application soft...
  • 4 篇 kripke logical r...
  • 4 篇 mathematical mod...
  • 4 篇 algorithm analys...

机构

  • 3 篇 univ kentucky de...
  • 2 篇 industrial softw...
  • 2 篇 max planck inst ...
  • 2 篇 vienna univ tech...
  • 2 篇 univ cyprus dept...
  • 2 篇 institute of log...
  • 2 篇 ben gurion univ ...
  • 2 篇 imdea software i...
  • 2 篇 international in...
  • 2 篇 aarhus univ dk-8...
  • 2 篇 wakayama univ de...
  • 2 篇 michigan state u...
  • 2 篇 kings coll londo...
  • 1 篇 mpi informat d-6...
  • 1 篇 transmeta corpor...
  • 1 篇 inria
  • 1 篇 ist austria klos...
  • 1 篇 kielce univ tech...
  • 1 篇 vig impex craiov...
  • 1 篇 department of ma...

作者

  • 4 篇 eiter thomas
  • 3 篇 truszczynski mir...
  • 3 篇 dimopoulos y
  • 2 篇 egly uwe
  • 2 篇 sarna-starosta b...
  • 2 篇 stepanova daria
  • 2 篇 woltran stefan
  • 2 篇 dillon laura k.
  • 2 篇 birkedal lars
  • 2 篇 chlipala adam
  • 2 篇 andrei voronkov
  • 2 篇 dreyer derek
  • 2 篇 turon aaron
  • 2 篇 brewka gerhard
  • 2 篇 kyaw myat thu
  • 2 篇 myo thet naung
  • 2 篇 brafman ri
  • 2 篇 stirewalt r. e. ...
  • 2 篇 krishnaswami nee...
  • 1 篇 miller r

语言

  • 202 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"任意字段=18th International Conference on Logic Programming, ICLP 2002"
207 条 记 录,以下是101-110 订阅
排序:
A model-based design-for-verification approach to checking for deadlock in multi-threaded applications
收藏 引用
international JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2007年 第2期17卷 207-230页
作者: Sarna-Starosta, Beata Stirewalt, R. E. K. Dillon, Laura K. Michigan State Univ Dept Comp Sci & Engn Software Engn & Network Syst Labs E Lansing MI 48824 USA
this paper explores an approach to design for verification in systems built atop a middleware framework which separates synchronization concerns from the "core-functional logic" of a program. the framework i... 详细信息
来源: 评论
A framework for employee appraisals based on inductive logic programming and data mining methods
收藏 引用
18th international conference on Application of Natural Language to Information Systems, NLDB 2013
作者: Aqel, Darah Vadera, Sunil School of Computing Science and Engineering University of Salford Newton Building M5 4WT Salford United Kingdom
this paper develops a new semantic framework that supports employee performance appraisals, based on inductive logic programming and data mining techniques. the framework is applied to learn a grammar for writing SMAR... 详细信息
来源: 评论
18th international conference on Formal Aspects of Component Software, FACS 2022
18th International Conference on Formal Aspects of Component...
收藏 引用
18th international conference on Formal Aspects of Component Software, FACS 2022
the proceedings contain 13 papers. the special focus in this conference is on Formal Aspects of Component Software. the topics include: Realisability of Branching Pomsets;liquidity Analysis in Resource-Aware...
来源: 评论
From logic programming semantics to the consistency of syntactical treatments of knowledge and belief
From logic programming semantics to the consistency of synta...
收藏 引用
18th international Joint conference on Artificial Intelligence, IJCAI 2003
作者: Bolander, thomas Informatics and Mathematical Modelling Technical University of Denmark Denmark
this paper concerns formal theories for reasoning about the knowledge and belief of agents. It has seemed attractive to researchers in artificial intelligence to formalise these propositional attitudes as predicates o... 详细信息
来源: 评论
logic-Based Program Synthesis and Transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Michael Hanus
this book constitutes the thoroughly refereed post-conference proceedings of the 18th international Symposium on logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-1... 详细信息
来源: 评论
Online Learning of an Open-Ended Skill Library for Collaborative Tasks  18
Online Learning of an Open-Ended Skill Library for Collabora...
收藏 引用
18th IEEE-RAS international conference on Humanoid Robots (Humanoids)
作者: Koert, Dorothea Trick, Susanne Ewerton, Marco Lutter, Michael Peters, Jan Tech Univ Darmstadt Intelligent Autonomous Syst Darmstadt Germany MPI Intelligent Syst Tubingen Germany
Intelligent robotic assistants can potentially improve the quality of life for elderly people and help them maintain their independence. However, the number of different and personalized tasks render pre-programming o... 详细信息
来源: 评论
ICFP 2013 - Proceedings of the 2013 ACM SIGPLAN international conference on Functional programming
ICFP 2013 - Proceedings of the 2013 ACM SIGPLAN Internationa...
收藏 引用
2013 18th ACM SIGPLAN international conference on Functional programming, ICFP 2013
the proceedings contain 41 papers. the topics discussed include: C-SHORe: a collapsible approach to higher-order verification;exploiting vector instructions with generalized stream fusion;type-theory in color;Mtac: a ...
来源: 评论
Parallel Processing - 18th international conference, Euro-Par 2012, Proceedings
收藏 引用
18th international conference on Parallel Processing, Euro-Par 2012
the proceedings contain 76 papers. the topics discussed include: selfish distributed optimization;tulipse: a visualization framework for user-guided parallelization;pattern-independent detection of manual collectives ...
来源: 评论
Challenges in Relational Learning for Real-Time Systems Applications
收藏 引用
18th international conference on Inductive logic programming
作者: Bartlett, Mark Bate, Iain Kazakov, Dimitar Univ York Dept Comp Sci Artificial Intelligence Grp York YO10 5DD N Yorkshire England Univ York Dept Comp Sci Real Time Syst Grp York N Yorkshire England
the problem of determining the Worse Case Execution Time (WCET) of a piece of code is a fundamental one in the Real Time Systems community. Existing methods either try to gain this information by analysis of the progr... 详细信息
来源: 评论
Answer set optimization
Answer set optimization
收藏 引用
18th international Joint conference on Artificial Intelligence, IJCAI 2003
作者: Brewka, Gerhard Niemela, Ilkka Truszczynski, Miroslaw Comp. Sci. Institute University of Leipzig Leipzig Germany Dept. of Comp. Sci. and Eng. Helsinki University of Technology Helsinki Finland Dept. of Comp. Sci. University of Kentucky Lexington KY 40506-0046 United States
We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. the generating program Pyen produces answer sets repres... 详细信息
来源: 评论