咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
Beliefs in agent implementation
Beliefs in agent implementation
收藏 引用
3rd international workshop on Declarative Agent Languages and Technologies
作者: Winkelhagen, Laurens Dastani, Mehdi Broersen, Jan Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands
This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming language, the beliefs of agents are implemente... 详细信息
来源: 评论
Agent-oriented programming with underlying ontological reasoning
Agent-oriented programming with underlying ontological reaso...
收藏 引用
3rd international workshop on Declarative Agent Languages and Technologies, DALT 2005
作者: Moreira, Álvaro F. Vieira, Renata Bordini, Rafael H. Hübner, Jomi F. Universidade Federal do Rio Grande do Sul Brazil Universidade do Vale do Rio dos Sinos Brazil University of Durham United Kingdom Universidade Regional de Blumenau Brazil
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest;this vision is also affecting important tren... 详细信息
来源: 评论
SODA: Not just a drink! From an object-centered to a balanced object-process model-based enterprise systems development
SODA: Not just a drink! From an object-centered to a balance...
收藏 引用
Joint Meeting of the 4th workshop on Model-Based Development of Computer-Based Systems/3rd international workshop on Model-Based Methodologies for Pervasive and Embedded Software
作者: Dori, Dov Technion Israel Inst Technol Haifa Israel
Two so are system lifecycle development paradigms have been competing on the minds and hearts of software developers and executives: The traditional Object-Oriented approach and the emerging Service-Oriented Architect... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A framework for the study of evolved term-weighting schemes in information retrieval
A framework for the study of evolved term-weighting schemes ...
收藏 引用
ECAI 2006 3rd international workshop on Text-Based Information Retrieval, TIR 2006
作者: Cummins, Ronan O'Riordan, Colm University of Ireland Galway Ireland
Evolutionary algorithms and, in particular, Genetic programming (GP) are increasingly being applied to the problem of evolving term-weighting schemes in Information Retrieval (IR). One fundamental problem with the sol... 详细信息
来源: 评论
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... 详细信息
来源: 评论
DecSerFlow: Towards a truly declarative service flow language
收藏 引用
3rd international workshop on Web Services and Formal Methods
作者: van der Aalst, W. M. P. Pesic, M. Eindhoven Univ Technol Dept Informat Syst NL-5600 MB Eindhoven Netherlands
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL... 详细信息
来源: 评论
Forgetting in managing rules and ontologies
收藏 引用
CEUR workshop Proceedings 2006年 196卷 1-16页
作者: Eiter, Thomas Ianni, Giovambattista Schindlauer, Roman Tompits, Hans Wang, Kewen Institut Für Informationssysteme 184/3 Technische Universität Wien Favoritenstrasse 9-11 A-1040 Vienna Austria School of Information and Communication Technology Griffith University Brisbane QLD 4111 Australia
The language of HEX-programs under the answer-set semantics is designed for interoperating with heterogeneous sources via external atoms and for meta-reasoning via higher-order literals in the context of the Semantic ... 详细信息
来源: 评论
On applying inductive logic programming to the Web
On applying inductive logic programming to the Web
收藏 引用
3rd international Conference on Active Media Technology
作者: Huang, JJ Liu, CN Qiu, DJ Beijing Univ Technol Coll Comp Sci & Technol Beijing Municipal Key Lab Beijing 100022 Peoples R China
The Web has become an extremely large source of information and also a platform of various e-service including e-business, e-science, e-learning, e-government, etc. How to develop the new technology to discover useful... 详细信息
来源: 评论
Extending conceptual logic programs with arbitrary rules
Extending conceptual logic programs with arbitrary rules
收藏 引用
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
作者: Heymans, Stijn Van Nieuwenborgh, Davy Vermeir, Dirk Dept. of Computer Science Vrije Universiteit Brussel VUB Pleinlaan 2 B1050 Brussels Belgium
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason with both ontological and rule-based k... 详细信息
来源: 评论