咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
End-user development of knowledge bases for semi-automated formation of task cards  3
End-user development of knowledge bases for semi-automated f...
收藏 引用
3rd international workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021
作者: Dorodnykh, N.O. Kotlov, Y.V. Nikolaychuk, O.A. Popov, V.M. Yurin, A.Y. 134 Lermontov str. Irkutsk664033 Russia 3 Kommunarov str. Irkutsk664003 Russia
The complexity of creating artificial intelligence applications remains high. One of the factors that cause such complexity is the high qualification requirements for developers in the field of programming. Developmen... 详细信息
来源: 评论
Three lessons in creating a knowledge base to enable reasoning, explanation and dialog  1
Three lessons in creating a knowledge base to enable reasoni...
收藏 引用
1st workshop on Natural Language Processing and Automated Reasoning, NLPAR 2013 - Co-located with 12th international Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2013
作者: Chaudhri, Vinay K. Dinesh, Nikhil Inclezan, Daniela Artificial Intelligence Center SRI International Menlo ParkCA94025 United States
Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit repr... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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. ... 详细信息
来源: 评论
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...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Handling relations over finite domains in the rule-based system ELAN
Handling relations over finite domains in the rule-based sys...
收藏 引用
The 3rd international workshop on Rewriting logic and its Applications
作者: Ringeissen, Christophe LORIA-INRIA 615 rue du Jardin Botanique F-54602 Villers-les-Nancy Cedex France
We present a methodology for handling efficiently relations over small finite domains in the rule-based programming language ELAN. Usually, a relation is specified as a first-order formula (a constraint) interpreted i... 详细信息
来源: 评论
Defeasible Reasoning with Prototype Descriptions: A New Preference Order  37
Defeasible Reasoning with Prototype Descriptions: A New Pref...
收藏 引用
37th international workshop on Description logics, DL 2024
作者: Sacco, Gabriele Bozzato, Loris Kutz, Oliver Fondazione Bruno Kessler Via Sommarive 18 Trento38123 Italy Free University of Bozen-Bolzano Piazza Domenicani 3 Bolzano39100 Italy DiSTA - Università dell’Insubria Via O. Rossi 9 Varese21100 Italy
The representation of defeasible information in Description logics is a well-known issue and many formal approaches have been proposed. However, in these proposals, little attention has been devoted to studying their ... 详细信息
来源: 评论
QuickFOIL: Scalable inductive logic programming
QuickFOIL: Scalable inductive logic programming
收藏 引用
3rd workshop on Spatio-Temporal Database Management, STDBM 2006, Co-located with the 32nd international Conference on Very Large Data Bases, VLDB 2006
作者: Zeng, Qiang Patel, Jignesh M. Page, David University of Wisconsin-Madison United States
learning technique that learns first-order rules from relationalstructured data. However, to-date most ILP systems can only be applied to small datasets (tens of thousands of examples). A long-standing challenge in th... 详细信息
来源: 评论