咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
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... 详细信息
来源: 评论
Toward the formal foundation of ant programming  3rd
Toward the formal foundation of ant programming
收藏 引用
3rd international workshop on Ant Algorithms, ANTS 2002
作者: Birattari, Mauro Di Caro, Gianni Dorigo, Marco IRIDIA Université Libre de Bruxelles CP 194/6 Av. Franklin D. Roosevelt 50 Brussels1050 Belgium
This paper develops the formal framework of ant programming with the goal of gaining a deeper understanding on ant colony optimization and, more in general, on the principles underlying the use of an iterated Monte Ca... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Interface-oriented middleware and distributed service inference
Interface-oriented middleware and distributed service infere...
收藏 引用
3rd workshop on Adaptive and Reflective Middleware, ARM '04
作者: Varney, L. Robert Parker, D. Stott Department of Computer Science University of California Los Angeles CA United States
Distributed systems that dynamically adapt to changing environments should be developed based on incrementally defined, loosely coupled services. But current middleware platforms tend to encourage monolithic services ... 详细信息
来源: 评论
SLWV - A theorem prover for logic programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Pereira, Luís Moniz Caires, Luis Alferes, José AI Centre Uninova and DCS U.Nova de Lisboa Monte da Caparica2825 Portugal
The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing. The proof system we propose (SLWV-resolution, for Selected Linear Without contrapositive clause Variants)... 详细信息
来源: 评论
Computational logic — CL 2000  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey
These are the proceedings of the First international Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspec... 详细信息
来源: 评论
Towards coq formalisation of {log} set constraints resolution  3
Towards coq formalisation of {log} set constraints resolutio...
收藏 引用
3rd international workshop on Sets and Tools, SETS 2018
作者: Dubois, Catherine Weppe, Sulyvan ENSIIE Lab. Samovar CNRS Évry France ENSIIE Évry France
The language {log} is a Constraint logic programming language that natively supports finite sets and constraints such as (non) equality and (non) membership. The set constraints resolution process is mathematically fo... 详细信息
来源: 评论
Type inference for unboxed types and first class mutability
Type inference for unboxed types and first class mutability
收藏 引用
3rd workshop on programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006 - ASPLOS XII workshop
作者: Sridhar, Swaroop Shapiro, Jonathan S. Systems Research Laboratory Department of Computer Science Johns Hopkins University United States
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hard-ware specification, and temporal predictability. The robustness and checkability of these... 详细信息
来源: 评论
Scalability of OWL reasoning:: Role condensates
Scalability of OWL reasoning:: Role condensates
收藏 引用
OTM Confederated international Conference and workshop
作者: Wandelt, Sebastian Moeller, Ralf TU Hamburg Harburg Inst Software Syst Hamburg Germany
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of in-memory structures and are therefor... 详细信息
来源: 评论