標(biāo)題: Titlebook: EPIA‘89; 4th Portuguese Confe J. P. Martins,E. M. Morgado Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989 Automatisches [打印本頁(yè)] 作者: credit 時(shí)間: 2025-3-21 19:19
書(shū)目名稱EPIA‘89影響因子(影響力)
書(shū)目名稱EPIA‘89影響因子(影響力)學(xué)科排名
書(shū)目名稱EPIA‘89網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱EPIA‘89網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱EPIA‘89被引頻次
書(shū)目名稱EPIA‘89被引頻次學(xué)科排名
書(shū)目名稱EPIA‘89年度引用
書(shū)目名稱EPIA‘89年度引用學(xué)科排名
書(shū)目名稱EPIA‘89讀者反饋
書(shū)目名稱EPIA‘89讀者反饋學(xué)科排名
作者: blight 時(shí)間: 2025-3-21 23:08 作者: Canary 時(shí)間: 2025-3-22 01:32
Death and Cosmic Purpose of Life,to dispel some myths surrounding the ‘new’ cognitive science (also called ‘PDP’, ‘connectionism’, ‘neural network theory’, and so on)..In particular, the question of the so-called ‘subsymbolic’ level of representation is raised, and some of the implications of implementing fully connectionist machines in a human surrounding are discussed.作者: effrontery 時(shí)間: 2025-3-22 05:22
https://doi.org/10.1007/978-94-011-3734-8actual evaluation. Informally we demand that the truth value of the counterfactual (or conditional) implication p > q should depend on the existence of a deduction of q that requires the truth of p, in some appropriate nearest world. We believe that relevance of counterfactuals is important in A.I. and illustrate that with examples.作者: 淘氣 時(shí)間: 2025-3-22 11:29 作者: 反復(fù)拉緊 時(shí)間: 2025-3-22 13:31
https://doi.org/10.1007/978-981-33-4149-4As a first step in the study of the properties of the parsing techniques based on cooperating rewrite processes used in the Spiral Natural Language system, this paper presents a description of these techniques from a formal point of view.作者: 反復(fù)拉緊 時(shí)間: 2025-3-22 20:01
Cooperating rewrite processes revisited,As a first step in the study of the properties of the parsing techniques based on cooperating rewrite processes used in the Spiral Natural Language system, this paper presents a description of these techniques from a formal point of view.作者: JAUNT 時(shí)間: 2025-3-23 00:47 作者: tenosynovitis 時(shí)間: 2025-3-23 03:45
Entrance Laws and Kuznetsov Measures, hierarchy of classes. So, we stress a main class which specifies relation semantics and manages the relation consistency. The proposed relational model offers a high-level language to express relations between objects. Our originality is to gather all the semantic information relative to a given re作者: 無(wú)能力之人 時(shí)間: 2025-3-23 08:48 作者: 談判 時(shí)間: 2025-3-23 11:06
A Practical Outcome Evaluation Plan,y are not efficient enough. We argue that this is not necessarily true of all possible systems, and that the trade-off between representational power and efficiency has not been fully explored. It is possible, in particular, to design frame systems that retain much of the flexibility while providing作者: Supplement 時(shí)間: 2025-3-23 14:34
in formalizing reasoning about knowledge and about preconditions of actions. Difficulties arise when the quantificational structure of propositions is essential. We show how ideas from combinatory logic can be used to deal with this problem. This approach allows us to construct first order theories 作者: originality 時(shí)間: 2025-3-23 19:55
Sengul Ozdek MD,Mehmet Cuneyt Ozmen MD, FICOis modeled on frame-based systems, while the temporal reasoning component is based on the event calculus of [Kowalski and Sergot 86]. The entire theory is axiomatized using Horn clauses augmented with negation as failure. A knowledge representation facility incorporating this work, called the ., has作者: 空洞 時(shí)間: 2025-3-24 02:06
Mechanical Self-Assembly in Nature,t this feature, a context-based blackboard is proposed as an explicit component to summarize, in terms of contexts, meta-level information about ordinary blackboards. It is so organized that a list of promising solution areas, a list of potential knowledge sources, and their best match can be propos作者: 過(guò)于光澤 時(shí)間: 2025-3-24 04:02 作者: abduction 時(shí)間: 2025-3-24 08:30 作者: languor 時(shí)間: 2025-3-24 12:55 作者: 占卜者 時(shí)間: 2025-3-24 17:18 作者: 領(lǐng)袖氣質(zhì) 時(shí)間: 2025-3-24 20:51 作者: fringe 時(shí)間: 2025-3-25 00:49
https://doi.org/10.1007/978-981-10-2122-0er language with equality allowing on top of the expression of equational, disjunctive, conunctive, negative, implicative and if-then-else constraints. CLG has been implemented in Prolog and tested with relatively large grammars of Danish, English and German. We also report on the efficiency of the 作者: 凹槽 時(shí)間: 2025-3-25 03:54 作者: 細(xì)胞學(xué) 時(shí)間: 2025-3-25 08:49 作者: BLOT 時(shí)間: 2025-3-25 14:42
https://doi.org/10.1007/978-981-19-7724-4ing between an utterance and its context. In this paper, we describe an extension of this method to handle changes in the level of reference in discourse. In order to accomplish this we develop a multi-level model for representing and manipulating various types of non-singular terms, and define the 作者: 殖民地 時(shí)間: 2025-3-25 18:58 作者: Peak-Bone-Mass 時(shí)間: 2025-3-25 22:17 作者: Substitution 時(shí)間: 2025-3-26 01:25
Some comments on a logic programming approach to natural language semantics, forward in [Porto, Filgueiras]. The main points we will discuss are the distribution of properties among entities, the distinction between modifiers and predications, the concept of part of an object, and the way the Principle of Compositionality is applied.作者: 閃光東本 時(shí)間: 2025-3-26 05:12 作者: Hiatus 時(shí)間: 2025-3-26 09:23 作者: Left-Atrium 時(shí)間: 2025-3-26 14:08
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300464.jpg作者: badinage 時(shí)間: 2025-3-26 16:56 作者: VERT 時(shí)間: 2025-3-26 21:43
Mechanical Self-Assembly in Nature,ntrol and replanning. It also enhances the system performance by supporting viewpoint reasoning to allow reasoning on a single solution space from different aspects and various meta-level applications, e.g., viewpoint explanation, knowledge acquisition, etc.作者: 他日關(guān)稅重重 時(shí)間: 2025-3-27 04:47
An original object-oriented approach for relation management,mented a consistent graphical interface and introduced several inheritance links in our language. The link concept issued from this approach appears to be very powerful to express formally dependency links and more precisely inheritance links.作者: 一大群 時(shí)間: 2025-3-27 09:15 作者: 大量 時(shí)間: 2025-3-27 11:20 作者: 名次后綴 時(shí)間: 2025-3-27 15:37 作者: Blood-Vessels 時(shí)間: 2025-3-27 19:35 作者: humectant 時(shí)間: 2025-3-27 22:20
Conceptual representation techniques in the framework of large knowledge based systems,hound is a dog ...); analogously, the generic "." describing the . are classified according to their own specialized hierarchy ("."). The "lexicon" and the "grammar, together, set up the . component of the language.作者: Tractable 時(shí)間: 2025-3-28 04:00 作者: 強(qiáng)化 時(shí)間: 2025-3-28 08:06
Path - based inference in SNeBR,r belief revision (SNeBR) and show how to compute the dependency of the nodes generated by path-based inference. The techniques that we develop can be used to incorporate belief revision techniques in networks based in hierarchies.作者: 隨意 時(shí)間: 2025-3-28 12:10
A Practical Outcome Evaluation Plan,and efficiency has not been fully explored. It is possible, in particular, to design frame systems that retain much of the flexibility while providing excellent performance. Such systems are well suited for applications that need flexible knowledge representation but cannot afford the high performance price.作者: aviator 時(shí)間: 2025-3-28 18:24
essential. We show how ideas from combinatory logic can be used to deal with this problem. This approach allows us to construct first order theories in which lambda-abstraction and quantification can be easily expressed as terms of the language.作者: 流眼淚 時(shí)間: 2025-3-28 20:21 作者: FRONT 時(shí)間: 2025-3-29 00:27
Mechanische Schwingungen und ihre Messungodelled the TMS as a non-monotonic reasoning system according to Reiter and the ATMS as a (classical) monotonic reasoning system. The result is therefore interesting in the more general context of non-monotonic reasoning as well.作者: Graves’-disease 時(shí)間: 2025-3-29 05:45 作者: aqueduct 時(shí)間: 2025-3-29 08:54 作者: FATAL 時(shí)間: 2025-3-29 13:51 作者: fringe 時(shí)間: 2025-3-29 19:15 作者: 背心 時(shí)間: 2025-3-29 20:39 作者: DUCE 時(shí)間: 2025-3-30 00:59
A horn clause theory of inheritance and temporal reasoning,y is axiomatized using Horn clauses augmented with negation as failure. A knowledge representation facility incorporating this work, called the ., has been implemented in Prolog and is being used in the development of a natural language processing system.作者: Indecisive 時(shí)間: 2025-3-30 05:16
Non-monotonic reasoning with the ATMS,odelled the TMS as a non-monotonic reasoning system according to Reiter and the ATMS as a (classical) monotonic reasoning system. The result is therefore interesting in the more general context of non-monotonic reasoning as well.作者: 清洗 時(shí)間: 2025-3-30 10:19 作者: receptors 時(shí)間: 2025-3-30 16:18
Extra-sentential dependencies, meaning representation, and generics,rse. In order to accomplish this we develop a multi-level model for representing and manipulating various types of non-singular terms, and define the notion of "remote", inter-level reference. In this context, we discuss a possible representation for selected types of generic sentences.作者: Irksome 時(shí)間: 2025-3-30 18:09 作者: cringe 時(shí)間: 2025-3-30 21:18 作者: Encephalitis 時(shí)間: 2025-3-31 03:30
An original object-oriented approach for relation management, hierarchy of classes. So, we stress a main class which specifies relation semantics and manages the relation consistency. The proposed relational model offers a high-level language to express relations between objects. Our originality is to gather all the semantic information relative to a given re作者: PAD416 時(shí)間: 2025-3-31 06:07 作者: Paraplegia 時(shí)間: 2025-3-31 10:00 作者: acclimate 時(shí)間: 2025-3-31 13:45
First order theories of quantification,in formalizing reasoning about knowledge and about preconditions of actions. Difficulties arise when the quantificational structure of propositions is essential. We show how ideas from combinatory logic can be used to deal with this problem. This approach allows us to construct first order theories 作者: cajole 時(shí)間: 2025-3-31 19:11 作者: Eosinophils 時(shí)間: 2025-3-31 21:55
