咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
Processing OWL2 ontologies using Thea an application of logic programming
Processing OWL2 ontologies using Thea an application of logi...
收藏 引用
6th international workshop on OWL: Experiences and Directions, OWLED 2009 - Co-located with the 8th international Semantic Web Conference, ISWC 2009 and the 3rd international Conference on Web Reasoning and Rule Systems, RR 2009
作者: Vassiliadis, Vangelis Wielemaker, Jan Mungall, Chris
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically for ontology processing. Prolog, with ... 详细信息
来源: 评论
New foundations for rewriting logic
New foundations for rewriting logic
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Hilberdink, Hendrik Koryo International Women's College 4-4 Sagamine Komenoki-cho Nisshin-shi Aichi 470-0193 Japan
This paper presents an abstract treatment of the foundations of rewriting logic, generalising in three ways: an arbitrary 2-category plays the role of the specific 2-category Cat;the foundations are rendered fully ind... 详细信息
来源: 评论
Hyperpro: An intelligent hypermedia system for learning logic programming  96
Hyperpro: An intelligent hypermedia system for learning logi...
收藏 引用
3rd international workshop on Advanced Visual Interfaces, AVI 1996
作者: Roselli, Teresa Di Donfrancesco, Antonietta Loverro, Stefania Dipartimento di Informatica Università degli Studi di Bari Via Orabona 4 70126 Bari Italy IBM Semea Sud Software Research Center Via Tridente 42/14 70125 Bari Italy
Hypermedia technology has aroused considerable interest in didactic environments, owing to its versatility in realizing didactic software where the attention is shifted away from the teaching towards the learning proc... 详细信息
来源: 评论
Modelling uncertainty in agent programming
Modelling uncertainty in agent programming
收藏 引用
3rd international workshop on Declarative Agent Languages and Technologies
作者: Kwisthout, Johan Dastani, Mehdi Univ Utrecht ICS Utrecht Netherlands
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programming languages, the beliefs are assume... 详细信息
来源: 评论
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order logic  22nd
Facets of the PIE Environment for Proving, Interpolating and...
收藏 引用
22nd international Conference on Applications of Declarative programming and knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on Functional and Constraint logic programming, WFLP 2019
作者: Wernhard, Christoph Berlin Germany
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are structured through formula macros, and ... 详细信息
来源: 评论
Beliefs in agent implementation
Beliefs in agent implementation
收藏 引用
3rd international workshop on Declarative Agent Languages and Technologies
作者: Winkelhagen, Laurens Dastani, Mehdi Broersen, Jan Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands
This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming language, the beliefs of agents are implemente... 详细信息
来源: 评论
Advanced knowledge base debugging for Rulelog
Advanced knowledge base debugging for Rulelog
收藏 引用
Joint 7th international Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium Hosted at the 8th international Symposium on Rules, RuleML 2013
作者: Andersen, Carl Benyo, Brett Calejo, Miguel Dean, Mike Fodor, Paul Grosof, Benjamin N. Kifer, Michael Liang, Senlin Swifts, Terrance Raytheon BBN Technologies United States Declarativa Portugal Stony Brook University United States Benjamin Grosof and Associ. LLC United States CENTRIA Universidade Nova de Lisboa Portugal
We present a novel approach to debugging expressively rich knowledge representation and reasoning (KRR) logic Rulelog. Rulelog is an extended form of declarative logic programs (LP) under the wellfounded semantics, wh... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
CFI Construction and Balanced Graphs
CFI Construction and Balanced Graphs
收藏 引用
3rd international workshop on Frontiers in Algorithmics
作者: Zhou, Xiang Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100864 Peoples R China
In this article, we define a new variant of Cai-Furer-Immerman construction. With this construction and some conditions of Dawar and Richerby, we are able to show that inflationary fixed point logic with counting (IFP... 详细信息
来源: 评论
Proposal of a High-Level Language for Writing Self Modifying Programs
收藏 引用
IEEE LATIN AMERICA TRANSACTIONS 2011年 第2期9卷 192-198页
作者: da Silva, S. R. B. Neto, J. J. Univ Estado Amazonas Curso Engn Computacao Manaus Amazonas Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil
This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in t... 详细信息
来源: 评论