咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
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... 详细信息
来源: 评论
An ontology framework for knowledge-assisted semantic video analysis and annotation
An ontology framework for knowledge-assisted semantic video ...
收藏 引用
4th international workshop on knowledge Markup and Semantic Annotation, SemAnnot 2004 - Located at the 3rd international Semantic Web Conference, ISWC 2004
作者: Dasiopoulou, S. Papastathis, V.K. Mezaris, V. Kompatsiaris, I. Strintzis, M.G. Information Processing Laboratory Electrical and Computer Engineering Department Aristotle University of Thessaloniki Thessaloniki 54124 Greece 1st Km Thermi-Panorama Rd. Thessaloniki 57001 Greece
An approach for knowledge assisted semantic analysis and annotation of video content, based on an ontology infrastructure is presented. Semantic concepts in the context of the examined domain are defined in an ontolog... 详细信息
来源: 评论
Combining logic and optimization in cutting plane theory  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Bockmayr, A Eisenbrand, F Univ Henri Poincare LORIA F-54506 Vandoeuvre Nancy France Max Planck Inst Informat D-66123 Saarbrucken Germany
Cutting planes were introduced in 1958 by Gomory in order to solve integer linear optimization problems. Since then, they have received a lot of interest, not only in mathematical optimization, but also in logic and c... 详细信息
来源: 评论
Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications  14
Semantic Analysis of Concurrent Computing in Decentralized I...
收藏 引用
14th IEEE international Symposium on Autonomous Decentralized Systems (ISADS) / 3rd international workshop on Service Assurance in System Wide Information Management (SASWIM)
作者: De Luca, Gennaro Chen, Yinong Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA
As IoT and robotics applications continue to become increasingly complex and decentralized, there is an increase in the difficulty of verifying requirements such as guarantees of reliability, efficiency, and correctne... 详细信息
来源: 评论
Adding knowledge updates to 3APL
Adding knowledge updates to 3APL
收藏 引用
4th international workshop on programming Multi-Agent Systems, ProMAS 2006
作者: Nigam, Vivek Leite, João CENTRIA New University of Lisbon Portugal
3APL is a widely known multi-agent programming language. However, when to be used in certain domains and environments, 3APL has some limitations related to its simplistic update operator that only allows for updates t... 详细信息
来源: 评论
Object support in an array-based GPGPU extension for Ruby  3
Object support in an array-based GPGPU extension for Ruby
收藏 引用
3rd ACM SIGPLAN international workshop on Libraries, Languages, and Compilers for Array programming, ARRAY 2016
作者: Springer, Matthias Masuhara, Hidehiko Department of Mathematical and Computing Sciences Tokyo Institute of Technology Japan
This paper presents implementation and optimization techniques to support objects in Ikra, an array-based parallel extension to Ruby with dynamic compilation. The high-level goal of Ikra is to allow developers to expl... 详细信息
来源: 评论
Deduction-based Refinement Planning  3
Deduction-based Refinement Planning
收藏 引用
3rd international Conference on Artificial Intelligence Planning Systems, AIPS 1996
作者: Stephan, Werner Biundo, Susanne Stuhlsatzenhausweg 3 SaarbrückenD-66123 Germany
We introduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refinement proceeds by stepwise transforming non-constructive problem specifications ... 详细信息
来源: 评论
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
收藏 引用
THEORY AND PRACTICE OF logic programming 2020年 第6期20卷 864-879页
作者: COSTABILE, R. O. B. E. R. T. A. CATALANO, G. E. L. S. O. M. I. N. A. CUTERI, B. E. R. N. A. R. D. O. MORELLI, C. O. N. C. E. T. T. A. M. A. R. I. A. LEONE, N. I. C. O. L. A. MANNA, M. A. R. C. O. Univ Calabria Dept Math & Comp Sci Calabria Italy DLVSyst Srl Arcavacata Di Rende Italy
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders,... 详细信息
来源: 评论
A logical characterisation of ordered disjunction  3
A logical characterisation of ordered disjunction
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010
作者: Cabalar, Pedro Department of Computer Science Corunna University Corunna Spain
In this paper we consider a logical treatment for the ordered disjunction operator × introduced by Brewka, Niemelä and Syrjänen in their logic Programs with Ordered Disjunctions (LPOD). LPODs are used t... 详细信息
来源: 评论
A module system for meta-programming  4th
收藏 引用
4th international workshop on logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in logic, META 1994
作者: Hill, P.M. School of Computer Studies University of Leeds LeedsLS2 9JT United Kingdom
The need for modules in the development of large programs is well known while meta-programming is widely regarded as a simple yet powerful methodology for knowledge representation and reasoning. Thus if we wish to rea... 详细信息
来源: 评论