咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata  3
An Experiment in Ping-Pong Protocol Verification by Nondeter...
收藏 引用
3rd workshop on Models for Formal Analysis of Real Systems (MARS) / 6th international workshop on Verification and Program Transformation (VPT)
作者: Glueck, Robert Univ Copenhagen Dept Comp Sci DIKU Copenhagen Denmark
An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic pushdown automata (2NPDA). A nondetermini... 详细信息
来源: 评论
A direct semantic characterization of RELFUN  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Boley, Harold Deutsches Forschungszentrum für Künstliche Intelligenz Box 2080 KaiserslauternD-6750 Germany
This paper attempts a direct semantic formalization of first-order relational-functional languages (the characteristic RELFUN subset) in terms of a generalized model concept. Function-defining conditional equations (o... 详细信息
来源: 评论
6th international Conference on Algebraic and logic programming, ALP 1997 and the 3rd international workshop on Higher-Order Algebra, logic and Term Rewriting, HOA 1997
6th International Conference on Algebraic and Logic Programm...
收藏 引用
6th international Conference on Algebraic and logic programming, ALP 1997
The proceedings contain 18 papers. The special focus in this conference is on Functional and logic programming. The topics include: Safe folding/unfolding with conditional narrowing;optimal non-deterministic functiona...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Relational approach to Boolean logic problems
收藏 引用
8th international Seminar on Relational Methods in Computer Science, 3rd international workshop on Applications of Kleene Algebra and workshop of COST Action 274: TARSKI
作者: Berghammer, Rudolf Milanese, Ulf Institut für Informatik und Praktische Mathematik Universität Kiel Olshausenstraße 40 D-24098 Kiel
We present a method for specifying and implementing algorithms for Boolean logic problems. It is formally grounded in relational algebra. Specifications are written in first-order set theory and then transformed syste... 详细信息
来源: 评论
Proceedings - 2023 IEEE/ACM international workshop on Automated Program Repair, APR 2023
Proceedings - 2023 IEEE/ACM International Workshop on Automa...
收藏 引用
3rd IEEE/ACM international workshop on Automated Program Repair, APR 2023
The proceedings contain 7 papers. The topics discussed include: mining fix patterns with context information for automatic program repair;quick repair of semantic errors for debugging;FixEval: execution-based evaluati...
来源: 评论
Towards Constraint logic programming over Strings for Test Data Generation  22nd
Towards Constraint Logic Programming over Strings for Test D...
收藏 引用
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
作者: Krings, Sebastian Schmidt, Joshua Skowronek, Patrick Dunkelau, Jannik Ehmke, Dierk Niederrhein University of Applied Sciences Mönchengladbach Germany Institut für Informatik Heinrich-Heine-Universität Düsseldorf Germany periplus instruments GmbH & Co. KG Darmstadt Germany
In order to properly test software, test data of a certain quality is needed. However, useful test data is often unavailable because existing or hand-crafted data might not be diverse enough to enable desired test cas... 详细信息
来源: 评论
3rd international workshop on Compiler Compilers, CC 1990
收藏 引用
3rd international workshop on Compiler Compilers, CC 1990
The proceedings contain 23 papers. The special focus in this conference is on Compiler Compilers. The topics include: Using an LALR compiler compiler to generate incremental parsers;generating efficient code from cont...
来源: 评论
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... 详细信息
来源: 评论