咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 187 篇 软件工程
    • 19 篇 控制科学与工程
    • 16 篇 电气工程
    • 15 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 90 篇 理学
    • 74 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 36 篇 管理学
    • 27 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 87 篇 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 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 5 篇 answer set progr...
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 inductive 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 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 354 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是111-120 订阅
排序:
Normative Multi-agent Programs and Their logics
Normative Multi-agent Programs and Their Logics
收藏 引用
1st international workshop on knowledge representation for Agents and Multi-Agent Systems
作者: Dastani, Mehdi Grossi, Davide Meyer, John-Jules Ch. Tinnemeier, Nick Univ Utrecht NL-3508 TC Utrecht Netherlands Univ Luxembourg Comp Sci & Commun Luxembourg Luxembourg
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to imple... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Extensions of logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
The papers in this volume are extended versions of presentations at the fourth international workshop on Extensions of logic programming, held at the University of St Andrews, March/April 1993. Among the topics covere... 详细信息
来源: 评论
Debugging snomed ct using axiom pinpointing in the description logic EL+
Debugging snomed ct using axiom pinpointing in the descripti...
收藏 引用
3rd international Conference on Formal Biomedical knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED, KR-MED 2008
作者: Baader, Franz Suntisrivaraporn, Boontawee Institute for Theoretical Computer Science TU Dresden Germany
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description logic EL. Description logic reasoning can not only be used to compute subsumption relationships between S... 详细信息
来源: 评论
ACE: A Flexible Environment for Complex Event Processing in logical Agents  3rd
收藏 引用
3rd international workshop on Engineering Multi-Agent Systems (EMAS)
作者: Costantini, Stefania Univ Aquila Dept Informat Sci & Engn & Math DISIM I-67100 Laquila Italy
In this paper we propose the general software engineering approach of transforming an agent into an Agent Computational Environment (ACE) composed of: (1) the "main" agent program;(2) a number of Event-Actio... 详细信息
来源: 评论
Computation with classical sequents
收藏 引用
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2008年 第3期18卷 555-609页
作者: Van Bakel, Steffen Lescanne, Pierre Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England Ecole Normale Super Lyon F-69364 Lyon France
X is an untyped continuation-style formal language with a typed subset that provides a Curry-Howard isomorphism for a sequent calculus for implicative classical logic. X can also be viewed as a language for describing... 详细信息
来源: 评论
Utilising the event calculus for policy driven adaptation on mobile systems
Utilising the event calculus for policy driven adaptation on...
收藏 引用
3rd international workshop on Policies for Distributed Systems and Networks
作者: Efstratiou, C Friday, A Davies, N Cheverst, K Univ Lancaster Dept Comp Lancaster LA1 4YR England
Adaptation is an important requirement for mobile applications due to the varying levels of resource availability that characterises mobile environments. However without proper control, multiple applications can each ... 详细信息
来源: 评论
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, ... 详细信息
来源: 评论
Uniqueness logic
Uniqueness logic
收藏 引用
3rd international workshop on Algebraic Methods in Language Processing
作者: Harrington, D Univ Calgary Dept Comp Sci Calgary AB T2N 1N4 Canada
A uniqueness type system is used to distinguish values which are referenced at most once from values which may be referenced an arbitrary number of times in a program. Uniqueness type systems are used in the Clean and... 详细信息
来源: 评论
Discovering new knowledge from graph data using inductive logic programming  9th
收藏 引用
9th international workshop on Inductive logic programming (ILP-99)
作者: Miyahara, T Shoudai, T Uchida, T Kuboyama, T Takahashi, K Ueda, H Hiroshima City Univ Fac Informat Sci Hiroshima 7313194 Japan Kyushu Univ 39 Dept Informat Kasuga Fukuoka 8168580 Japan Univ Tokyo Ctr Collaborat Res Tokyo 1530041 Japan
We present a method for discovering new knowledge from structural data which are represented by graphs in the framework of inductive logic programming. A graph, or network, is widely used for representing relations be... 详细信息
来源: 评论