咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是231-240 订阅
排序:
3rd international Conference on Category Theory and Computer Science, CTCS 1989
收藏 引用
3rd international Conference on Category Theory and Computer Science, CTCS 1989
The proceedings contain 21 papers. The special focus in this conference is on Category Theory and Computer Science. The topics include: Preface;coherence and valid isomorphism in closed categories applications of proo...
来源: 评论
ON THE representation OF DATA IN LAMBDA-CALCULUS  3rd
收藏 引用
3rd workshop ON COMPUTER SCIENCE logic ( CSL 89 )
作者: PARIGOT, M Equipe de Logique CNRS UA 753 Université Paris 7 UFR de Mathématiques 2 place Jussieu PARIS Cedex 05 75251 France
We analyse the algorithmic properties of programs induced by the choice of the representation of data in lambda-calculus. From a logical point of view there are two canonical ways of defining the data types: the itera... 详细信息
来源: 评论
AGENP: An ASGrammar-based GENerative Policy Framework  2nd
AGENP: An ASGrammar-based GENerative Policy Framework
收藏 引用
23rd European Symposium on Research in Computer Security (ESORICS) / 2nd international workshop on Policy-Based Autonomic Data Governance (PADG
作者: Calo, Seraphin Manotas, Irene de Mel, Geeth Cunnington, Daniel Law, Mark Verma, Dinesh Russo, Alessandra Bertino, Elisa IBM TJ Watson Res Ctr Distributed AI Dept Yorktown Hts NY 10549 USA Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA IBM Res UK Hartree Ctr Warrington Cheshire England IBM Res UK Emerging Technol Hursley Pk Hursley England Imperial Coll London South Kensington Campus London England
Generative policies have been proposed as a mechanism to learn the constraints and preferences of a system-especially complex systems such as the ones found in coalitions-in a given context so that the system can adap... 详细信息
来源: 评论
STARLET : An affix-based compiler compiler designed as a logic programming system  3rd
收藏 引用
3rd international workshop on Compiler Compilers, CC 1990
作者: Beney, Jean Boulicaut, Jean-François Institut National des Sciences Appliquées de Lyon Laboratolre d’Informatique Appliquée Batiment 502 Villeurbanne CedexF-69621 France Ecole Centrale de Lyon Departement Mathématiques-Informatique-Systèmes BP 163 Ecully CedexF-69131 France
We present STARLET, a new compiler compiler which compiles Extended Affix Grammars defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points wh... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Probabilistic constraint logic theories  3
Probabilistic constraint logic theories
收藏 引用
3rd international workshop on Probabilistic logic programming, PLP 2016
作者: Alberti, Marco Bellodi, Elena Cota, Giuseppe Lamma, Evelina Riguzzi, Fabrizio Zese, Riccardo Dipartimento di Matematica e Informatica - University of Ferrara Via Saragat 1 FerraraI-44122 Italy Dipartimento di Ingegneria - University of Ferrara Via Saragat 1 FerraraI-44122 Italy
Probabilistic logic models are used ever more often to deal with the uncertain relations typical of the real world. However, these models usually require expensive inference procedures. Very recently the problem of id... 详细信息
来源: 评论
Interoperability between bioinformatics tools: A logic programming approach  1
收藏 引用
3rd international Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Iglesias, Juan R Gupta, Gopal Pontelli, Enrico Ranjan, Desh Milligan, Brook Dept Computer Science New Mexico State University United States Dept of Biology New Mexico State University United States Dept of Computer Science DallasUT United States
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing biologists into tedious translation wo... 详细信息
来源: 评论
Learning complex activity preconditions in process mining  3
Learning complex activity preconditions in process mining
收藏 引用
3rd international workshop on New Frontiers in Mining Complex Patterns, NFMCP 2014 held in Conjunction with European Conference on Machine Learning and Principles and Practice of knowledge Discovery in Databases, ECML-PKDD 2014
作者: Ferilli, Stefano De Carolis, Berardina Esposito, Floriana Dipartimento di Informatica Università di Bari Bari Italy Centro Interdipartimentale per la Logica e sue Applicazioni Università di Bari Bari Italy
The availability of automatic support may sometimes determine the successful accomplishment of a process. Such a support can be provided if a model of the intended process is available. Many real-world process models ... 详细信息
来源: 评论
Advanced Languages of Terms for Ontologies  35
Advanced Languages of Terms for Ontologies
收藏 引用
35th international workshop on Description logics, DL 2022
作者: Balbiani, Philippe Diéguez, Martin Gencer, Çiğdem Institut de recherche en informatique de Toulouse CNRS-INPT-UT3 Université de Toulouse Toulouse France Laboratoire d’étude et de recherche en informatique d’Angers University of Angers Angers France Faculty of Arts and Sciences Istanbul Aydın University Istanbul Turkey
This paper is about the integration in a unique formalism of knowledge representation languages such as those provided by description logic languages and rule-based reasoning paradigms such as those provided by logic ... 详细信息
来源: 评论