咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
A logical characterisation of ordered disjunction  3
A logical characterisation of ordered disjunction
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010
作者: Cabalar, Pedro Department of Computer Science Corunna University Corunna Spain
In this paper we consider a logical treatment for the ordered disjunction operator × introduced by Brewka, Niemelä and Syrjänen in their logic Programs with Ordered Disjunctions (LPOD). LPODs are used t... 详细信息
来源: 评论
Metalogic for state oriented programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Brogi, Antonio Turini, Franco Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy
Object-oriented programming and blackboard systems have proven to be two of the most successful approaches to the construction of complex software systems. Both of them rely upon the ability of maintaining either a di... 详细信息
来源: 评论
Disjunctive answer set programming via satisfiability
Disjunctive answer set programming via satisfiability
收藏 引用
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
作者: Lierler, Yuliya Erlangen-Nürnberg Universität Germany
Using SAT solvers as inference engines in answer set programming systems showed to be a promising approach in building efficient systems. Nowadays SAT based answer set programming systems successfully work with nondis... 详细信息
来源: 评论
Transformations of signed-binary number representations for efficient VLSI arithmetic  3
Transformations of signed-binary number representations for ...
收藏 引用
3rd IEEE international workshop on System-on-Chip for Real-Time Applications
作者: Andreev, BD Titlebaum, EL Friedman, EG Univ Rochester Dept Elect & Comp Engn Rochester NY 14627 USA
The VLSI implementation of arithmetic operations may be significantly improved by using non-conventional number representations and transforming intermediate results from one format to another format. For a target fun... 详细信息
来源: 评论
Adding knowledge updates to 3APL
Adding knowledge updates to 3APL
收藏 引用
4th international workshop on programming Multi-Agent Systems, ProMAS 2006
作者: Nigam, Vivek Leite, João CENTRIA New University of Lisbon Portugal
3APL is a widely known multi-agent programming language. However, when to be used in certain domains and environments, 3APL has some limitations related to its simplistic update operator that only allows for updates t... 详细信息
来源: 评论
Algebraic and logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book constitutes the refereed proceedings of the 6th international Conference on Algebraic and logic programming, ALP '97 and the 3rd international workshop on Higher-Order Algebra, logic and Term Rewriting, ... 详细信息
来源: 评论
A typed foundation for directional logic programming  3rd
收藏 引用
3rd international workshop on Extensions of logic programming, ELP 1992
作者: Reddy, Uday S. Department of Computer Science University of Illinois at Urbana-Champaign UrbanaIL61801 United States
A long standing problem in logic programming is how to impose directionality on programs in a safe fashion. The benefits of directionality include freedom from explicit sequential control, the ability to reason about ... 详细信息
来源: 评论
Lattice-based paraconsistent logic
收藏 引用
8th international Seminar on Relational Methods in Computer Science, 3rd international workshop on Applications of Kleene Algebra and workshop of COST Action 274: TARSKI
作者: MacCaull, Wendy Vakarelov, Dimiter Department of Mathematics Statistics and Computer Science St. Francis Xavier University Antigonish Canada Department of Mathematical Logic Sofia University Sofia Bulgaria
In this paper we describe a procedure for developing models und associated proof systems for two styles of paraconsistent logic. We first give an Urquhart-style representation of bounded not necessarily discrete latti... 详细信息
来源: 评论
Using ASP with recent extensions for causal explanations  3
Using ASP with recent extensions for causal explanations
收藏 引用
3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010
作者: Moinard, Yves INRIA Bretagne Atlantique IRISA Campus de Beaulieu Rennes Cedex35042 France
We examine the practicality for a user of using Answer Set programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We... 详细信息
来源: 评论
Open logic machine - III non-deterministic object feature representation via complexity evaluation
Open logic machine - III non-deterministic object feature re...
收藏 引用
Proceedings of the 3rd IEEE international workshop on Robot and Human Communication
作者: Kamejima, Kohji Aoki, Toshiyuki Watanabe, Yuriko C. Osaka Inst of Technology Osaka Japan
A dynamic feature representation scheme is presented for non-deterministic objects with complicated images. Object symbols are dynamically generated through the interaction with computable scene in which the object fe... 详细信息
来源: 评论