咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献

馆藏范围

  • 355 篇 电子文献
  • 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 篇 ontology
  • 8 篇 logic gates
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 temporal logic
  • 5 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits
  • 4 篇 computer program...
  • 4 篇 nonvolatile memo...
  • 3 篇 computer science
  • 3 篇 fuzzy logic

机构

  • 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 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.
  • 2 篇 eiter t

语言

  • 347 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
355 条 记 录,以下是331-340 订阅
排序:
Reflective agents in metalogic programming  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Costantini, Stefania Dell’acqua, Pierangelo Lanzarone, Gaetano A. Universita’ degli Studi di Milano Dipartimento di Scienze dell’lnformazione Via Comelico 39/41 Milano1-20135 Italy Computing Science Department Uppsala University Box 520 UppsalaS-751 20 Sweden
We introduce a representation of agents by means of theories, and a cortmaunication among agents based on reflection, within the metalogic programming paradigm. The semantics of these features is shown to be the class... 详细信息
来源: 评论
Negation and control in automatically generated logic programs  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Wiggins, Geraint A DREAM Group Department of Artificial Intelligence University of Edinburgh 80 South Bridge EdinburghEH1 1HN United Kingdom
I discuss issues of control and floundering during execution of automatically synthesised logic programs. The process of program synthesis can be restricted, without loss of generality, so that the only negated calls ... 详细信息
来源: 评论
OBJECT-ORIENTED programming IN GODEL - AN EXPERIMENT  3rd
收藏 引用
3rd international workshop ON META-programming IN logic ( META-92 )
作者: BENKERIMI, K HILL, PM Department of Computer Science University College London London WC1E 6BT United Kingdom School of Computer Studies University of Leeds Leeds LS2 9JT United Kingdom
This paper describes the results of an experiment in the use of the Gödel logic programming language for object-oriented programming. An object-oriented program is implemented in Gödel at two levels. First, ... 详细信息
来源: 评论
Meta for modularising logic programming  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Brogi, A. Mancarella, P. Pedreschi, D. Turini, F. Dipartimento di Informatica Universitàt di Pisa Corso Italia 40 Pisa56125 Italy
We use metalogic to define a suitable notion of module in logic programming. A module is viewed as a pair of logic programs, corresponding to the visible and the hidden part of the module, respectively. The constructi... 详细信息
来源: 评论
A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: De Schreye, Danny Martens, Bern Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium
We study a semantics for untyped, vanilla meta-programs, using the non-ground representation for object level variables. We introduce the notion of language independence for definite programs, which generalises range ... 详细信息
来源: 评论
CLP(Q) for proving interargument relations  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Mesnard, Frédéric Ganascia, Jean-Gabriel Iremia Université de la Réunion 15 av. René Cassin St Denis Codex97489 France Laforia Université Paris VI 4 place Jussieu Paris Codex 0575252 France
In the logic programming community, the concept of interargument relation, that is, the relation that holds between the size of the arguments of a procedure, appears in numerous works on termination proofs for logic p... 详细信息
来源: 评论
PROPAGATION - A NEW OPERATION IN A FRAMEWORK FOR ABSTRACT INTERPRETATION OF logic PROGRAMS  3rd
收藏 引用
3rd international workshop ON META-programming IN logic ( META-92 )
作者: BRUYNOOGHE, M JANSSENS, G Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A Heverlee B-3001 Belgium
Most frameworks for abstract interpretation of logic programs provide abstract operations which safely approximate their concrete counterpart. That means, given a concrete state ,.q described by an abstract state AS a... 详细信息
来源: 评论
Meta-programming for reordering literals in deductive databases  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Träff, Jesper Larsson Prestwich, Steven David ECRC - European Computer-Industry Research Centre Arabellastrasse 17 Munich 81D-8000 Germany
Specifying efficient evaluation strategies by meta-interpreters, and then eliminating the interpretation overhead by partial evaluation with respect to given object programs, is an elegant technique for the transforma... 详细信息
来源: 评论
Tutorial on termination of logic programs  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: De Schreye, Danny Verschaetse, Kristof Department of Computer Science Katholieke Universiteit Lenven Celestijnenlaan 200A Heverlee3001 Belgium
We present a general introduction to termination analysis for logic programs, with focus on universal termination of SLD-derivations and on definite programs. We start by providing a generic definition of the terminat... 详细信息
来源: 评论
3rd international workshop on Computer Aided Verification, CAV 1991
收藏 引用
3rd international workshop on Computer Aided Verification, CAV 1991
The proceedings contain 44 papers. The special focus in this conference is on Computer Aided Verification. The topics include: Taming infinite state spaces;branching bisimilarity is decidable for context-free processe...
来源: 评论