咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
An extension to OWL with general rules
收藏 引用
3rd international workshop on Rules and Rule Markup Languages for the Semantic Web
作者: Mei, J Liu, SP Yue, AB Lin, ZQ Peking Univ Dept Informat Sci Beijing 100871 Peoples R China
In Semantic Web, using rules to add more expressive power has drawn considerable attention. Recently ORL (OWL Rules Language) has been presented where OWL is extended with Horn clause rules. In this paper we propose a... 详细信息
来源: 评论
A preliminary report on integrating of answer set and constraint solving
A preliminary report on integrating of answer set and constr...
收藏 引用
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
作者: Baselice, Sabrina Bonatti, Piero Gelfond, M. Dipartimento di Scienze Fisiche Università Federico II Complesso Universitario di Monte Sant'Angelo Via Cinthia Napoli Italy Texas Tech. University Department of Computer Science Lubbock TX United States
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input program before the actual reasoning sta... 详细信息
来源: 评论
Software Engineering and Formal Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Carlos Canal Akram Idani
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included... 详细信息
来源: 评论
CEUR workshop Proceedings
CEUR Workshop Proceedings
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
The proceedings contain 6 papers. The topics discussed include: solving set constraints in B and event-B: foundations and applications;encoding sets as real numbers;programming in Java with restricted intensional sets...
来源: 评论
Composing customized web 3D animations with semantic queries
收藏 引用
GRAPHICAL MODELS 2020年 第0期107卷 101052-000页
作者: Flotynski, Jakub Walczak, Krzysztof Krzyszkowski, Marcin Poznan Univ Econ & Business Niepodleglosci 10 PL-61875 Poznan Poland
Creation of customized animated 3D content is an important issue in web-based VR/AR environments that involve users with various requirements for the content, e.g., in education, training, tourism, cultural heritage a... 详细信息
来源: 评论
Declarative programming for Microcontrollers - Datalog on Arduino  22nd
Declarative Programming for Microcontrollers - Datalog on Ar...
收藏 引用
22nd international Conference on Applications of Declarative programming and knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on Functional and Constraint logic programming, WFLP 2019
作者: Wenzel, Mario Brass, Stefan 06099 Germany
In this paper we describe a novel approach to programming microcontrollers based on the Arduino platform using Datalog as a clear and concise description language for system behaviors. The application areas of cheap a... 详细信息
来源: 评论
CLP(AD) as a deductive database language with updates  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Bertino, Elisa Martelli, Maurizio Montesi, Danilo Dipartimento di Informatica e Scienze dell’Informazione Università di Genova Viale Benedetto XV 3 Genova16132 Italy Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56125 Italy
In this paper we propose a logic-based language, CLP (AD) which is an instance of the Constraint logic programming schema and is a convenient semantic framework to be used for deductive database language with updates.... 详细信息
来源: 评论
Interpolation in equilibrium logic and answer set programming: The propositional case  3
Interpolation in equilibrium logic and answer set programmin...
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010
作者: Gabbay, Dov Pearce, David Valverde, Agustín King's College London United Kingdom AI Dept Universidad Politécnica de Madrid Spain Dept of Applied Mathematics Universidad de Málaga Spain
Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propo... 详细信息
来源: 评论
An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the description logic SHOQ  22
An ExpTime tableau method for dealing with nominals and quan...
收藏 引用
22nd international workshop on Concurrency, Specification and programming, CS and P 2013
作者: Nguyen, Linh Anh Golińska-Pilarek, Joanna Institute of Informatics University of Warsaw Banacha 2 Warsaw02-097 Poland Faculty of Information Technology VNU University of Engineering and Technology 144 Xuan Thuy Hanoi Viet Nam Institute of Philosophy University of Warsaw Krakowskie Przedmiescie 3 Warsaw00-927 Poland
We present the first tableau method with an EXPTIME (optimal) complexity for checking satisfiability of a knowledge base in the description logic SHOQ, which extends ALC with transitive roles, hierarchies of roles, no... 详细信息
来源: 评论
Modelling Radial Basis Functions with Rational logic Rules
Modelling Radial Basis Functions with Rational Logic Rules
收藏 引用
3rd international workshop on Hybrid Artificial Intelligence Systems
作者: Sottara, Davide Mello, Paola Univ Bologna Fac Engn Dept Elect Comp Sci & Syst I-40129 Bologna BO Italy
Connectionist systems such as Radial Basis Function Neural Networks and similar architectures are commonly applied to solve problems of learning relations from available examples. To overcome their limits in clarity o... 详细信息
来源: 评论