咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献
  • 10 册 图书

馆藏范围

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

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 190 篇 软件工程
    • 19 篇 控制科学与工程
    • 13 篇 电气工程
    • 12 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 87 篇 理学
    • 71 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 37 篇 管理学
    • 28 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 86 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 artificial intel...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 mathematical log...
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 357 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是251-260 订阅
排序:
Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems
Real-time Maude: A tool for simulating and analyzing real-ti...
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Ölveczky, Peter Csaba Meseguer, José Computer Science Laboratory SRI International Menlo Park CA 94025 United States
Rewriting logic can be used to specify a wide range of real-time and hybrid systems under a variety of time models, including discrete and dense time models. The Real-Time Maude tool, built on top of the Maude rewriti... 详细信息
来源: 评论
CINNI - A generic calculus of explicit substitutions and its application to λ- ς- and π-Calculi
CINNI - A generic calculus of explicit substitutions and its...
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Stehr, Mark-Oliver SRI International Computer Science Laboratory Menlo Park CA 94025 United States
We approach the general problem of representing higher-order languages, that are usually equipped with special variable binding constructs, in a less specialized first-order framework such as membership equational log... 详细信息
来源: 评论
Parameterized theories and views in full Maude 2.0
Parameterized theories and views in full Maude 2.0
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Durán, Francisco Meseguer, José ETSII Universidad de Málaga Spain SRI International Menlo Park CA United States
Parameterized specification and programming is a key modularity and reusability technique crucial for managing the complexity of large specifications and programs. In the search for ever more powerful parameterized mo... 详细信息
来源: 评论
Interactive robot programming based on human demonstration and advice  3rd
收藏 引用
3rd international workshop on Sensor Based Intelligent Robots
作者: Friedrich, H Dillmann, R Rogalla, O Univ Karlsruhe Inst Proc Control & Robot D-76128 Karlsruhe Germany
Service robots require interactive programming interfaces that allow users without programming experience to easily instruct the robots. Systems following the programming by Demonstration (PbD) paradigm that were deve... 详细信息
来源: 评论
Discovering new knowledge from graph data using inductive logic programming  9th
收藏 引用
9th international workshop on Inductive logic programming (ILP-99)
作者: Miyahara, T Shoudai, T Uchida, T Kuboyama, T Takahashi, K Ueda, H Hiroshima City Univ Fac Informat Sci Hiroshima 7313194 Japan Kyushu Univ 39 Dept Informat Kasuga Fukuoka 8168580 Japan Univ Tokyo Ctr Collaborat Res Tokyo 1530041 Japan
We present a method for discovering new knowledge from structural data which are represented by graphs in the framework of inductive logic programming. A graph, or network, is widely used for representing relations be... 详细信息
来源: 评论
A fuzzy approach to hand functioning in virtual programming  3
A fuzzy approach to hand functioning in virtual programming
收藏 引用
3rd IEEE international Symposium on Computational Intelligence in Robotics and Automation, CIRA 1999
作者: Yuan, Xiaobu Sun, Hanqiu Department of Computer Science Memorial University of Newfoundland St. John'sNLA1B 3X5 Canada Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin N.T. Hong Kong Hong Kong
Virtual assembly allows human operators to use their hands manipulating the graphics representation of machinery parts and programming assembly tasks directly in a three-dimensional operation space. The imprecise meas... 详细信息
来源: 评论
Disjunctive logic programming and autoepistemic logic
Disjunctive logic programming and autoepistemic logic
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Yuan, LY You, JH Goebel, R Univ Alberta Dept Comp Sci Edmonton AB T6G 2H1 Canada
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different types of negative introspection in autoep... 详细信息
来源: 评论
logic programming and knowledge representation - Third international workshop, LPKR'97, Selected Papers
Logic Programming and Knowledge Representation - Third Inter...
收藏 引用
3rd international workshop on logic programming and knowledge representation, LPKR 1997
The proceedings contain 9 papers. The topics discussed include: knowledge representation with logic programs;DATALOG with nested rules;partial evidential stable models for disjunctive deductive databases;disjunctive l...
来源: 评论
DATALOG with nested rules
DATALOG with nested rules
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Greco, S Leone, N Scarcello, F Univ Calabria DEIS I-87030 Commenda Di Rende Italy Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria Univ Calabria DEIS ISI CNR I-87030 Arcavacata Di Rende Italy
This paper presents an extension of disjunctive dat slog (Datalog(V)) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. Nested rules increase the knowledge representat... 详细信息
来源: 评论
A system for abductive learning of logic programs
A system for abductive learning of logic programs
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Lamma, E Mello, P Milano, M Riguzzi, F Univ Bologna DEIS I-40136 Bologna Italy Univ Ferrara Dipartimento Ingn I-44100 Ferrara Italy
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction problem has been defined as an exten... 详细信息
来源: 评论