咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
CFI Construction and Balanced Graphs
CFI Construction and Balanced Graphs
收藏 引用
3rd international workshop on Frontiers in Algorithmics
作者: Zhou, Xiang Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100864 Peoples R China
In this article, we define a new variant of Cai-Furer-Immerman construction. With this construction and some conditions of Dawar and Richerby, we are able to show that inflationary fixed point logic with counting (IFP... 详细信息
来源: 评论
logic programming with functions over order-sorted feature terms  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Aïl-Kaci, Hassan Podelski, Andreas Digital Equipment Corporation Paris Research Laboratory 85 avenue Victor Hugo Rueil-Malmaison92500 France
LIFE is an experimental programming language proposing to integrate logic programming, functional programming, and object-oriented programming. It replaces first-order terms with ψ-terms, data structures which allow ... 详细信息
来源: 评论
An experimental study of search strategies and heuristics in answer set programming
An experimental study of search strategies and heuristics in...
收藏 引用
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
作者: Giunchiglia, Enrico Maratea, Marco STAR-Lab. DIST University of Genova viale Francesco Causa 13 16145 Genova Italy
Answer Set programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called "tight", the main search procedures use... 详细信息
来源: 评论
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...
来源: 评论
Declarative semantics of hypothetical logic programming with negation as failure  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Dung, Phan Minh Division of Computer Science Asian Institute of Technology GPO Box 2754 Bangkok10501 Thailand
We define the stable semantics for general hypothetical logic programs. We consider resolving a hypothetical goal (G ∶ R) in a context P as consisting of two steps: (i) Updating the context by inserting the clauses i... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Integrating Lab-size Automation Plants into a Web-based E-learning Environment for Teaching C programming in Teams
Integrating Lab-size Automation Plants into a Web-based E-le...
收藏 引用
3rd IFAC workshop on Internet Based Control Education (IBCE 2015)
作者: Vogel-Heuser, Birgit Rehberger, Sebastian Gramss, Denise Mayer, Felix Tech Univ Munich Inst Automat & Informat Syst D-80290 Munich Germany
Teaching computer science and particularly programming in the curriculum of a mechanical engineering bachelor poses a difficult task due to motivational factors of the students. In this paper we describe the measures ... 详细信息
来源: 评论
3rd international workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019
3rd International Workshop and Tutorial, FMTea 2019, held as...
收藏 引用
3rd international workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019
The proceedings contain 15 papers. The special focus in this conference is on international workshop and Tutorial, held as part of the World Congress on Formal Methods. The topics include: Principled and Pragmatic Spe...
来源: 评论
Meta for modularising logic programming  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Brogi, A. Mancarella, P. Pedreschi, D. Turini, F. Dipartimento di Informatica Universitàt di Pisa Corso Italia 40 Pisa56125 Italy
We use metalogic to define a suitable notion of module in logic programming. A module is viewed as a pair of logic programs, corresponding to the visible and the hidden part of the module, respectively. The constructi... 详细信息
来源: 评论
Improving DPLL solver performance with domain-specific heuristics: The ASP case  3
Improving DPLL solver performance with domain-specific heuri...
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010
作者: Balduccini, Marcello Intelligent Systems KRL Eastman Kodak Company RochesterNY14650-2102 United States
In spite of the recent improvements in the performance of the solvers based on the DPLL procedure, it is still possible for the search algorithm to focus on the wrong areas of the search space, preventing the solver f... 详细信息
来源: 评论