咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
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... 详细信息
来源: 评论
Discriminative Structure Learning of Markov logic Networks
收藏 引用
18th international conference on Inductive logic programming
作者: Biba, Marenglen Ferilli, Stefano Esposito, Floriana Univ Bari Dept Comp Sci I-70125 Bari Italy
Markov logic Networks (MLNs) combine Markov networks and first-order logic by attaching weights to first-order formulas and viewing these as templates for features of Markov networks. Learning the structure of MLNs is... 详细信息
来源: 评论
L-Modified ILP Evaluation Functions for Positive-Only Biological Grammar Learning
收藏 引用
18th international conference on Inductive logic programming
作者: Mamer, thierry Bryant, Christopher H. McCall, John Robert Gordon Univ Sch Comp St Andrews St Aberdeen AB25 1HG Scotland Univ Salford Sch Comp Sci & Engn Salford M5 4WT Lancs England
We identify a shortcoming of a standard positive-only clause evaluation function within the context of learning biological grammars. To overcome this shortcoming we propose L-modification, a modification to this evalu... 详细信息
来源: 评论
Pstable theories and Preferences
Pstable Theories and Preferences
收藏 引用
international conference on Electronics, Communications and Computers (CONIELECOMP)
作者: Mauricio Osorio Claudia Zepeda Universidad de las Américas-Puebla Mexico Benemérita Universidad Autónoma de Puebia Mexico
In this paper we introduce preference rules which allow us to specify preferences as an ordering among the possible solutions of a problem. Our approach allow us to express preferences for general theories and we defi... 详细信息
来源: 评论
A model-based design-for-verification approach to checking for deadlock in multi-threaded applications
A model-based design-for-verification approach to checking f...
收藏 引用
18th international conference on Software Engineering and Knowledge Engineering
作者: 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 characterization of medial as rewriting rule
收藏 引用
18th international conference on Rewriting Techniques and Applications
作者: Strassburger, Lutz INRIA Futurs Projet Parsifal LIX Ecole Polytech F-91128 Palaiseau France
Medial is an inference rule scheme that appears in various deductive systems based on deep inference. In this paper we investigate the properties of medial as rewriting rule independently from logic. We present a grap... 详细信息
来源: 评论
KOOL: An application of rewriting logic to language prototyping and analysis
收藏 引用
18th international conference on Rewriting Techniques and Applications
作者: Hills, Mark Rosu, Grigore Univ Illinois Dept Comp Sci 201 N Goodwin Ave Urbana IL 61801 USA
this paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. this is don... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Implementation and Application of Functional Languages: 18th international Symposium, IFL 2006 Revised Selected Papers
收藏 引用
18th international Symposium on Implementation and Application of Functional Languages, IFL 2006
the proceedings contain 15 papers. the topics discussed include: on optimising shape-generic array programs using symbolic structural information;index vector elimination-making index vectors affordable;functional-bas... 详细信息
来源: 评论
Rule-based modelling of cellular signalling
Rule-based modelling of cellular signalling
收藏 引用
18th international conference on Concurrency theory
作者: Danos, Vincent Feret, Jerome Fontana, Walter Harmer, Russell Krivine, Jean Plectix Biosystems Ecole Normale Supérieure Harvard Medical School CNRS Université Denis Diderot École Polytechnique
Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualitative forms of reasoning. Yet, this same combin... 详细信息
来源: 评论