咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Contextual logic programming for ontology representation and querying
Contextual logic programming for ontology representation and...
收藏 引用
2nd international workshop on Applications of logic programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Held as Part of the 23rd international Conference on logic programming, ICLP 2007
作者: Lopes, Nuno Fernandes, Cláudio Abreu, Salvador Universidade de Évora Portugal
The system presented in this paper aims at using Contextual logic programming as a computational hub for knowledge modeled by web ontologies and enable querying that representation. The components required to behave a... 详细信息
来源: 评论
Refining action theories through abductive logic programming
Refining action theories through abductive logic programming
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Li, RW Pereira, LM Dahl, V Univ Nova Lisboa Dept Comp Sci Ctr Artificial Intelligence CENTRIA P-2825 Monte De Caparica Portugal Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
Reasoning about actions and changes often starts with an action theory which is then used for planning, prediction or explanation. In practice it is sometimes not simple to give an immediately available action theory.... 详细信息
来源: 评论
logic programming for knowledge representation
收藏 引用
23rd international Conference on logic programming (ICLP)
作者: Truszczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by needs of knowledge representation.
来源: 评论
Partial evidential stable models for disjunctive deductive databases
Partial evidential stable models for disjunctive deductive d...
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Seipel, D Univ Wurzburg D-97074 Wurzburg Germany
In this paper we consider the basic semantics of stable and partial stable models for disjunctive deductive databases (with default negation), cf. [9, 16]. It is well-known that there are disjunctive deductive databas... 详细信息
来源: 评论
On applying inductive logic programming to the Web
On applying inductive logic programming to the Web
收藏 引用
3rd international Conference on Active Media Technology
作者: Huang, JJ Liu, CN Qiu, DJ Beijing Univ Technol Coll Comp Sci & Technol Beijing Municipal Key Lab Beijing 100022 Peoples R China
The Web has become an extremely large source of information and also a platform of various e-service including e-business, e-science, e-learning, e-government, etc. How to develop the new technology to discover useful... 详细信息
来源: 评论
A Fuzzy knowledge representation Approach with Description logic and logic Program  1
收藏 引用
3rd international Conference on Teaching and Computational Science (WTCS 2009)
作者: Ding, Song Tang, Sheng-Qun Zhang, Liang Liu, Kun Qin, Xue Wuhan Univ State Key Lab Software Engn Wuhan 430072 Peoples R China
This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Dataloe and discusses the common reasoning problems in fuzz... 详细信息
来源: 评论
Multidatabase language requirements  3
Multidatabase language requirements
收藏 引用
3rd international workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems, RIDE-IMS 1993
作者: Kuhn, E. Institute of Computer Languages University of Technology Vienna Argentinierstr. 8 Vienna1040 Austria
The integration transparency of a multidatabase system depends heavily on the diversity of local language interfaces and models. These parameters are not predetermined but application dependent. The flexibility of a n... 详细信息
来源: 评论
knowledge representation and automated formal reasoning in description logic ALC  3
Knowledge representation and automated formal reasoning in d...
收藏 引用
3rd international workshop on Modern Machine Learning Technologies and Data Science workshop, MoMLeT and DS 2021
作者: Lenko, Vasyl Pasichnyk, Volodymyr Kunanets, Natalia Shcherbyna, Yurii Lviv Polytechnic National University 12 S. Bandery str. Lviv79013 Ukraine Ivan Franko National University of Lviv 1 Universytetska str. Lviv79000 Ukraine
The paper presents a systematic analysis of the description logic formalism that has proved to be the distinguished approach for automated formal reasoning. The focus is on the principles of knowledge representation a... 详细信息
来源: 评论
representation of fragmentary multilayered knowledge  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Hamfelt, Andreas Hansson, Åke Uppsala Programming Methodology and Artificial Intelligence Laboratory Computing Science Dept Uppsala University Box 520 UppsalaS-751 20 Sweden
Formalization presupposes ‘precisification’. A formal representation, therefore, cannot account for all relevant aspects of imprecise domain knowledge. In this paper we present a methodology for dealing with this pr... 详细信息
来源: 评论
logic programming with temporal constraints  3
Logic programming with temporal constraints
收藏 引用
3rd international workshop on Temporal representation and Reasoning, TIME 1996
作者: Schwalb, E. Vila, L. Dept. of Inf. and Comput. Sci. California Univ. IrvineCA United States
Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint logic programming), which augments logic programs with temporal constraints. Known algorithms for... 详细信息
来源: 评论