咨询与建议

限定检索结果

文献类型

  • 187 篇 会议
  • 7 册 图书
  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 147 篇 计算机科学与技术...
    • 95 篇 软件工程
    • 12 篇 电气工程
    • 8 篇 控制科学与工程
    • 6 篇 信息与通信工程
    • 6 篇 化学工程与技术
    • 3 篇 机械工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 土木工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 22 篇 理学
    • 17 篇 数学
    • 3 篇 物理学
    • 3 篇 生物学
    • 3 篇 系统科学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
    • 2 篇 工商管理
  • 2 篇 文学
    • 2 篇 外国语言文学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...
  • 1 篇 艺术学
    • 1 篇 艺术学理论
    • 1 篇 音乐与舞蹈学

主题

  • 41 篇 logic programmin...
  • 22 篇 functional progr...
  • 13 篇 semantics
  • 7 篇 temporal logic
  • 6 篇 computer science
  • 5 篇 automatic contro...
  • 4 篇 computer circuit...
  • 4 篇 model checking
  • 4 篇 software enginee...
  • 4 篇 mathematical log...
  • 4 篇 hardware
  • 4 篇 programming lang...
  • 4 篇 specification la...
  • 4 篇 dynamic programm...
  • 4 篇 computer program...
  • 3 篇 fuzzy logic
  • 3 篇 formal logic
  • 3 篇 logic gates
  • 3 篇 computational mo...
  • 3 篇 real-time system...

机构

  • 2 篇 cinvestav gdl de...
  • 2 篇 departamento de ...
  • 2 篇 univ complutense...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ limerick le...
  • 2 篇 nara inst sci & ...
  • 2 篇 univ tokyo
  • 2 篇 cau kiel inst in...
  • 2 篇 tu dortmund univ...
  • 2 篇 univ london impe...
  • 1 篇 univ augsburg de...
  • 1 篇 telecom bretagne...
  • 1 篇 univ innsbruck i...
  • 1 篇 department of co...
  • 1 篇 univ pisa dipart...
  • 1 篇 tu dortmund univ...
  • 1 篇 univ pisa dept c...
  • 1 篇 department of ma...
  • 1 篇 katholieke univ ...
  • 1 篇 univ southern ca...

作者

  • 4 篇 steffen bernhard
  • 3 篇 kobayashi naoki
  • 2 篇 jain v
  • 2 篇 nishitani h
  • 2 篇 stuckey peter j.
  • 2 篇 vidal g
  • 2 篇 albert e
  • 2 篇 grossman ie
  • 2 篇 imafuku k
  • 2 篇 lano k
  • 2 篇 vidal german
  • 2 篇 chavoya a
  • 2 篇 neubauer johanne...
  • 2 篇 sanchez a
  • 2 篇 harjunkoski i
  • 2 篇 ramakrishnan i.v...
  • 2 篇 naujokat stefan
  • 2 篇 hanus m
  • 2 篇 margaria tiziana
  • 2 篇 antoniou grigori...

语言

  • 194 篇 英文
  • 4 篇 其他
检索条件"任意字段=7th International Symposium on Functional and Logic Programming"
198 条 记 录,以下是61-70 订阅
Mutual Exclusion by Interpolation  12
Mutual Exclusion by Interpolation
收藏 引用
11th international symposium on functional and logic programming (FLOPS)
作者: Kriener, Jael King, Andy Univ Kent Canterbury CT2 7NF Kent England
the question of what constraints must hold for a predicate to behave as a ( partial) function, is key to understanding the behaviour of a logic program. It has been shown how this question can be answered by combining... 详细信息
来源: 评论
Foundations of Information and Knowledge Systems - 7th international symposium, FoIKS 2012, Proceedings
Foundations of Information and Knowledge Systems - 7th Inter...
收藏 引用
7th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2012
the proceedings contain 22 papers. the topics discussed include: uniform evaluation of nonmonotonic dl-programs;foundations of XML based on logic and automata: a snapshot;inconsistency-tolerance in knowledge-based sys...
来源: 评论
Uniform evaluation of nonmonotonic DL-programs
Uniform evaluation of nonmonotonic DL-programs
收藏 引用
7th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2012
作者: Eiter, thomas Krennwallner, thomas Schneider, Patrik Xiao, Guohui Institut für Informationssysteme Technische Universität Wien Favoritenstraße 9-11 A-1040 Vienna Austria
Nonmonotonic description logic programs are a major formalism for a loose coupling of rules and ontologies, formalized in logic programming and description logics, respectively. While this approach is attractive for c... 详细信息
来源: 评论
functional dependencies on extended relations defined by regular languages
Functional dependencies on extended relations defined by reg...
收藏 引用
7th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2012
作者: Szabó, Gyula I. Benczúr, András Eötvös Loránd University Faculty of Informatics Pazmany Peter setany 1/C 1118 Budapest Hungary
In this paper, we first rephrase the notion of extended tuple as a sentence from a regular language generated by a grammar G where the nonterminal symbols of the grammar are the attribute names of the tuple. Finite se... 详细信息
来源: 评论
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System
收藏 引用
20th international symposium on logic-Based Program Synthesis and Transformatoin, LOPSTR 2010
作者: Heras, Jonathan Pascual, Vico Rubio, Julio Univ La Rioja Dept Matemat & Comp E-26004 Logrono La Rioja Spain
Kenzo is a Common Lisp system devoted to Algebraic Topology. Although Kenzo uses higher-order functional programming intensively, we show in this paper how the theorem prover ACL2 can be used to prove the correctness ... 详细信息
来源: 评论
Probabilistic and logic-Based Modelling of Harmony
Probabilistic and Logic-Based Modelling of Harmony
收藏 引用
7th international symposium on Computer Music Modeling and Retrieval (CMMR 2010)
作者: Dixon, Simon Mauch, Matthias Anglade, Amelie Queen Mary Univ London Ctr Digital Mus London E1 4NS England
Many computational models of music fail to capture essential aspects of the high-level musical structure and context, and this limits their usefulness, particularly for musically informed users. We describe two recent... 详细信息
来源: 评论
ECOTRUCK: An Agent System for Paper Recycling  1
收藏 引用
12th INNS EANN-SIG international Conference (EANN 2011)/7th IFIP 12 5 international Conference (AIAI 2011)
作者: Bezirgiannis, Nikolaos Sakellariou, Ilias Univ Utrecht Dept Inf & Comp Sci POB 80-089 NL-3508 TB Utrecht Netherlands Univ Macedonia Dept Appl Informat Thessaloniki 54124 Greece
Recycling has been gaining ground, thanks to the recent progress made in the related technology. However, a limiting factor to its wide adoption, is the lack of modern tools for managing the collection of recyclable r... 详细信息
来源: 评论
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in logic Programs  1
收藏 引用
13th international symposium on Practical Aspects of Declarative Languages
作者: Mera, Edison Trigo, Teresa Lopez-Garcia, Pedro Hermenegildo, Manuel Univ Complutense Madrid E-28040 Madrid Spain IMDEA Soft Inst Madrid Spain Spanish Res Council CSIC Madrid Spain Tech Univ Madrid UPM Sch Comp Sci Madrid Spain
Although several profiling techniques for identifying performance bottlenecks in logic programs have been developed, they are generally not automatic and in most cases they do not provide enough information for identi... 详细信息
来源: 评论
A Pearl on SAT Solving in Prolog  10
A Pearl on SAT Solving in Prolog
收藏 引用
10th international symposium on functional and logic programming
作者: Howe, Jacob M. King, Andy City Univ London Dept Comp London EC1V 0HB England Univ Kent Sch Comp Canterbury CT2 7NF Kent England
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant u... 详细信息
来源: 评论
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration  10
Automatically generating adaptive logic to balance non-funct...
收藏 引用
7th IEEE/ACM international Conference on Autonomic Computing and Communications, ICAC-2010 and Co-located Workshops
作者: Ramirez, Andres J. Cheng, Betty H.C. McKinley, Philip K. Beckmann, Benjamin E. Michigan State University Department of Computer Science and Engineering 3115 Engineering Building East Lansing MI 48823 United States
Increasingly, high-assurance software systems apply self-reconfiguration in order to satisfy changing functional and non-functional requirements. Most self-reconfiguration approaches identify a target system configura... 详细信息
来源: 评论