咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
Performance tuning in answer set programming  1
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Buddenhagen, Matthew Lierler, Yuliya University of Nebraska at Omaha OmahaNE United States
Performance analysis and tuning are well established software engineering processes in the realm of imperative programming. this work is a step towards establishing the standards of performance analysis in the realm o... 详细信息
来源: 评论
Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections  13
Automatic Generation of Test-cases of Increasing Complexity ...
收藏 引用
13th ACM/IEEE international conference on Cyber-Physical Systems (ICCPS )
作者: Karimi, Abolfazl Duggirala, Parasara Sridhar Univ N Carolina Chapel Hill NC 27515 USA
this paper presents a new framework for generating test-case scenarios for autonomous vehicles. We address two challenges in automatic test-case generation: first, a formal notion of test-case complexity, and second, ... 详细信息
来源: 评论
Clause-learning for modular systems  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Mitchell, David Ternovska, Eugenia Computational Logic Laboratory Simon Fraser University Burnaby Canada
We present an algorithm, CDCL-AMS, for solving Modular Systems consisting of a set of modules where, for each module, we have a simple "black-box" solver. the algorithm is based on the Conflict- Directed Cla... 详细信息
来源: 评论
Relational Restricted Boltzmann Machines: A Probabilistic logic Learning Approach  1
收藏 引用
27th international conference on inductive logic programming (ILP)
作者: Kaur, Navdeep Kunapuli, Gautam Khot, Tushar Kersting, Kristian Cohen, William Natarajan, Sriraam Indiana Univ Bloomington IN 47405 USA Univ Texas Dallas Richardson TX 75083 USA Allen Inst Artificial Intelligence Seattle WA USA Tech Univ Darmstadt Darmstadt Germany Carnegie Mellon Univ Pittsburgh PA 15213 USA
We consider the problem of learning Boltzmann machine classifiers from relational data. Our goal is to extend the deep belief framework of RBMs to statistical relational models. this allows one to exploit the feature ... 详细信息
来源: 评论
Characterizing Predicate Arity and Spatial Structure for inductive Learning of Game Rules  13
收藏 引用
13th European conference on Computer Vision (ECCV)
作者: Dwibedi, Debidatta Mukerjee, Amitabha Indian Inst Technol Kanpur 208016 Uttar Pradesh India
Where do the predicates in a game ontology come from? We use RGBD vision to learn a) the spatial structure of a board, and b) the number of parameters in a move or transition. these are used to define state-transition... 详细信息
来源: 评论
FasTraC a decentralized traffic control system based on logic programming  13th
FasTraC a decentralized traffic control system based on logi...
收藏 引用
13th international conference on Automated Deduction, CADE 1996
作者: Felici, Giovanni Rinaldi, Giovanni Truemper, Klaus Rome Italy University of Texas at Dallas P.O. Box 830688 RichardsonTX75083-0688 United States CNR - IASI Istituto di Analisi dei Sistemi e Informatica Rome Italy
the FasTraC system provides all facilities to design and validate a decentralized traffic control system for a urban network. Each signal is controlled by an independent control unit. the behavior of the control units... 详细信息
来源: 评论
A space efficient implementation of a tableau calculus for a logic with a constructive negation
收藏 引用
18th international Workshop on Computer Science logic/13th Annual conference of the European-Association-for-Computer-Science-logic
作者: Avellone, A Fiorentini, C Fiorino, G Moscato, U Univ Milano Bicocca Dipartimento Metodi Quantitat Sci Econom Aziendal I-20126 Milan Italy Univ Milan Dipartimento Sci Informaz I-20135 Milan Italy
A tableau calculus for a logic with constructive negation and an implementation of the related decision procedure is presented. this logic is an extension of Nelson logic and it has been used in the framework of progr... 详细信息
来源: 评论
13th IFIP WG 1.3 international Workshop on Coalgebraic Methods in Computer Science, CMCS 2016 Colocated with Satellite Event of the Joint conference on theory and Practice of Software, ETAPS 2016
收藏 引用
13th IFIP WG 1.3 international Workshop on Coalgebraic Methods in Computer Science, CMCS 2016 Colocated with Satellite Event of the Joint conference on theory and Practice of Software, ETAPS 2016
the proceedings contain 13 papers. the special focus in this conference is on Coalgebraic Methods in Computer Science. the topics include: Fixed points of functors;compositional coinduction with sized types;lawvere ca...
来源: 评论
Scheduling Home Hospice Care with logic-Based Benders Decomposition  1
收藏 引用
13th international conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint programming (CPAIOR)
作者: Heching, Aliza Hooker, John N. Compassionate Care Hosp Grp New York NY USA Carnegie Mellon Univ Pittsburgh PA 15213 USA
We propose an exact optimization method for home hospice care staffing and scheduling, using logic-based Benders decomposition (LBBD). the objective is to match hospice care aides with patients and schedule visits to ... 详细信息
来源: 评论
Prototypes based relational learning
收藏 引用
13th international conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008
作者: García-Durán, Rocío Fernández, Fernando Borrajo, Daniel Universidad Carlos III de Madrid Leganes Madrid 29011 Spain
Relational instance-based learning (RIBL) algorithms offer high prediction capabilities. However, they do not scale up well, specially in domains where there is a time bound for classification. Nearest prototype appro... 详细信息
来源: 评论