咨询与建议

限定检索结果

文献类型

  • 358 篇 会议
  • 20 册 图书
  • 7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 257 篇 工学
    • 238 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 24 篇 控制科学与工程
    • 15 篇 电气工程
    • 11 篇 信息与通信工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 石油与天然气工程
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 生物医学工程(可授...
  • 53 篇 理学
    • 49 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 统计学(可授理学、...
  • 22 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 6 篇 工商管理
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 4 篇 教育学
    • 4 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 4 篇 作物学
  • 2 篇 文学
    • 1 篇 中国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 75 篇 logic programmin...
  • 19 篇 fuzzy logic
  • 18 篇 programming
  • 18 篇 logic gates
  • 16 篇 artificial intel...
  • 15 篇 mathematical log...
  • 14 篇 inductive logic ...
  • 12 篇 logics and meani...
  • 11 篇 software enginee...
  • 11 篇 logic
  • 11 篇 programming tech...
  • 9 篇 computer science
  • 8 篇 integer programm...
  • 8 篇 semantics
  • 7 篇 computer circuit...
  • 7 篇 linear programmi...
  • 7 篇 answer set progr...
  • 7 篇 dynamic programm...
  • 6 篇 languages
  • 6 篇 computer archite...

机构

  • 3 篇 univ potsdam pot...
  • 3 篇 univ calabria di...
  • 2 篇 brandeis univ wa...
  • 2 篇 simon fraser uni...
  • 2 篇 katholieke univ ...
  • 2 篇 univ copenhagen ...
  • 2 篇 katholieke univ ...
  • 2 篇 ku leuven depart...
  • 2 篇 department infor...
  • 2 篇 vienna technol u...
  • 2 篇 univ castilla la...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ aarhus daim...
  • 2 篇 at&t bell lab mu...
  • 2 篇 natl univ irelan...
  • 2 篇 natl inst inform...
  • 2 篇 univ castilla la...
  • 2 篇 univ nova lisboa...
  • 2 篇 australian natl ...
  • 2 篇 department of el...

作者

  • 5 篇 gebser martin
  • 5 篇 schaub torsten
  • 4 篇 inoue katsumi
  • 3 篇 nickles matthias
  • 3 篇 fink michael
  • 3 篇 schuller peter
  • 2 篇 mileo alessandra
  • 2 篇 mairson harry g.
  • 2 篇 goncalves ricard...
  • 2 篇 kung-kiu lau
  • 2 篇 soria jose
  • 2 篇 de raedt luc
  • 2 篇 boustia narhimen...
  • 2 篇 j.r. romero
  • 2 篇 a. vallecillo
  • 2 篇 woltran stefan
  • 2 篇 lifschitz vladim...
  • 2 篇 ferilli stefano
  • 2 篇 sighireanu mihae...
  • 2 篇 p. flener

语言

  • 380 篇 英文
  • 3 篇 其他
  • 1 篇 西班牙文
  • 1 篇 中文
检索条件"任意字段=12th International Conference on Inductive Logic Programming"
385 条 记 录,以下是331-340 订阅
排序:
Revision programming = logic programming + integrity constraints  12th
收藏 引用
12th international Workshop on Computer Science logic, CSL 1998 held as the Annual conference of the European Association for Computer Science logic, EACSL 1998
作者: Marek, Victor Pivkina, Inna Truszczyński, Miroslaw Department of Computer Science University of Kentucky LexingtonKY40506-0046 United States
We study revision programming, a logic-based mechanism for enforcing constraints on databases. the central concept of this approach is that of a justified revision based on a revision program. We show that for any pro... 详细信息
来源: 评论
theorems of péter and parsons in computer programming
收藏 引用
12th international Workshop on Computer Science logic, CSL 1998 held as the Annual conference of the European Association for Computer Science logic, EACSL 1998
作者: Komara, Ján Voda, Paul J. Institute of Informatics Comenius University Bratislava Mlynská dolina Bratislava Slovakia
来源: 评论
Using extended logic programming for alarm-correlation in cellular phone networks  12th
收藏 引用
12th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1999
作者: Fröhlich, Peter Nejdl, Wolfgang Schroeder, Michael Damásio, Carlos Pereira, Luis Moniz Universität Hannover Germany City University London United Kingdom Centria Universidade Nova de Lisboa Portugal
In this paper, we describe how to realize alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit, and explicit negation. © Springer-Verlag Ber... 详细信息
来源: 评论
Computational adequacy in an elementary topos  12th
收藏 引用
12th international Workshop on Computer Science logic, CSL 1998 held as the Annual conference of the European Association for Computer Science logic, EACSL 1998
作者: Simpson, Alex K. LFCS Division of Informatics University of Edinburgh JCMB King’s Buildings EdinburghEH9 3JZ United Kingdom
We place simple axioms on an elementary topos which suffice for it to provide a denotational model of call-by-value PCF with sum and product types. the model is synthetic in the sense that types are interpreted by the... 详细信息
来源: 评论
RPO constraint solving is in NP  12th
收藏 引用
12th international Workshop on Computer Science logic, CSL 1998 held as the Annual conference of the European Association for Computer Science logic, EACSL 1998
作者: Narendran, Paliath Rusinowitch, Michael Verma, Rakesh Institute of Programming and Logics Department of Computer Science State University of New York at Albany AlbanyNY12222 United States LORIA 615 rue du jardin botanique BP 101 Villers les Nancy cedex54602 France Dept. of Comp. Science University of Houston HoustonTX77204 United States
A new decision procedure for the existential fragment of ordering constraints expressed using the recursive path ordering is presented. this procedure is nondeterministic and checks whether a set of constraints is sol... 详细信息
来源: 评论
A quadratic programming approach to clock skew scheduling for reduced sensitivity to process parameter variations  12
A quadratic programming approach to clock skew scheduling fo...
收藏 引用
12th Annual IEEE international ASIC/SOC conference
作者: Kourtev, Ivan S. Friedman, Eby G. Department of Electrical Enginccring University of Pittsburgh PittsburghPA15261 United States Department of Electrical and Computer Engineering University of Rochester RochesterNY14627-0231 United States
this paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadratic programming (QP) problem is introd... 详细信息
来源: 评论
12th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1999
收藏 引用
12th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1999
the proceedings contain 94 papers. the special focus in this conference is on Fuzzy Systems, Neural Networks, Genetic Algorithms and Reasoning. the topics include: Formalisations of uncertain reasoning;a fuzzy knowled...
来源: 评论
logical aspects of several bottom-up fittings  9th
Logical aspects of several bottom-up fittings
收藏 引用
9th international conference on Algorithmic Learning theory, ALT 1998
作者: Yamamoto, Akihiro Division of Electronics and Information Engineering Meme Media Laboratory Hokkaido University N 13 W 8 Kita-ku Sapporo060-8628 Japan
this research is aimed at giving a bridge between the two research areas, inductive logic programming and Computational Learning. We focus our attention on four fittings (learning methods) invented in the two areas: S... 详细信息
来源: 评论
12th international Workshop on Algebraic Development Techniques, WADT 1997
12th International Workshop on Algebraic Development Techniq...
收藏 引用
12th international Workshop on Algebraic Development Techniques, WADT 1997
the proceedings contain 24 papers. the special focus in this conference is on Recent Trends in Algebraic Development Techniques. the topics include: From abstract data types to algebraic development techniques;members...
来源: 评论
Notes on refinement, interpolation and uniformity
Notes on refinement, interpolation and uniformity
收藏 引用
Proceedings of the 1997 12th IEEE international Automated Software Engineering conference, ASE
作者: Dimitrakos, T. Maibaum, T.S.E. Imperial Coll London United Kingdom
the connection between some modularity properties and interpolation is revisited and restated in a general `logic-independent' framework. the presence of uniform interpolants is shown to assist in certain proof ob... 详细信息
来源: 评论