全文获取类型
收费全文 | 2394篇 |
免费 | 231篇 |
国内免费 | 207篇 |
专业分类
化学 | 256篇 |
晶体学 | 2篇 |
力学 | 59篇 |
综合类 | 198篇 |
数学 | 1781篇 |
物理学 | 536篇 |
出版年
2024年 | 4篇 |
2023年 | 36篇 |
2022年 | 38篇 |
2021年 | 46篇 |
2020年 | 55篇 |
2019年 | 74篇 |
2018年 | 58篇 |
2017年 | 62篇 |
2016年 | 66篇 |
2015年 | 49篇 |
2014年 | 78篇 |
2013年 | 131篇 |
2012年 | 76篇 |
2011年 | 92篇 |
2010年 | 101篇 |
2009年 | 147篇 |
2008年 | 140篇 |
2007年 | 152篇 |
2006年 | 149篇 |
2005年 | 159篇 |
2004年 | 114篇 |
2003年 | 130篇 |
2002年 | 124篇 |
2001年 | 100篇 |
2000年 | 98篇 |
1999年 | 78篇 |
1998年 | 71篇 |
1997年 | 62篇 |
1996年 | 56篇 |
1995年 | 67篇 |
1994年 | 37篇 |
1993年 | 36篇 |
1992年 | 24篇 |
1991年 | 14篇 |
1990年 | 15篇 |
1989年 | 20篇 |
1988年 | 11篇 |
1987年 | 9篇 |
1986年 | 6篇 |
1985年 | 9篇 |
1984年 | 5篇 |
1983年 | 7篇 |
1982年 | 6篇 |
1981年 | 4篇 |
1980年 | 5篇 |
1979年 | 3篇 |
1977年 | 4篇 |
1973年 | 1篇 |
1972年 | 1篇 |
1936年 | 1篇 |
排序方式: 共有2832条查询结果,搜索用时 625 毫秒
41.
Normative KGP agents 总被引:1,自引:0,他引:1
Fariba Sadri Kostas Stathis Francesca Toni 《Computational & Mathematical Organization Theory》2006,12(2-3):101-126
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles
an agent plays and the obligations and prohibitions that result from playing these roles. The proposed framework illustrates
how the resulting normative concepts, including the roles, can evolve dynamically during the lifetime of the agent. Furthermore,
we illustrate how these concepts can be combined with the existing capabilities of KGP agents in order to plan for their goals,
react to changes in the environment, and interact with other agents. Our approach gives an executable specification of normative
concepts that can be used directly for prototyping applications.
Fariba Sadri is a senior lecturer at Imperial College London, from where she received her PhD. Her earlier work concentrated on integrity
of deductive databases and temporal reasoning, in particular using the event calculus. In more recent years her work has been
on agent technologies and multi-agent systems. She has worked on logic-based agent models, reasoning, dynamic belief revision,
and inter-agent communication and negotiation for resources. She was co-awarded an EPSRC grant for research into logic-based
multi-agents and was co-investigator in the EU SOCS project.
Kostas Stathis is a senior lecturer at Royal Holloway, University of London and he holds a PhD from Imperial College London. His research
interests are in the area of computational intelligence in general and in the intersection of computational logic and cognitive
systems for social computing applications in particular. His research interests include: representation of human-computer
(or computer-computer) interaction as a game; cognitive & autonomous agents; artificial agent societies; agent communication;
programmable agents and agent platforms. He is a co-investigator of the EU ArguGRID project and was a co-investigator of the
EU SOCS project.
Francesca Toni is a senior lecturer at Imperial College London, from where she received her PhD. Her earlier work focused on abductive reasoning.
In more recent years, she focused on argumentation, agent models and multi-agent systems. She has worked on computational
logic-based agent models, agent reasoning, dynamic belief revision, and inter-agent communication and negotiation for resources.
She has been co-ordinator of the EU SOCS project, which developed the KGP model of agency, and is coordinator of the EU ArguGRID
project, on the application of argumentative agents within grid systems. 相似文献
42.
Two matrix approximation problems are considered: approximation of a rectangular complex matrix by subunitary matrices with
respect to unitarily invariant norms and a minimal rank approximation with respect to the spectral norm. A characterization
of a subunitary approximant of a square matrix with respect to the Schatten norms, given by Maher, is extended to the case
of rectangular matrices and arbitrary unitarily invariant norms. Iterative methods, based on the family of Gander methods
and on Higham’s scaled method for polar decomposition of a matrix, are proposed for computing subunitary and minimal rank
approximants. Properties of Gander methods are investigated in details.
AMS subject classification (2000) 65F30, 15A18 相似文献
43.
44.
In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations. 相似文献
45.
Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property. 相似文献
46.
Manuel Barros 《Annals of Global Analysis and Geometry》1992,10(3):219-226
In this paper we deal with the following particular case of a weaker conjecture by B. Y. Chen: Are there 2-type Willmore surfaces in E 3? In particular we prove that the above question has a negative answer when the surface is the image under stereographic projection of a minimal surface in S 3. 相似文献
47.
Rosalie Iemhoff 《Mathematical Logic Quarterly》2003,49(3):230-249
In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames. 相似文献
48.
本在无向网络中,建立了带有边集限制的最均匀支撑树问题的网络模型.中首先解决最均匀支撑树问题,并给出求无向网络中最均匀支撑树的多项式时间算法;然后,给出了求无向网络中带有边集限制的最小树多项式时间算法;最后,在已解决的两个问题的基础上解决了带有边集限制的最均匀支撑树问题. 相似文献
49.
环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAIF^syn,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAIF^syn中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力. 相似文献
50.
Nadya Gurevich 《Compositio Mathematica》2003,136(1):25-59
We establish an example of a functorial lift from generic cuspidal representations of a similitude group of the type A
1×C
2 to generic representations of Spin7. Our construction uses the theta correspondence associated to the dual pair of the type (A
1×C
2
B
3) inside E
7. We also consider another theta correspondence associated to the dual pair of type (A
1×C
2
A
1×A
1) in D
6 and show that these two pairs fit into a tower and the standard properties of a tower of theta correspondences hold. 相似文献