咨询与建议

限定检索结果

文献类型

  • 161 篇 会议
  • 16 册 图书
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 133 篇 工学
    • 127 篇 计算机科学与技术...
    • 59 篇 软件工程
    • 14 篇 电气工程
    • 13 篇 控制科学与工程
    • 6 篇 机械工程
    • 5 篇 信息与通信工程
    • 4 篇 建筑学
    • 2 篇 交通运输工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
    • 1 篇 安全科学与工程
  • 23 篇 理学
    • 18 篇 数学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 9 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 56 篇 logic programmin...
  • 14 篇 mathematical log...
  • 12 篇 logics and meani...
  • 10 篇 artificial intel...
  • 9 篇 programming lang...
  • 8 篇 software enginee...
  • 7 篇 computer circuit...
  • 7 篇 formal logic
  • 6 篇 semantics
  • 5 篇 temporal logic
  • 4 篇 optimization
  • 4 篇 programming tech...
  • 4 篇 algorithm analys...
  • 4 篇 knowledge repres...
  • 3 篇 fuzzy logic
  • 3 篇 programmable log...
  • 3 篇 higher-order log...
  • 3 篇 programming
  • 3 篇 symbolic and alg...
  • 3 篇 computer communi...

机构

  • 3 篇 new mexico state...
  • 2 篇 tu wien austria
  • 2 篇 tech univ munich...
  • 2 篇 eth dept comp sc...
  • 2 篇 institute of log...
  • 2 篇 katholieke univ ...
  • 2 篇 univ massachuset...
  • 2 篇 imdea software i...
  • 2 篇 michigan state u...
  • 2 篇 univ hawaii dept...
  • 2 篇 suny stony brook...
  • 2 篇 temple univ dept...
  • 1 篇 univ calabria de...
  • 1 篇 national institu...
  • 1 篇 escola politécni...
  • 1 篇 laboratoire pps ...
  • 1 篇 new mexico state...
  • 1 篇 university of te...
  • 1 篇 univ aizu grad s...
  • 1 篇 department of in...

作者

  • 3 篇 eiter thomas
  • 2 篇 pontelli e
  • 2 篇 giovannetti tani...
  • 2 篇 leone nicola
  • 2 篇 avrunin gs
  • 2 篇 sakama chiaki
  • 2 篇 yamaguchi takehi...
  • 2 篇 mehta f
  • 2 篇 fink m
  • 2 篇 woltran stefan
  • 2 篇 martono niken pr...
  • 2 篇 eiter t
  • 2 篇 serebrenik a
  • 2 篇 sciavicco guido
  • 2 篇 ohwada hayato
  • 2 篇 faber wolfgang
  • 2 篇 abe keisuke
  • 2 篇 nipkow t
  • 2 篇 dillon lk
  • 2 篇 inoue katsumi

语言

  • 182 篇 英文
  • 1 篇 中文
检索条件"任意字段=19th International Conference on Logic Programming, ICLP 2003"
183 条 记 录,以下是71-80 订阅
排序:
Policy Transfer via Markov logic Networks
Policy Transfer via Markov Logic Networks
收藏 引用
19th international conference on Inductive logic programming
作者: Torrey, Lisa Shavlik, Jude Univ Wisconsin Madison WI 53706 USA
We propose using a statistical-relational model, the Markov logic Network, for knowledge transfer in reinforcement learning. Our goal is to extract relational knowledge from a source task and use it to speed up learni... 详细信息
来源: 评论
Analyzing partially-implemented real-time systems
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1998年 第8期24卷 602-614页
作者: Avrunin, GS Corbett, JC Dillon, LK Univ Massachusetts Dept Math & Stat Amherst MA 01003 USA Univ Hawaii Dept Informat & Comp Sci Honolulu HI 96822 USA Michigan State Univ Dept Comp Sci & Engn E Lansing MI 48824 USA
Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a specification or programming l... 详细信息
来源: 评论
logic for programming, Artificial Intelligence, and Reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ken McMillan Aart Middeldorp Andrei Voronkov
this book constitutes the proceedings of the 19th international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. the 44 regular ... 详细信息
来源: 评论
SELP - A system for studying strong equivalence between logic programs
SELP - A system for studying strong equivalence between logi...
收藏 引用
3rd international Workshop on Answer Set programming: Advances in theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint conference on Artificial Intelligence, IJCAI 2005
作者: Chen, Yin Lin, Fangzhen Li, Lei Department of Computer Science South China Normal University China Software Institute Sun Yat-Sen University China Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong
this paper describes a system called SELP for studying strong equivalence in answer set logic programming. the basic function of the system is to check if two given ground disjunctive logic programs are equivalent, an... 详细信息
来源: 评论
Analyzing partially-implemented real-time systems  97
Analyzing partially-implemented real-time systems
收藏 引用
19th international conference on Software Engineering (ICSE 97) - Pulling Together
作者: Avrunin, GS Corbett, JC Dillon, LK Univ Massachusetts Dept Math & Stat Amherst MA 01003 USA Univ Hawaii Dept Informat & Comp Sci Honolulu HI 96822 USA Michigan State Univ Dept Comp Sci & Engn E Lansing MI 48824 USA
Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a specification or programming l... 详细信息
来源: 评论
Extending conceptual logic programs with arbitrary rules
Extending conceptual logic programs with arbitrary rules
收藏 引用
3rd international Workshop on Answer Set programming: Advances in theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint conference on Artificial Intelligence, IJCAI 2005
作者: Heymans, Stijn Van Nieuwenborgh, Davy Vermeir, Dirk Dept. of Computer Science Vrije Universiteit Brussel VUB Pleinlaan 2 B1050 Brussels Belgium
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason with both ontological and rule-based k... 详细信息
来源: 评论
A logic-Based Approach to Relation Extraction from Texts
A Logic-Based Approach to Relation Extraction from Texts
收藏 引用
19th international conference on Inductive logic programming
作者: Horvath, Tamas Paass, Gerhard Reichartz, Frank Wrobel, Stefan Univ Bonn Dept Comp Sci 3 D-5300 Bonn Germany Fraunhofer IAIS Sch Birlinghoven St Augustin Germany
In recent years, text mining has moved far beyond the classical problem of text classification with an increased interest in more sophisticated processing of large text corpora, such as, for example, evaluations of co... 详细信息
来源: 评论
Source-tracking unification  19th
收藏 引用
19th international conference on Automated Deduction, CADE 2003
作者: Choppella, Venkatesh Haynes, Christopher T. Computer Science Department Indiana University BloomingtonIN47405 United States
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugging unification-based systems, includ... 详细信息
来源: 评论
Automated implementation of Petri Nets on PLCs with OOP  19
Automated implementation of Petri Nets on PLCs with OOP
收藏 引用
19th IEEE international conference on Emerging Technology and Factory Automation (ETFA)
作者: Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy
In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on Programmable logic Controllers (PLCs) using Object Oriented programming (OOP). In t... 详细信息
来源: 评论
Sensor-based Petri net modeling for PLC stage programming of discrete-event control design
Sensor-based Petri net modeling for PLC stage programming of...
收藏 引用
19th IEEE international conference on Robotics and Automation (ICRA)
作者: Peng, SS Zhou, MC Department of Mechanical Engineering Chinese Military Academy Taiwan Taiwan
Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete event control systems (DECS). this paper proposes a real-time stage Petri net (RTSPN... 详细信息
来源: 评论