咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
6th international workshop on logic and Engineering of Natural Language Semantics (LENLS 6)
6th International Workshop on Logic and Engineering of Natur...
收藏 引用
3rd international workshop on Juris-Informatics ((JURISIN) / 1st JSAI international Symoposia on Artificial Intelligence (JSAI-isAI) / LENLS workshop / JURISIN workshop / KCSD workshop / LLLL workshop
作者: Bekki, Daisuke Ochanomizu Univ Bunkyo Ku Tokyo 1128610 Japan
The annual international workshop LENLS (logic and Engineering of Natural Language Semantics) covers topics in formal linguistics and related fields, such as theoretical computer science, mathematical logic and formal... 详细信息
来源: 评论
Position paper: Ontological logic programming
Position paper: Ontological logic programming
收藏 引用
3rd international workshop on Semantic Sensor Networks, SSN 2010, Held in Conjunction with the 9th international Semantic Web Conference, ISWC 2010
作者: Şensoy, Murat De Mel, Geeth Vasconcelos, Wamberto W. Norman, Timothy J. Department of Computing Science University of Aberdeen AB24 3UE Aberdeen United Kingdom
In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usef... 详细信息
来源: 评论
Realizing Argumentation in Multi-agent Systems Using Defeasible logic programming
Realizing Argumentation in Multi-agent Systems Using Defeasi...
收藏 引用
6th international workshop on Argumentation in Multi-Agent Systems
作者: Thimm, Matthias Tech Univ Dortmund Dept Comp Sci Informat Engn Grp Dortmund Germany
We describe a working multi-agent architecture based on Defeasible logic programming (DeLP) where agents are engaged in an argumentation to reach a common conclusion. Due to the distributed approach personalities and ... 详细信息
来源: 评论
Proceedings of the 3rd international workshop on Semantic Sensor Networks 2010, SSN 2010 - workshop at the 9th international Semantic Web Conference, ISWC 2010
Proceedings of the 3rd International Workshop on Semantic Se...
收藏 引用
3rd international workshop on Semantic Sensor Networks, SSN 2010, Held in Conjunction with the 9th international Semantic Web Conference, ISWC 2010
The proceedings contain 11 papers. The topics discussed include: publishing linked sensor data;semantics-based plug-and-play configuration of sensor network services;using SCXML for semantic sensor networks;linking se...
来源: 评论
Towards a computer algebra system with automatic differentiation for use with object-oriented modelling languages
Towards a computer algebra system with automatic differentia...
收藏 引用
3rd international workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Andersson, Joel Houska, Boris Diehl, Moritz K.U. Leuven Belgium
The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation,... 详细信息
来源: 评论
A sound and complete algorithm for simple conceptual logic programs
A sound and complete algorithm for simple conceptual logic p...
收藏 引用
3rd international workshop on Applications of logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international Conference on logic programming, ICLP 2008
作者: Feier, Cristina Heymans, Stijn Knowledge-Based Systems Group Institute of Information Systems Vienna University of Technology Favoritenstrasse 9-11 A-1040 Vienna Austria
Open Answer Set programming (OASP) is a knowledge representation paradigm that allows for a tight integration of logic programming rules and Description logic ontologies. Although several decidable fragments of OASP e... 详细信息
来源: 评论
Efficiently Querying rdF(S) Ontologies with Answer Set programming
收藏 引用
JOURNAL OF logic AND COMPUTATION 2009年 第4期19卷 671-695页
作者: Ianni, Giovambattista Martello, Alessandra Panetta, Claudio Terracina, Giorgio Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende CS Italy Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria
Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently expressive languages for the representation and queryin... 详细信息
来源: 评论
Proceedings of the 3rd international workshop on Applications of logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international Conference on logic programming, ICLP 2008
Proceedings of the 3rd International Workshop on Application...
收藏 引用
3rd international workshop on Applications of logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international Conference on logic programming, ICLP 2008
The proceedings contain 7 papers. The topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logic programming with description logics...
来源: 评论
Proceedings of the 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
Proceedings of the 6th International Workshop on OWL: Experi...
收藏 引用
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
The proceedings contain 34 papers. The topics discussed include: mechanisms for importing modules;a solution for the man-man problem in the family history knowledge base;towards integrity constraints in OWL;processing...
来源: 评论
Lambda calculus as a workflow model
Lambda calculus as a workflow model
收藏 引用
3rd international workshop on Workflow Management and Applications in Grid Environments (WaGe2008)
作者: Kelly, Peter M. Coddington, Paul D. Wendelborn, Andrew L. Univ Adelaide Sch Comp Sci Adelaide SA 5005 Australia
Data-oriented workflows are often used in scientific applications for executing a set of dependent tasks across multiple computers. We discuss how these can be modeled using lambda calculus, and how ideas from functio... 详细信息
来源: 评论