咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,198 篇 期刊文献
  • 99 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,398 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,722 篇 工学
    • 5,315 篇 计算机科学与技术...
    • 3,507 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,419 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 75 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 34 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,402 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 174 篇 hardware
  • 173 篇 programmable log...
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 22 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 38 篇 son tran cao
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,030 篇 英文
  • 320 篇 其他
  • 33 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8402 条 记 录,以下是4741-4750 订阅
排序:
Suitable graphs for answer set programming
Suitable graphs for answer set programming
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Linke, Thomas Institut für Informatik Universität Potsdam Germany
Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. Sometimes this information is not sufficient for ... 详细信息
来源: 评论
Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
Topological investigations of the operators of the well-foun...
收藏 引用
作者: Heinze, Roland Institut für Informatik III Rheinische Friedrich-Wilhelms-Universität Bonn Bonn Germany
We present a progress report on ongoing work to investigate topologies on spaces of interpretations in which one obtains the continuity of the operators associated with the well-founded, and alternating fixed-point se... 详细信息
来源: 评论
An integrated information system powered by Prolog
收藏 引用
5th International Symposium on Practical Aspects of Declarative Languages
作者: Porto, A Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-1200 Lisbon Portugal
Our Faculty embarked a few years ago on an ambitious project to redesign itself around an integrated information system, aimed at supporting all information handling activities and deployed through dynamic Web interfa... 详细信息
来源: 评论
Ambiguity and persistence in the interval algebra
Ambiguity and persistence in the interval algebra
收藏 引用
Proceedings of the International Conference on Artificial Intelligence, IC-AI 2003
作者: Almeida, Michael J. University of Maryland Eastern Shore Mathematics and Computer Science Princess Anne MD 21853 United States
This paper presents a set of rules for reasoning about the truth values of states in knowledge systems using an interval-based representation of time. Two major sources of complexity, ambiguity in temporal networks an... 详细信息
来源: 评论
Action rules for programming constraint propagators and interactive user interfaces  14th
Action rules for programming constraint propagators and inte...
收藏 引用
14th International Conference on Applications of Prolog, INAP 2001
作者: Zhou, Neng-Fa Department of Computer and Information Science Brooklyn College and Graduate Center The City University of New York New YorkNY United States
In this paper, we present a new language construct, called Action Rules (AR), and describe its application to the implementation of various constraint propagators and interactive graphical user interfaces. An action r... 详细信息
来源: 评论
On Translating Geometric Solids to Functional Expressions  03
On Translating Geometric Solids to Functional Expressions
收藏 引用
Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative programming
作者: Banyasad, Omid Cox, Philip T. Faculty of Computer Science Dalhousie University 6050 University Avenue Halifax NS Canada
Language for Structured Design (LSD) is a high level, visual, logic programming language for design of structured objects. LSD combines the design and programming activities in a homogeneous programming/design environ... 详细信息
来源: 评论
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
A narrowing-based instantiation rule for rewriting-based fol...
收藏 引用
作者: Moreno, Ginés Department of Computer Science University of Castilla-La Mancha Albacete 02071 Spain
In this paper we show how to transfer some developments done in the field of functional logic programming (FLP) to a pure functional setting (FP). More exactly, we propose a complete fold/unfold based transformation s... 详细信息
来源: 评论
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning systems
Properties of maximal cliques of a pair-wise compatibility g...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Mercer, R.E. Risch, V. Cognitive Engineering Laboratory Department of Computer Science University of Western Ontario London ON N6A 5B7 Canada InCA Team LSIS - UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme avenue Escadrille Normandie Niemen 13397 Marseille cédex 20 France
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic programming, and a restricted form of ... 详细信息
来源: 评论
Coordination by means of synchronous and asynchronous communication in concurrent constraint programming
Coordination by means of synchronous and asynchronous commun...
收藏 引用
Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)
作者: Jacquet, Jean-Marie Brim, LuboǍ Gilbert, David Křetínský, Mojmír Institute of Informatics University of Namur Namur Belgium Department of Computer Science Masaryk University Brno Czech Republic Department of Computing Science University of Glasgow Glasgow United Kingdom
Concurrent constraint programming has been thought as providing coordination of concurrent processes on the basis of the availability and sharing of information. It classically incorporates a form of asynchronous comm... 详细信息
来源: 评论
Finite domain constraint solver learning
Finite domain constraint solver learning
收藏 引用
18th International Joint Conference on Artificial Intelligence, IJCAI 2003
作者: Lallouet, Arnaud Dao, Thi-Bich-Hanh Legtchenko, Andrei Ed-Dbali, AbdelAli University d'Orleans LIFO BP 6759 45067 Orleans France
In this paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be learned is taken as the set o... 详细信息
来源: 评论