咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是251-260 订阅
排序:
AGENP: An ASGrammar-based GENerative Policy Framework  2nd
AGENP: An ASGrammar-based GENerative Policy Framework
收藏 引用
23rd European Symposium on Research in Computer Security (ESORICS) / 2nd international workshop on Policy-Based Autonomic Data Governance (PADG
作者: Calo, Seraphin Manotas, Irene de Mel, Geeth Cunnington, Daniel Law, Mark Verma, Dinesh Russo, Alessandra Bertino, Elisa IBM TJ Watson Res Ctr Distributed AI Dept Yorktown Hts NY 10549 USA Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA IBM Res UK Hartree Ctr Warrington Cheshire England IBM Res UK Emerging Technol Hursley Pk Hursley England Imperial Coll London South Kensington Campus London England
Generative policies have been proposed as a mechanism to learn the constraints and preferences of a system-especially complex systems such as the ones found in coalitions-in a given context so that the system can adap... 详细信息
来源: 评论
Projection and unification for conceptual graphs  3rd
收藏 引用
3rd international Conference on Conceptual Structures (ICCS 95)
作者: Willems, M Vrije Universiteit Amsterdam De Boelelaan 1081a Amsterdam 1081 HV Netherlands
In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs i... 详细信息
来源: 评论
3rd international workshop on New Approaches for Multidimensional Signal Processing, NAMSP 2022
3rd International Workshop on New Approaches for Multidimens...
收藏 引用
3rd international workshop on New Approaches for Multidimensional Signal Processing, NAMSP 2022
The proceedings contain 23 papers. The special focus in this conference is on New Approaches for Multidimensional Signal Processing. The topics include: Development of IoT Indoor Monitoring System for Independent Elde...
来源: 评论
Neurosymbolic Visual Commonsense On Integrated Reasoning and Learning about Space and Motion in Embodied Multimodal Interaction  3
Neurosymbolic Visual Commonsense On Integrated Reasoning and...
收藏 引用
3rd international workshop on Spatio-Temporal Reasoning and Learning, STRL 2024
作者: Bhatt, Mehul School of Science and Technology Örebro University Sweden
We present recent and emerging advances in computational cognitive vision addressing artificial visual and spatial intelligence at the interface of (spatial) language, (spatial) logic and (spatial) cognition research.... 详细信息
来源: 评论
Advanced Languages of Terms for Ontologies  35
Advanced Languages of Terms for Ontologies
收藏 引用
35th international workshop on Description logics, DL 2022
作者: Balbiani, Philippe Diéguez, Martin Gencer, Çiğdem Institut de recherche en informatique de Toulouse CNRS-INPT-UT3 Université de Toulouse Toulouse France Laboratoire d’étude et de recherche en informatique d’Angers University of Angers Angers France Faculty of Arts and Sciences Istanbul Aydın University Istanbul Turkey
This paper is about the integration in a unique formalism of knowledge representation languages such as those provided by description logic languages and rule-based reasoning paradigms such as those provided by logic ... 详细信息
来源: 评论
Behavioral and coinductive rewriting
Behavioral and coinductive rewriting
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Goguen, Joseph Lin, Kai Roşu, Grigore Computer Science and Engineering University of California at San Diego San Diego CA 92093 United States
Behavioral rewriting differs from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including notions like termination and confluence. ... 详细信息
来源: 评论
An integrated architecture for surveillance and monitoring in an archaeological site  3
An integrated architecture for surveillance and monitoring i...
收藏 引用
3rd ACM international workshop on Video Surveillance and Sensor Networks, VSSN 2005
作者: Ardizzone, Edoardo La Cascia, Marco Lo Re, Giuseppe Ortolani, Marco DINFO - University of Palermo Viale delle Scienze ed. 6 Palermo90128 Italy
This paper describes an on-going work aimed at designing and deploying a system for the surveillance and monitoring of an archaeological site, namely the "Valley of the Temples" in Agrigento, Italy. Given th... 详细信息
来源: 评论
Design of Single Axis Solar Tracking System (SASTS) Integrated with Programmable logic Controller  3
Design of Single Axis Solar Tracking System (SASTS) Integrat...
收藏 引用
3rd IEEE international Virtual Conference on Innovations in Power and Advanced Computing Technologies, i-PACT 2021
作者: Isa, Normazlina Mat Ismail, Ya Mohammad Nizam Syah Gan, Chin Kim Politeknik Tun Syed Nasir Syed Ismail Hab Pendidikan Tinggi Pagoh KM1 Jalan Panchor Johor Malaysia Electronic Workshop Advanced Air Traffic Systems Temasya Industrial Park Shah Alam Selangor Malaysia Universiti Teknikal Malaysia Melaka Hang Tuah Jaya Durian Tunggal Faculty of Electrical Engineering Melaka Malaysia
The solar tracking system has an automatic movement of solar panel that is able to follow the intensity of the direction of sunlight to increase the power requirement. This paper is focused to develop the Single Axis ... 详细信息
来源: 评论
Psychiatric diagnosis from the viewpoint of computational logic  1
收藏 引用
1st international Conference on Computational logic, CL 2000
作者: Gartner, Joseph Swift, Terrance Tien, Allen Damásio, Carlos Viegas Pereira, Luís Moniz Medicine Rules Inc. 25 East Loop Rd. Stony Broon NY 11794 United States Department of Computer Science SUNY at Stony Brook Stony Brook NY United States Medical Decision Logic Inc. 7921 Ruxway Rd. Baltimore MD 21204-3515 United States A.I. Centre Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2825-114 Caparica Portugal
While medical information systems have become common in the United States, commercial systems that automate or assist in the process of medical diagnosis remain uncommon. This is not surprising, since automating diagn... 详细信息
来源: 评论
A comparison of logic-based infrastructures for concern detection and extraction
A comparison of logic-based infrastructures for concern dete...
收藏 引用
6th international Conference on Aspect-Oriented Software Development, AOSD'07
作者: Kniesel, Günter Hannemann, Jan T., Rho Institut für Informatik III Universität Bonn Bonn Germany Department of Graphics and Computer Science University of Tokyo Tokyo Japan
In this paper we evaluate logic code analysis and transformation frameworks for their suitability as basic infrastructures for fast detection and extraction of (crosscutting) concerns. Using design patterns as example... 详细信息
来源: 评论