咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献

馆藏范围

  • 355 篇 电子文献
  • 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 篇 ontology
  • 8 篇 logic gates
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 temporal logic
  • 5 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits
  • 4 篇 computer program...
  • 4 篇 nonvolatile memo...
  • 3 篇 computer science
  • 3 篇 fuzzy 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 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.
  • 2 篇 eiter t

语言

  • 347 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
355 条 记 录,以下是261-270 订阅
排序:
Abduction, argumentation and bi-disjunctive logic programs
Abduction, argumentation and bi-disjunctive logic programs
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Wang, KW Chen, HW Changsha Inst Technol Sch Comp Changsha 410073 Peoples R China
We study the relationship between argumentation (abduct ion) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for disjunctive logic programming is presented, i... 详细信息
来源: 评论
knowledge representation with logic programs
Knowledge representation with logic programs
收藏 引用
3rd international workshop on logic programming and knowledge representation
作者: Brewka, G Dix, J Univ Leipzig Inst Informat D-04109 Leipzig Germany Univ Koblenz Landau Inst Informat D-56075 Koblenz Germany
In this overview Ne show how knowledge representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on definite logic programs. Although this ... 详细信息
来源: 评论
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.... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Using background knowledge to build multistrategy learners
收藏 引用
MACHINE LEARNING 1997年 第3期27卷 241-257页
作者: Sammut, C School of Computer Science and Engineering University of New South Wales Sydney Australia
This paper discusses the role that background knowledge can play in building flexible multistrategy learning systems. We contend that a variety of learning strategies can be embodied in the background knowledge provid... 详细信息
来源: 评论
A multistrategy approach to relational knowledge discovery in databases
收藏 引用
MACHINE LEARNING 1997年 第3期27卷 287-312页
作者: Morik, K Brockhausen, P Computer Science Department LS VIII Univ. Dortmund Dortmund
When learning from very large databases, the reduction of complexity is extremely important. Two extremes of making knowledge discovery in databases (KDD) feasible have been put forward. One extreme is to choose a ver... 详细信息
来源: 评论
Object-oriented behaviour modelling for real-time design
Object-oriented behaviour modelling for real-time design
收藏 引用
3rd international workshop on Object-Oriented Real-Time Dependable Systems
作者: Hanish, AA Dillon, TS La Trobe Univ Victoria Australia
The commonly recognised weakness of modern object-oriented design and implementation methodologies lies in their superficial treatment of inter-object dynamics. This paper addresses the problem of behaviour modelling ... 详细信息
来源: 评论
A tableau system for linear-time temporal logic  3rd
收藏 引用
3rd international workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1997
作者: Schmitt, Peter H. Goubault-Larrecq, Jean Institut für Logik Komplexität und Deduktionssysteme Universits Karlsruhe KarlsruheD-76128 Germany
We present a sound, complete and terminating tableau system for the propositional logic of linear-TIME with only (formula presented) and (formula presented) as temporal operators. © Springer-Verlag Berlin Heidelb... 详细信息
来源: 评论
6th international Conference on Algebraic and logic programming, ALP 1997 and the 3rd international workshop on Higher-Order Algebra, logic and Term Rewriting, HOA 1997
6th International Conference on Algebraic and Logic Programm...
收藏 引用
6th international Conference on Algebraic and logic programming, ALP 1997
The proceedings contain 18 papers. The special focus in this conference is on Functional and logic programming. The topics include: Safe folding/unfolding with conditional narrowing;optimal non-deterministic functiona...
来源: 评论
The reference component of PEP  3rd
收藏 引用
3rd international workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 97)
作者: Grahlmann, B Institut für Informatik Universität Hildesheim Marienburger Platz 22 Hildesheim D-31141 Germany
The PEP tool is a programming Environment based on Petri Nets. Sophisticated programming and verification components are embedded in a user-friendly graphical interface. The basic idea is that the programming componen... 详细信息
来源: 评论