咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
On spatial constraint solving approaches  1
收藏 引用
3rd international workshop on Automated Deduction in Geometry, ADG 2000
作者: Hoffmann, Christoph M. Yuan, Bo Computer Science Department Purdue University West LafayetteIN47907-1398 United States
Simultaneous spatial constraint problems can be approached algebraically, geometrically, or constructively. We examine how each approach performs, using several example problems, especially constraint problems involvi... 详细信息
来源: 评论
Towards a computer algebra system with automatic differentiation for use with object-oriented modelling languages
Towards a computer algebra system with automatic differentia...
收藏 引用
3rd international workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with the MODELS 2010 Conference
作者: Andersson, Joel Houska, Boris Diehl, Moritz K.U. Leuven Belgium
The Directed Acyclic Graph (DAG), which can be generated by object oriented modelling languages, is often the most natural way of representing and manipulating a dynamic optimization problem. With this representation,... 详细信息
来源: 评论
Formalizing and implementing types in msvl
Formalizing and implementing types in msvl
收藏 引用
3rd international workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013
作者: Wang, Xiaobing Duan, Zhenhua Zhao, Liang Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xian 710071 China
This paper investigates techniques for formalizing and implementing types in the temporal logic programming language MSVL, which is an executable subset of Projection Temporal logic. To this end, the data domain of MS... 详细信息
来源: 评论
3rd international Conference on Software, Services and Semantic Technologies, S3T 2011
3rd International Conference on Software, Services and Seman...
收藏 引用
3rd international Conference on Software, Services and Semantic Technologies, S3T 2011
The proceedings contain 66 papers. The special focus in this conference is on Intelligent Content, Semantics, knowledge Management, Business Intelligence and Innovation. The topics include: News article classification...
来源: 评论
Computational logic — CL 2000  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey
These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspec... 详细信息
来源: 评论
A modal framework for structured logic programs  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Giordano, Laura Martelli, Alberto Dipartimento di Informatica Università di Torino C.so Svizzera 185 Torino10149 Italy
Modal logic can be regarded as a unifying framework in which different logical languages with blocks and modules can be expressed. In particular, a modal characterization can be given to different languages which are ... 详细信息
来源: 评论
A Web-Based Application for Modeling and Deploying Fuzzy logic-Based Decision Support Systems for Autonomous Cyber-Physical Systems  3
A Web-Based Application for Modeling and Deploying Fuzzy Log...
收藏 引用
3rd international workshop on Intelligent Information Technologies and Systems of Information Security, IntelITSIS 2022
作者: Melnyk, Anatoliy Zimchenko, Bohdan Lviv Polytechnic National University Stepana Bandery St 12 Lviv79013 Ukraine The John Paul II Catholic University of Lublin Al. Raclawickie 14 Lublin20-950 Poland
In this article, a web-based application, that allows creation of datasets and sets of rules to build a fuzzy logic-based decision support system (DSS), is proposed. The web application allows creating and deploying m... 详细信息
来源: 评论
Towards cooperative interval narrowing  3
收藏 引用
3rd international workshop on Frontiers of Combining Systems (FroCoS 2000)
作者: Granvilliers, L Univ Nantes IRIN F-44322 Nantes 3 France
P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency m... 详细信息
来源: 评论
Coprocessor - A standalone SAT preprocessor  1
收藏 引用
19th international Conference on Applications of Declarative programming and knowledge Management, INAP 2011 and 25th workshop on logic programming, WLP 2011
作者: Manthey, Norbert Knowledge Representation and Reasoning Group Technische Universität Dresden Dresden01062 Germany
In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for performance since redundancy can be remo... 详细信息
来源: 评论
Scalability of OWL reasoning:: Role condensates
Scalability of OWL reasoning:: Role condensates
收藏 引用
OTM Confederated international Conference and workshop
作者: Wandelt, Sebastian Moeller, Ralf TU Hamburg Harburg Inst Software Syst Hamburg Germany
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of in-memory structures and are therefor... 详细信息
来源: 评论