咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是191-200 订阅
WSPI 2005 - Proceedings of the 2nd international workshop on Philosophy and Informatics, Organized by the SIG Philosophy and Informatics at the 3rd Conference Professional knowledge Management
WSPI 2005 - Proceedings of the 2nd International Workshop on...
收藏 引用
2nd international workshop on Philosophy and Informatics, WSPI 2005, Organized by the SIG Philosophy and Informatics at the 3rd Conference Professional knowledge Management
The proceedings contain 13 papers. The topics discussed include: domain independent integrated multimedia data mining is a frivolous exercise: classicism vs. connectionism debate revisited;knowledge representation and...
来源: 评论
Multi-level method understanding using microprints
Multi-level method understanding using microprints
收藏 引用
3rd international workshop on Visualizing Software for Understanding and Analysis (VISSOFT 2005)
作者: Ducasse, Stephane Lanza, Michele Robbes, Romain LISTIC Université de Savoie France Faculty of Informatics University of Lugano Switzerland
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the primary abstractions from which applications are built, while methods contain the actual program logic. T... 详细信息
来源: 评论
ASP 2005 - Answer Set programming: Advances in Theory and Implementation - Proceedings of the 3rd international workshop, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
ASP 2005 - Answer Set Programming: Advances in Theory and Im...
收藏 引用
3rd international workshop on Answer Set programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
The proceedings contain 22 papers. The topics discussed include: a preliminary report on integrating of answer set and constraint solving;extending conceptual logic programs with arbitrary rules;combining answer sets ...
来源: 评论
knowledge representation and the embodied mind: Towards a philosophy and technology of personalized informatics
Knowledge representation and the embodied mind: Towards a ph...
收藏 引用
2nd international workshop on Philosophy and Informatics, WSPI 2005, Organized by the SIG Philosophy and Informatics at the 3rd Conference Professional knowledge Management
作者: Balke, Wolf-Tilo Mainzer, Klaus Electrical Engineering and Computer Science University of California Berkeley CA 94720 United States Philosophy of Science Institute of Interdisciplinary Informatics Universität Augsburg 86135 Augsburg Germany
knowledge representation has a long tradition in logic and philosophy. Automated reasoning with ontologies and categories had been discussed in philosophy, before it was formalized in artificial intelligence and e.g. ... 详细信息
来源: 评论
An algebraic account of modularity in ID-logic
An algebraic account of modularity in ID-logic
收藏 引用
3rd international workshop on Answer Set programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
作者: Vennekens, Joost Denecker, Marc Dept. of Computer Science K.U. Leuven Celestijnenlaan 200A B-3001 Leuven Belgium
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this logic in terms of approximation theory, a... 详细信息
来源: 评论
SELP - A system for studying strong equivalence between logic programs
SELP - A system for studying strong equivalence between logi...
收藏 引用
3rd international workshop on Answer Set programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
作者: Chen, Yin Lin, Fangzhen Li, Lei Department of Computer Science South China Normal University China Software Institute Sun Yat-Sen University China Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay Kowloon Hong Kong
This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given ground disjunctive logic programs are equivalent, an... 详细信息
来源: 评论
Event-based runtime verification of Java programs  3
Event-based runtime verification of Java programs
收藏 引用
3rd international workshop on Dynamic Analysis, WODA 2005
作者: D'amorim, Marcelo Havelund, Klaus Department of Computer Science University of Illinois UrbanaChampaign United States Kestrel Technology Palo Alto United States
We introduce the temporal logic HAWK and its supporting tool for runtime verification of Java programs. A monitor for a HAWK formula checks if a finite trace of program events satisfies the formula. HAWK is a programm... 详细信息
来源: 评论
Disjunctive answer set programming via satisfiability
Disjunctive answer set programming via satisfiability
收藏 引用
3rd international workshop on Answer Set programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
作者: Lierler, Yuliya Erlangen-Nürnberg Universität Germany
Using SAT solvers as inference engines in answer set programming systems showed to be a promising approach in building efficient systems. Nowadays SAT based answer set programming systems successfully work with nondis... 详细信息
来源: 评论
Debugging logic programs under the answer set semantics
Debugging logic programs under the answer set semantics
收藏 引用
3rd international workshop on Answer Set programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
作者: Brain, Martin De Vos, Marina Department of Computer Science University of Bath Bath United Kingdom
This paper discusses the background, algorithms and implementation techniques to support programmers in 'debugging' logic programs under the answer set semantics. We first investigate what constitutes an error... 详细信息
来源: 评论
Real time temporal logic: Past, present, future
收藏 引用
3rd international workshop on Formal Modeling and Analysis of Timed Systems
作者: Maler, O Nickovic, D Pnueli, A Verimag F-38610 Gieres France Weizmann Inst Sci IL-76100 Rehovot Israel NYU New York NY 10012 USA
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that timed languages specified by the past ... 详细信息
来源: 评论