咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 134 篇 工学
    • 127 篇 计算机科学与技术...
    • 60 篇 软件工程
    • 14 篇 电气工程
    • 13 篇 控制科学与工程
    • 6 篇 机械工程
    • 5 篇 信息与通信工程
    • 4 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
  • 24 篇 理学
    • 19 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 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 篇 其他
  • 1 篇 中文
检索条件"任意字段=19th International Conference on Logic Programming, ICLP 2003"
184 条 记 录,以下是71-80 订阅
排序:
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... 详细信息
来源: 评论
8th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2008 and collocated with the 19th international conference on Rewriting Techniques and Applications, RTA 2008
8th International Workshop on Reduction Strategies in Rewrit...
收藏 引用
8th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2008 and collocated with the 19th international conference on Rewriting Techniques and Applications, RTA 2008
the proceedings contain 8 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: New developments in environment machines;strategy-based rewrite semantics for mem...
来源: 评论
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... 详细信息
来源: 评论
Knowledge-Directed theory Revision
Knowledge-Directed Theory Revision
收藏 引用
19th international conference on Inductive logic programming
作者: Ali, Kamal Leung, Kevin Konik, Tolga Choi, Dongkyu Shapiro, Dan Stanford Univ Ctr Study Language & Informat Cognit Syst Lab Stanford CA 94305 USA
Using domain knowledge to speed up learning is widely accepted but theory revision of such knowledge continues to use general syntactic operators. Using such operators for theory revision of teleoreactive logic progra... 详细信息
来源: 评论
Ideal Downward Refinement in the EL Description logic
Ideal Downward Refinement in the EL Description Logic
收藏 引用
19th international conference on Inductive logic programming
作者: Lehmann, Jens Haase, Christoph Univ Leipzig Dept Comp Sci Johannisgasse 26 D-04103 Leipzig Germany Oxford Univ Comp Lab Oxford England
With the proliferation of the Semantic Web, there has been a rapidly rising interest in description logics, which form the logical foundation of the W3C standard ontology language OWL. While the number of OWL knowledg... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论