咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
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... 详细信息
来源: 评论
On the semantics of inheritance in logic programming: Compositionality and full abstraction  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Bugliesi, Michele Dipartimento di Matematica Pura ed Applicata University of Padova Via Belzoni 7 Padova35131 Italy
We give an account of various semantics for hierarchical logic programs and discuss their properties in terms of compositionality and full abstraction when inheritance is assumed as the underlying composition mechanis... 详细信息
来源: 评论
CLP(AD) as a deductive database language with updates  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Bertino, Elisa Martelli, Maurizio Montesi, Danilo Dipartimento di Informatica e Scienze dell’Informazione Università di Genova Viale Benedetto XV 3 Genova16132 Italy Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56125 Italy
In this paper we propose a logic-based language, CLP (AD) which is an instance of the Constraint logic programming schema and is a convenient semantic framework to be used for deductive database language with updates.... 详细信息
来源: 评论
A direct semantic characterization of RELFUN  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Boley, Harold Deutsches Forschungszentrum für Künstliche Intelligenz Box 2080 KaiserslauternD-6750 Germany
This paper attempts a direct semantic formalization of first-order relational-functional languages (the characteristic RELFUN subset) in terms of a generalized model concept. Function-defining conditional equations (o... 详细信息
来源: 评论
The abstract scheme for concurrent programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Porto, António Rosado, Paulo Departamento de Informática Universidade Nova de Lisbon Monte da Caparica2825 Portugal
We present a new model for concurrent programming, which we call AbstrAct. A system is specified through collections of rules defining all possible state transformations that may occur. The activity of a system is dri... 详细信息
来源: 评论
CONTROLLING TRAINING OF NEURAL NETWORK CLASSIFIERS WITH FUZZY-logic
CONTROLLING TRAINING OF NEURAL NETWORK CLASSIFIERS WITH FUZZ...
收藏 引用
3rd workshop ON NEURAL NETWORKS : ACADEMIC / INDUSTRIAL / NASA / DEFENSE ( WNN 92 )
作者: DEROUIN, E BROWN, J Thought Processes Inc Maitland United States
Neural networks have proven very useful in the field of pattern classification by mapping input patterns into one of several categories. The most popular methods of training neural networks use gradient descent techni... 详细信息
来源: 评论
A modal framework for structured logic programs  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Giordano, Laura Martelli, Alberto Dipartimento di Informatica Università di Torino C.so Svizzera 185 Torino10149 Italy
Modal logic can be regarded as a unifying framework in which different logical languages with blocks and modules can be expressed. In particular, a modal characterization can be given to different languages which are ... 详细信息
来源: 评论
SLWV - A theorem prover for logic programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Pereira, Luís Moniz Caires, Luis Alferes, José AI Centre Uninova and DCS U.Nova de Lisboa Monte da Caparica2825 Portugal
The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing. The proof system we propose (SLWV-resolution, for Selected Linear Without contrapositive clause Variants)... 详细信息
来源: 评论
Embedding finite sets in a logic programming language  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Dovier, Agostino Omodeo, Eugenio G. Pontelli, Enrico Rossi, Gianfranco Dipartimento di Informatica Università di Pisa C.so Italia 40 Pisa56100 Italy Dip. di Informatica e Sistemistica Università di Roma La Sapienza Via Salaria 113 Roma00198 Italy Dept. of Computer Science New Mexico State Univ. Las CrucesNM88003 United States Dip. di Matematica Università di Bologna P.zza di Porta S.Donato 5 Bologna40127 Italy
A way of introducing simple (finite) set designations and operations as firstclass objects of an (unrestricted) logic programming language is discussed from both the declarative and the operational semantics viewpoint... 详细信息
来源: 评论
Conditional narrowing with constructive negation  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Ramírez, María José Falaschi, Moreno Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Camino de Vera s/n Apdo. 22012 Valencia46020 Spain Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56125 Italy
In this paper we present a narrower for conditional equational theories whose clauses allow disequations in their bodies (normal theories). Our approach deals with disequations in a constructive manner and thus allows... 详细信息
来源: 评论