咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 285 篇 工学
    • 272 篇 计算机科学与技术...
    • 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 circuits
  • 4 篇 computer program...

机构

  • 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 calgary dep...

作者

  • 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.

语言

  • 354 篇 英文
  • 10 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
364 条 记 录,以下是301-310 订阅
Multidatabase language requirements  3
Multidatabase language requirements
收藏 引用
3rd international workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems, RIDE-IMS 1993
作者: Kuhn, E. Institute of Computer Languages University of Technology Vienna Argentinierstr. 8 Vienna1040 Austria
The integration transparency of a multidatabase system depends heavily on the diversity of local language interfaces and models. These parameters are not predetermined but application dependent. The flexibility of a n... 详细信息
来源: 评论
3rd international workshop on Extensions of logic programming, ELP 1992
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
The proceedings contain 19 papers. The special focus in this conference is on Extensions of logic programming. The topics include: SLWV — A theorem prover for logic programming;a correct goal-directed proof procedure...
来源: 评论
Implementational issues in GCLA: A-sufficiency and the definiens operation  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Aronsson, Martin Swedish Institute of Computer Science Box 1263 KistaS - 164 28 Sweden
We present algorithms for computing A-sufficient substitutions and constraint sets together with the definiens operation. These operations are primitive operations in the language GCLA. The paper first defines those p... 详细信息
来源: 评论
A correct goal-directed proof procedure for a general logic program with integrity constraints  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Satoh, Ken Iwayama, Noboru Institute for New Generation Computer Technology 1-4-28 Mita Minato-ku Tokyo108 Japan
We present a correct goal-directed procedure for consistent logic program with integrity constraints in stable model semantics [5]. Although there are correct bottom-up procedures for every general logic program [13, ... 详细信息
来源: 评论
Techniques for implementing contexts in logic programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Denti, Enrico Lamma, Evelina Mello, Paola Natali, Antonio Omicini, Andrea DEIS Università di Bologna Viale Risorgimento 2 Bologna40136 Italy
In this paper we discuss different techniques for implementing an extension of logic programming for knowledge structuring. The extension we consider, in particular, is based on Contextual logic programming. Three dif... 详细信息
来源: 评论
Natural deduction proof theory for logic programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Keronen, Seppo Wilhelm-Schickard-Institut Universität Tübingen Sand 13 TübingenD-7400 Germany
The SLD resolution proof theory for the Prolog family of logic programming languages is well known. The extended syntactic forms of these languages, however, distance them from the Horn language required by SLD resolu... 详细信息
来源: 评论
Metalogic for state oriented programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Brogi, Antonio Turini, Franco Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy
Object-oriented programming and blackboard systems have proven to be two of the most successful approaches to the construction of complex software systems. Both of them rely upon the ability of maintaining either a di... 详细信息
来源: 评论
A typed foundation for directional logic programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Reddy, Uday S. Department of Computer Science University of Illinois at Urbana-Champaign UrbanaIL61801 United States
A long standing problem in logic programming is how to impose directionality on programs in a safe fashion. The benefits of directionality include freedom from explicit sequential control, the ability to reason about ... 详细信息
来源: 评论
logic programming with functions over order-sorted feature terms  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Aïl-Kaci, Hassan Podelski, Andreas Digital Equipment Corporation Paris Research Laboratory 85 avenue Victor Hugo Rueil-Malmaison92500 France
LIFE is an experimental programming language proposing to integrate logic programming, functional programming, and object-oriented programming. It replaces first-order terms with ψ-terms, data structures which allow ... 详细信息
来源: 评论
Declarative semantics of hypothetical logic programming with negation as failure  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Dung, Phan Minh Division of Computer Science Asian Institute of Technology GPO Box 2754 Bangkok10501 Thailand
We define the stable semantics for general hypothetical logic programs. We consider resolving a hypothetical goal (G ∶ R) in a context P as consisting of two steps: (i) Updating the context by inserting the clauses i... 详细信息
来源: 评论