咨询与建议

限定检索结果

文献类型

  • 57 篇 会议
  • 5 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 50 篇 工学
    • 46 篇 计算机科学与技术...
    • 24 篇 软件工程
    • 4 篇 电气工程
    • 3 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 农业工程
    • 1 篇 食品科学与工程(可...
  • 9 篇 理学
    • 9 篇 数学
    • 4 篇 统计学(可授理学、...
  • 8 篇 管理学
    • 7 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 16 篇 logic programmin...
  • 7 篇 learning systems
  • 6 篇 inductive logic ...
  • 6 篇 inductive logic ...
  • 5 篇 artificial intel...
  • 4 篇 formal logic
  • 4 篇 mathematical log...
  • 3 篇 computer circuit...
  • 3 篇 software enginee...
  • 3 篇 programming tech...
  • 2 篇 computer science
  • 2 篇 natural language...
  • 2 篇 biochemistry
  • 2 篇 machine learning
  • 2 篇 testing
  • 2 篇 algorithm analys...
  • 2 篇 knowledge repres...
  • 1 篇 datalog
  • 1 篇 fuzzy sets
  • 1 篇 fuzzy logic

机构

  • 2 篇 natl inst inform...
  • 1 篇 department of bi...
  • 1 篇 school of comput...
  • 1 篇 the pennsylvania...
  • 1 篇 hiroshima city u...
  • 1 篇 stockholm univ d...
  • 1 篇 national institu...
  • 1 篇 department of co...
  • 1 篇 cnr ustu i-56100...
  • 1 篇 stanford univ ct...
  • 1 篇 cesimo fac ingn ...
  • 1 篇 wright state uni...
  • 1 篇 ntt commun sci l...
  • 1 篇 dipartimento di ...
  • 1 篇 simon fraser uni...
  • 1 篇 department of bi...
  • 1 篇 univ ca foscari ...
  • 1 篇 charles universi...
  • 1 篇 tu wien austria
  • 1 篇 the university o...

作者

  • 3 篇 inoue k
  • 3 篇 ohwada hayato
  • 3 篇 shavlik jude
  • 2 篇 suzuki yusuke
  • 2 篇 costa vitor sant...
  • 2 篇 fonseca nuno a.
  • 2 篇 stefan kramer
  • 2 篇 bernhard pfahrin...
  • 2 篇 matsumoto satosh...
  • 2 篇 de raedt l
  • 2 篇 shoudai takayosh...
  • 2 篇 goadrich mark
  • 2 篇 inoue katsumi
  • 2 篇 oliphant louis
  • 1 篇 muggleton stephe...
  • 1 篇 m.j.o. galindo
  • 1 篇 shen yi-dong
  • 1 篇 bartenstein oska...
  • 1 篇 lisi francesca a...
  • 1 篇 borrajo daniel

语言

  • 62 篇 英文
  • 1 篇 中文
检索条件"任意字段=15th International Conference on Inductive Logic Programming, ILP 2005"
63 条 记 录,以下是1-10 订阅
排序:
Learning logic Programs Using Neural Networks by Exploiting Symbolic Invariance  1
收藏 引用
30th international conference on inductive logic programming (ilp) held as part of the 1st international Joint conference on Learning and Reasoning (IJCLR)
作者: Phua, Yin Jun Inoue, Katsumi Grad Univ Adv Studies SOKENDAI Tokyo Japan Natl Inst Informat Tokyo Japan
Learning from Interpretation Transition (LFIT) is an unsupervised learning algorithm which learns the dynamics just by observing state transitions. LFIT algorithms have mainly been implemented in the symbolic method, ... 详细信息
来源: 评论
Lemmaless Induction in Trace logic  15th
Lemmaless Induction in Trace Logic
收藏 引用
15th international conference on Intelligent Computer Mathematics (CICM) part of the Computational logic Autumn Summit (CLAS)
作者: Bhayat, Ahmed Georgiou, Pamina Eisenhofer, Clemens Kovacs, Laura Reger, Giles Univ Manchester Manchester Lancs England TU Wien Vienna Austria
We present a novel approach to automate the verification of first-order inductive program properties capturing the partial correctness of imperative program loops with branching, integers and arrays. We rely on trace ... 详细信息
来源: 评论
Learning of primitive formal systems defining labelled ordered tree languages via queries  27
Learning of primitive formal systems defining labelled order...
收藏 引用
Late Breaking Papers of the 27th international conference on inductive logic programming, LBP-ilp 2017
作者: Uchida, Tomoyuki Matsumoto, Satoshi Shoudai, Takayoshi Suzuki, Yusuke Miyahara, Tetsuhiro Graduate School of Information Sciences Hiroshima City University Japan Faculty of Science Tokai University Japan Faculty of Contemporary Business Kyushu International University Japan
A formal graph system (FGS) is a logic programming system that directly manipulates graphs by dealing with term graph patterns instead of terms of first-order predicate logic. In this paper, based on FGS, we introduce... 详细信息
来源: 评论
Generating Rules of Action Transition in Errors in Daily Activities from a Virtual Reality-Based Training Data
Generating Rules of Action Transition in Errors in Daily Act...
收藏 引用
19th international conference on Human-Computer Interaction (HCI international)
作者: Martono, Niken Prasasti Abe, Keisuke Yamaguchi, Takehiko Ohwada, Hayato Giovannetti, Tania Tokyo Univ Sci Dept Ind Adm Noda Chiba Japan Tokyo Univ Sci Dept Appl Elect Tokyo Japan Temple Univ Dept Psychol Philadelphia PA 19122 USA
Developments in virtual reality (VR) have advanced numerous applications in clinical settings in the areas of learning and treatment in neuropsychology. Emerging VR applications today focus on the challenge of diagnos... 详细信息
来源: 评论
Distributional learning of regular formal graph system of bounded degree  1
收藏 引用
26th international conference on inductive logic programming, ilp 2016
作者: Shoudai, Takayoshi Matsumoto, Satoshi Suzuki, Yusuke Faculty of International Studies Kyushu International University Kitakyushu Japan Faculty of Science Tokai University Hiratsuka Japan Graduate School of Information Sciences Hiroshima City University Hiroshima Japan
In this paper, we describe how distributional learning techniques can be applied to formal graph system (FGS) languages. An FGS is a logic program that deals with term graphs instead of the terms of first-order predic... 详细信息
来源: 评论
Extracting Time-oriented Relationships of Nutrients to Losing Body Fat Mass Using inductive logic programming  15
Extracting Time-oriented Relationships of Nutrients to Losin...
收藏 引用
15th IEEE international conference on Cognitive Informatics and Cognitive Computing (ICCI*CC)
作者: Ushikubo, Sho Kanamori, Katsutoshi Ohwada, Hayato Tokyo Univ Sci Fac Sci & Tech Noda Chiba Japan
this study was performed to extract rules for reducing body fat mass so as to prevent lifestyle-related diseases. Lifestyle-related diseases have been increasing in Japan, even among younger people. Body fat mass is r... 详细信息
来源: 评论
Processing Markov logic Networks with GPUs: Accelerating Network Grounding  1
收藏 引用
25th international conference on inductive logic programming (ilp)
作者: Alberto Martinez-Angeles, Carlos Dutra, Ines Costa, Vitor Santos Buenabad-Chavez, Jorge CINVESTAV IPN Dept Computac Av Inst Politecn Nacl 2508 Mexico City 07360 DF Mexico CRACS INESC TEC LA Dept Ciencia Comp Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto Rua Campo Alegre 1021 P-4169007 Oporto Portugal
Markov logic is an expressive and widely used knowledge representation formalism that combines logic and probabilities, providing a powerful framework for inference and learning tasks. Most Markov logic implementation... 详细信息
来源: 评论
Extracting time-oriented relationships of nutrients to losing body fat mass using inductive logic programming
Extracting time-oriented relationships of nutrients to losin...
收藏 引用
IEEE international conference on Cognitive Informatics
作者: Sho Ushikubo Katsutoshi Kanamori Hayato Ohwada Faculty of Sci. and Tech. Tokyo University of Science Noda-shi Japan
this study was performed to extract rules for reducing body fat mass so as to prevent lifestyle-related diseases. Lifestyle-related diseases have been increasing in Japan, even among younger people. Body fat mass is r... 详细信息
来源: 评论
15th international conference on Italian Association for Artificial Intelligence, AIIA 2016
15th International Conference on Italian Association for Art...
收藏 引用
15th international conference on Italian Association for Artificial Intelligence, AIIA 2016
the proceedings contain 39 papers. the special focus in this conference is on Optimization, Evolutionary Algorithms, Classification, Pattern Recognition, Computer Vision, Multi-agent Systems, Knowledge Representation,...
来源: 评论
Experience-based Learning of Symbolic Numerical Constraints
Experience-based Learning of Symbolic Numerical Constraints
收藏 引用
IEEE-RAS international conference on Humanoid Robots
作者: Gokhan Solak Abdullah Cihan Ak Sanem Sariel Artificial Intelligence and Robotics Laboratory Computer Engineering Department Istanbul Technical University
Learning symbolic-level numerical constraints is key to use abstractions in effective reasoning and transfer of knowledge for robot systems. We investigate this problem in an experience-based learning framework which ... 详细信息
来源: 评论