咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是131-140 订阅
排序:
Model Based Task programming for Secure Multimodal Human-Robot Interaction  13
Model Based Task Programming for Secure Multimodal Human-Rob...
收藏 引用
13th international conference on Control Automation Robotics & Vision (ICARCV)
作者: Lin, Liyong Su, Rong Tju, Hendra Suratno Lee, Gerald Seet Gim Nanyang Technol Univ Sch Elect & Elect Engn Singapore Singapore Nanyang Technol Univ Sch Mech & Aerosp Engn Singapore Singapore
this note presents a preliminary study on a high-level model based task programming framework for secure multimodal human-robot interaction in industrial context. the case study of robotic polishing tasks, in particul... 详细信息
来源: 评论
On automatic theorem proving with ML  13
On automatic theorem proving with ML
收藏 引用
13th Mexican international conference on Artificial Intelligence, MICAI 2014
作者: Toriz, Juan Pablo Muñoz Ruiz, Ivan Martínez Ramírez, José Arrazola Facultad de Ciencias Físico Matemáticas Benémerita Universidad Autónoma de Puebla Puebla Mexico
In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. the first prover is for Classical Propositional Calculus (... 详细信息
来源: 评论
Fuzzy Sensor-Based Navigation with Neural Tracking Control of the Wheeled Mobile Robot
Fuzzy Sensor-Based Navigation with Neural Tracking Control o...
收藏 引用
13th international conference on Artificial Intelligence and Soft Computing (ICAISC)
作者: Szuster, Marcin Hendzel, Zenon Burghardt, Andrzej Rzeszow Univ Technol Dept Appl Mech & Robot PL-35959 Rzeszow Poland
Navigation of the wheeled mobile robot in the unknown environment with simultaneous realisation of the generated trajectory, is one of the most challenging and up to date problems in the modern mobile robotics. In the... 详细信息
来源: 评论
Modeling natural language metaphors with an answer set programming framework
Modeling natural language metaphors with an answer set progr...
收藏 引用
13th Mexican international conference on Artificial Intelligence, MICAI 2014
作者: Acosta-Guadarrama, Juan Carlos Dávila-Pérez, Rogelio Osorio, Mauricio Zaldivar, Victor Hugo Universidad Autónoma del Estado de México TolucaEstado de México Mexico División de Posgrado Universidad Autónoma de Guadalajara ZapopanJal Mexico Universidad de las Américas. Puebla CholulaPuebla Mexico Departamento de Electrónica Sistemas e Informática Instituto Tecnológico y de Estudios Superiores de Occidente TlaquepaqueJal Mexico
Metaphors are natural language constructions that play an important role in the way human beings communicate knowledge and understand the world. Some formal philosophers such as Searle and Lakoff claim that the semant... 详细信息
来源: 评论
A Novel Bayesian Network based Scheme for Finding the Optimal Solution to Stochastic Online Equi-Partitioning Problems  13
A Novel Bayesian Network based Scheme for Finding the <i>Opt...
收藏 引用
13th international conference on Machine Learning and Applications (ICMLA)
作者: Glimsdal, Sondre Granmo, Ole-Christoffer Univ Agder Dept ICT Grimstad Norway
A number of intriguing decision scenarios, such as order picking, revolve around partitioning a collection of objects so as to optimize some application specific objective function. In its general form, this problem i... 详细信息
来源: 评论
ASP-DPOP: Solving Distributed Constraint Optimization Problems with logic programming  14
ASP-DPOP: Solving Distributed Constraint Optimization Proble...
收藏 引用
international conference on Autonomous Agents and Multiagent Systems
作者: Tiep Le Tran Cao Son Enrico Pontelli William Yeoh Department of Computer Science New Mexico State University
Researchers have used Distributed Constraint Optimization Problems (DCOPs) to model various multi-agent coordination and resource allocation problems. However, existing DCOP algorithms have focused almost exclusively ... 详细信息
来源: 评论
Game theory semantics for PCTL model checking label-extended probabilistic Petri net
Game theory semantics for PCTL model checking label-extended...
收藏 引用
international conference on Computer and Information Science (ACIS)
作者: Yang Liu School of Information Science and Technology Taishan University Taian Shandong China State Key Laboratory for Novel Software Technology Nanjing University Nanjing Jiangsu China
Game theory has emerged as the powerful semantics for some programming languages and logical systems. At present, it is even used to model checking-based verification process. PCTL (probabilistic computation tree logi... 详细信息
来源: 评论
Model based task programming for secure multimodal human-robot interaction
Model based task programming for secure multimodal human-rob...
收藏 引用
international conference on Control, Automation, Robotics and Vision (ICARCV)
作者: Liyong Lin Rong Su Hendra Suratno Tju Gerald Seet Gim Lee School of Electrical and Electronic Engineering Nanyang Technological University Singapore School of Mechanical and Aerospace Engineering Nanyang Technological University Singapore School of Mechanical and Aerospace Engineering Nanyang Technological University Singapore
this note presents a preliminary study on a high-level model based task programming framework for secure multimodal human-robot interaction in industrial context. the case study of robotic polishing tasks, in particul... 详细信息
来源: 评论
On Automatic theorem Proving with ML
On Automatic Theorem Proving with ML
收藏 引用
Mexican international conference on Artificial Intelligence, MICAI
作者: Juan Pablo Muñoz Toriz Iván Martínez Ruiz José Arrazola Ramírez Fac. de Cienc. Fisico Mat. Benemerita Universidad Autonoma de Puebla Puebla Puebla MX Facultad de Ciencias Físico Matemáticas Benémerita Universidad Autónoma de Puebla Puebla México
In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. the first prover is for Classical Propositional Calculus (... 详细信息
来源: 评论
A Statistical Model Checker for Situation Calculus Based Multi-Agent Models  14
A Statistical Model Checker for Situation Calculus Based Mul...
收藏 引用
international conference on Autonomous Agents and Multiagent Systems
作者: Christian Kroiss Institute for Informatics Ludwig-Maximilians-Universitat Munchen
In this paper we introduce a new approach for multi-agent simulation and statistical model checking that combines the well-established situation calculus with a first order version of bounded linear time logic (BLTL).... 详细信息
来源: 评论