咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
Reflective agents in metalogic programming  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Costantini, Stefania Dell’acqua, Pierangelo Lanzarone, Gaetano A. Universita’ degli Studi di Milano Dipartimento di Scienze dell’lnformazione Via Comelico 39/41 Milano1-20135 Italy Computing Science Department Uppsala University Box 520 UppsalaS-751 20 Sweden
We introduce a representation of agents by means of theories, and a cortmaunication among agents based on reflection, within the metalogic programming paradigm. The semantics of these features is shown to be the class... 详细信息
来源: 评论
PASO: A Web-Based Parser for Solidity Language Analysis  3
PASO: A Web-Based Parser for Solidity Language Analysis
收藏 引用
IEEE 3rd international workshop on Blockchain Oriented Software Engineering (IWBOSE)
作者: Pierro, Giuseppe Antonio Tonelli, Roberto Univ Cagliari Dept Math & Comp Sci Cagliari Italy
Smart Contracts are computer programs which implement and execute transactions and manage business logic on a decentralized public ledger. Smart Contracts can be written in different programming languages and for diff... 详细信息
来源: 评论
Inductive programming: A Survey of Program Synthesis Techniques
Inductive Programming: A Survey of Program Synthesis Techniq...
收藏 引用
3rd international workshop on Approaches and Applications of Inductive programming
作者: Kitzelmann, Emanuel Univ Bamberg Cognit Syst Grp Bamberg Germany
Inductive programming (IP)-the use of inductive reasoning methods for programming, algorithm design, and software development is a currently emerging research field. A major subfield is inductive program synthesis, th... 详细信息
来源: 评论
6th international workshop on logic and Engineering of Natural Language Semantics (LENLS 6)
6th International Workshop on Logic and Engineering of Natur...
收藏 引用
3rd international workshop on Juris-Informatics ((JURISIN) / 1st JSAI international Symoposia on Artificial Intelligence (JSAI-isAI) / LENLS workshop / JURISIN workshop / KCSD workshop / LLLL workshop
作者: Bekki, Daisuke Ochanomizu Univ Bunkyo Ku Tokyo 1128610 Japan
The annual international workshop LENLS (logic and Engineering of Natural Language Semantics) covers topics in formal linguistics and related fields, such as theoretical computer science, mathematical logic and formal... 详细信息
来源: 评论
Extensions of logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
The papers in this volume are extended versions of presentations at the fourth international workshop on Extensions of logic programming, held at the University of St Andrews, March/April 1993. Among the topics covere... 详细信息
来源: 评论
Tropical linear-fractional programming and parametric mean payoff games
收藏 引用
JOURNAL OF SYMBOLIC COMPUTATION 2012年 第12期47卷 1447-1478页
作者: Gaubert, Stephane Katz, Ricardo D. Sergeev, Sergei Ecole Polytech INRIA F-91128 Palaiseau France Ecole Polytech Ctr Math Appl F-91128 Palaiseau France Univ Nacl Rosario Inst Matemat Beppo Levi CONICET RA-2000 Rosario Santa Fe Argentina
Tropical polyhedra have been recently used to represent disjunctive invariants in static analysis. To handle larger instances, tropical analogues of classical linear programming results need to be developed. This moti... 详细信息
来源: 评论
Negation and control in automatically generated logic programs  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Wiggins, Geraint A DREAM Group Department of Artificial Intelligence University of Edinburgh 80 South Bridge EdinburghEH1 1HN United Kingdom
I discuss issues of control and floundering during execution of automatically synthesised logic programs. The process of program synthesis can be restricted, without loss of generality, so that the only negated calls ... 详细信息
来源: 评论
ACE: A Flexible Environment for Complex Event Processing in logical Agents  3rd
收藏 引用
3rd international workshop on Engineering Multi-Agent Systems (EMAS)
作者: Costantini, Stefania Univ Aquila Dept Informat Sci & Engn & Math DISIM I-67100 Laquila Italy
In this paper we propose the general software engineering approach of transforming an agent into an Agent Computational Environment (ACE) composed of: (1) the "main" agent program;(2) a number of Event-Actio... 详细信息
来源: 评论
Debugging snomed ct using axiom pinpointing in the description logic EL+
Debugging snomed ct using axiom pinpointing in the descripti...
收藏 引用
3rd international Conference on Formal Biomedical knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED, KR-MED 2008
作者: Baader, Franz Suntisrivaraporn, Boontawee Institute for Theoretical Computer Science TU Dresden Germany
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description logic EL. Description logic reasoning can not only be used to compute subsumption relationships between S... 详细信息
来源: 评论
Event-based runtime verification of Java programs  3
Event-based runtime verification of Java programs
收藏 引用
3rd international workshop on Dynamic Analysis, WODA 2005
作者: D'amorim, Marcelo Havelund, Klaus Department of Computer Science University of Illinois UrbanaChampaign United States Kestrel Technology Palo Alto United States
We introduce the temporal logic HAWK and its supporting tool for runtime verification of Java programs. A monitor for a HAWK formula checks if a finite trace of program events satisfies the formula. HAWK is a programm... 详细信息
来源: 评论