咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
ASP 2005 - Answer Set programming: Advances in Theory and Implementation - Proceedings of the 3rd international workshop, Co-located Event with the 19th international Joint Conference on Artificial Intelligence, IJCAI 2005
ASP 2005 - Answer Set Programming: Advances in Theory and Im...
收藏 引用
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
The proceedings contain 22 papers. The topics discussed include: a preliminary report on integrating of answer set and constraint solving;extending conceptual logic programs with arbitrary rules;combining answer sets ...
来源: 评论
META-PROGRAMS FOR CHANGE, ASSUMPTIONS, OBJECTS, AND INHERITANCE  3rd
收藏 引用
3rd international workshop ON META-programming IN logic ( META-92 )
作者: GRABOWSKI, J Institut für Statistik und Informatik Universität Wien Liebiggasse 4 Wien A-1010 Austria
The effects of database updates, context switches, and the introduction of reusable components to declarative programming are given concise explanations in terms of many-sorted logical metaprograms, in a way that supp... 详细信息
来源: 评论
An implementation of narrowing strategies  01
An implementation of narrowing strategies
收藏 引用
Proceedings of the 3rd international ACM SIGPLAN Conference on Principles and Practice of Declarative programming (PPDP'00)
作者: Antoy, Sergio Hanus, Michael Massey, Bart Steiner, Frank Department of Computer Science Portland State University P.O. Box 751 Portland OR 97207 United States Institut für Informatik Chrstn.-Albrechts-Univ. Kiel Olshausenstr. 40 D-24098 Kiel Germany
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in particular on some optimal narrowing str... 详细信息
来源: 评论
iTextbooks 2021 - Proceedings of the 3rd international workshop on Intelligent Textbooks 2021, Co-located with 22nd international Conference on Artificial Intelligence in Education, AIED 2021
iTextbooks 2021 - Proceedings of the 3rd International Works...
收藏 引用
3rd international workshop on Intelligent Textbooks, iTextbooks 2021
The proceedings contain 13 papers. The topics discussed include: intelligent textbooks;mathematical formula representation via tree embeddings;dental TutorBot: exploitation of dental textbooks for automated learning;t...
来源: 评论
AN AUTOEPISTEMIC ANALYSIS OF META-LEVEL REASONING IN logic programming  3rd
收藏 引用
3rd international workshop ON META-programming IN logic ( META-92 )
作者: KONOLIGE, K Artificial Intelligence Center SRI International Menlo Park 94025 CA United States
An introspective agent can represent the connection between her own beliefs and the state of the world, using introspection principles to reason about this connection. An ideal introspective agent is one who makes the... 详细信息
来源: 评论
Answer-set programming as a new approach to event-sequence testing
Answer-set programming as a new approach to event-sequence t...
收藏 引用
3rd international Conference on Advances in System Testing and Validation Lifecycle, VALID 2011
作者: Erdem, Esra Inoue, Katsumi Oetsch, Johannes Pührer, Jörg Tompits, Hans Yilmaz, Cemal Faculty of Engineering and Natural Sciences Sabanci University Orhanli Tuzla 34956 Turkey National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku 101-8430 Japan Institut föur Informationssysteme 184/3 Technische Universität Wien Favoritenstrabe 9-11 A-1040 Vienna Austria
In many applications, faults are triggered by events that occur in a particular order. Based on the assumption that most bugs are caused by the interaction of a low number of events, Kuhn et al. recently introduced se... 详细信息
来源: 评论
MoMLeT and DS 2021 - Modern Machine Learning Technologies and Data Science workshop. Proceedings - 3rd international workshop. Volume I: Main Conference
MoMLeT and DS 2021 - Modern Machine Learning Technologies an...
收藏 引用
3rd international workshop on Modern Machine Learning Technologies and Data Science workshop, MoMLeT and DS 2021
The proceedings contain 48 papers. The topics discussed include: on the effect of complex network topology in managing epidemic outbreaks;holt’s linear model of COVID-19 morbidity forecasting in Ukraine;knowledge rep...
来源: 评论
Uniqueness logic
收藏 引用
THEORETICAL COMPUTER SCIENCE 2006年 第1期354卷 24-41页
作者: Harrington, D Univ Calgary Dept Comp Sci Calgary AB T2N 1N4 Canada
A uniqueness type system is used to distinguish values which are referenced at most once from values which may be referenced an arbitrary number of times in a program. Uniqueness type systems are used in the Clean and... 详细信息
来源: 评论
Optimizing the crisp representation of the fuzzy description logic SROIQ
Optimizing the crisp representation of the fuzzy description...
收藏 引用
3rd workshop on Uncertainty Reasoning for the Semantic Web, URSW 2007 - Held in Conjunction with the 6th international Semantic Web Conference, ISWC 2007
作者: Bobillo, Fernando Delgado, Miguel Gómez-Romero, Juan Department of Computer Science and Artificial Intelligence University of Granada C. Periodista Daniel Saucedo Aranda 18071 Granada Spain
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description logics were born to represent the former type of knowledge, but they require an appropriate fuzzy lan... 详细信息
来源: 评论
AN INTRODUCTION TO PARTIAL DEDUCTION  3rd
收藏 引用
3rd international workshop ON META-programming IN logic ( META-92 )
作者: KOMOROWSKI, J Department of Computer Science and Electrical Engineering The Norwegian Institute of Technology The University of Trondheim Trondheim N-7034 Norway
After several years of neglect, the importance of partial deduction (previously, partial evaluation in logic programming) as an omnipresent principle in logic programming, and to a certain degree in computing in gener... 详细信息
来源: 评论