咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Combined Feedback Linearization and Sliding Mode Control for Reusable Launch Vehicle Reentry
Combined Feedback Linearization and Sliding Mode Control for...
收藏 引用
12th international conference on Control, Automation, Robotics and Vision (ICARCV)
作者: Zang, Xiheng Tang, Shuo Northwestern Polytech Univ Sch Astronaut Xian 710072 Peoples R China
A combined feedback linearization (FBL) and sliding mode control (SMC) method is proposed for reusable launch vehicle (RLV) reentry flight control system designing. the feedback linearization is based on the full rota... 详细信息
来源: 评论
12th international Workshop on Rewriting logic and its Applications, WRLA 2018
12th International Workshop on Rewriting Logic and its Appli...
收藏 引用
12th international Workshop on Rewriting logic and its Applications, WRLA 2018
the proceedings contain 14 papers. the special focus in this conference is on Rewriting logic and its Applications. the topics include: Proving ground confluence of equational specifications modulo axioms;uniform stro...
来源: 评论
logical relations and inductive/coinductive types  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
作者: Altenkirch, thorsten Ludwig-Maximilians-Universität Oettingenstr. 67 München80538 Germany
We investigate a λ calculus with positive inductive and coinductive types, which we call λ μ,ν, using logical relations. We show that parametric theories have the strong categorical properties, that the representa... 详细信息
来源: 评论
inductive reasoning about effectful data types
Inductive reasoning about effectful data types
收藏 引用
12th ACM SIGPLAN international conference on Functional programming
作者: Filinski, Andrzej Stovring, Kristian Univ Copenhagen DIKU DK-1168 Copenhagen Denmark Univ Aarhus DAIMI DK-8000 Aarhus C Denmark
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other than partiality. We further show how ... 详细信息
来源: 评论
1BC2: A true first-order bayesian classifier  12
1BC2: A true first-order bayesian classifier
收藏 引用
12th international conference, ILP 2002
作者: Lachiche, Nicolas Flach, Peter A. LSIIT Université Robert Schuman France Department of Computer Science University of Bristol United Kingdom
In previous work we presented 1BC, a first-order Bayesian classifier. 1BC applies dynamic propositionalisation, in the sense that attributes representing first-order features are generated exhaustively within a given ... 详细信息
来源: 评论
12th international Symposium on Trends in Functional programming, TFP 2011
12th International Symposium on Trends in Functional Program...
收藏 引用
12th international Symposium on Trends in Functional programming, TFP 2011
the proceedings contain 12 papers. the special focus in this conference is Trends in Functional programming. the topics include: Constraint-free type error slicing;subtyping by folding an inductive relation into a coi...
来源: 评论
programming in autoepistemic logic
Programming in autoepistemic logic
收藏 引用
Proceedings of the 12th international conference on Artificial Intelligence. Part 2 (of 2)
作者: Kuo, Kienchung
来源: 评论
Early Recovery in logic Program Updates
Early Recovery in Logic Program Updates
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Slota, Martin Balaz, Martin Leite, Joao Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal Univ Nova Lisboa Dept Informat P-1200 Lisbon Portugal
We pinpoint the limitations of existing approaches to the treatment of strong and default negation in answer-set program updates and formulate the early recovery principle that plausibly constrains their interaction.
来源: 评论
Non-monotonic Temporal Goals
Non-monotonic Temporal Goals
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Goncalves, Ricardo Knorr, Matthias Leite, Joao Slota, Martin Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal
In this paper we introduce a logic programming based framework which allows the representation of conditional non-monotonic temporal beliefs and goals in a declarative way. We endow it with stable model like semantics... 详细信息
来源: 评论
On the Completeness of Dynamic logic  1
收藏 引用
12th international conference on Foundations of Software Science and Computational Structures held at Joint European conference on theory and Practice
作者: Leivant, Daniel Indiana Univ Dept Comp Sci Bloomington IN 47405 USA
the impossibility of semantically complete deductive calculi for logics for imperative programs has led to the study of two alternative approaches to completeness: "local" semantic completeness on the one ha... 详细信息
来源: 评论