標題: Titlebook: Logics in Artificial Intelligence; 9th European Confere Jóse Júlio Alferes,Jo?o Leite Conference proceedings 2004 Springer-Verlag Berlin He [打印本頁] 作者: Thoracic 時間: 2025-3-21 20:01
書目名稱Logics in Artificial Intelligence影響因子(影響力)
書目名稱Logics in Artificial Intelligence影響因子(影響力)學科排名
書目名稱Logics in Artificial Intelligence網(wǎng)絡公開度
書目名稱Logics in Artificial Intelligence網(wǎng)絡公開度學科排名
書目名稱Logics in Artificial Intelligence被引頻次
書目名稱Logics in Artificial Intelligence被引頻次學科排名
書目名稱Logics in Artificial Intelligence年度引用
書目名稱Logics in Artificial Intelligence年度引用學科排名
書目名稱Logics in Artificial Intelligence讀者反饋
書目名稱Logics in Artificial Intelligence讀者反饋學科排名
作者: conscience 時間: 2025-3-21 20:26 作者: NICHE 時間: 2025-3-22 02:32 作者: 難聽的聲音 時間: 2025-3-22 05:28
Laura Giordano,Alberto Martelli,Camilla Schwinden Anteil zu nehmen, liegt im Interesse der deutschen Industrie. Die unerh?rte Brennstoffnot, die Schwierigkeiten in der Beschaffung guter Heizer für Rostfeuerungen und die technischen, wirtschaftlichen und hygienischen Vorteile einer weitgehenden Mechanisierung von Dampfkesselbetrieben sollten ein,作者: Arb853 時間: 2025-3-22 10:04
Stefan W?lflgut bestimmte Temperaturen nicht überschritten werden dürfen, mu? den Verbrennungs-produkten der moisten Trockenfeuerungen ohnehin Luft zugesetzt werden, es hat daher im Gegensatz zu Dampfkesselfeuerungen wenig zu sagen, wenn die Feuerung nach üblicher Auffassung ?schlecht“, d. h. mit niederem CO2-G作者: Narcissist 時間: 2025-3-22 14:03
Nivea de C. Ferreira,Michael Fisher,Wiebe van der Hoek. (. 2. . 1955; .. . [1954] 574/85; . [2] . [1954] 733/42; .. [2] . [1963] 566/78), J. R. . (in: H. ., . — . 1954, S. 349/54). .C dient ferner zur Herst. radioaktiv markierter Verbb., s. beispielsweise R. . (in: G. ., .. 3, . 1963, S. 196/220, 198/200). Bibliographie der .C-Messungen s. A. . (IFA/CO作者: Valves 時間: 2025-3-22 19:34
Gregory R. Wheeler,Carlos Damásiochen von Valleia.). Benzol im Erd?l von Kryg (Galizien).). Die Bildung der aromatischen Kohlenwassertoffe in Petroleum ist wahrscheinlich auf die aromatischen Kerne der Eiwei?reste zurückzuführen, die im ersten Stadium der Petroleumbildung der F?ulnis unterlagen.). Auch eine nachtr?gliche Oxydation 作者: 精密 時間: 2025-3-22 21:39
Tommi Syrj?nenerpentin?l dreht auch rechts. Dieses ?l, und zwar der Balsam selbst, wird zum L?utern der Weine in Griechenland benutzt. Das vom Wein abgesch?pfte ?l ist dann ?fter stark gelb gef?rbt und riecht nach Wein, die F?rbung ist durch Destillieren zu beseitigen. über asiatische ?le siehe Tabelle 104, Fu?no作者: NOT 時間: 2025-3-23 02:49 作者: 婚姻生活 時間: 2025-3-23 09:17
Hierarchical Decision Making by Autonomous Agentsth just one type of preferences. Regarding the expressiveness, the formalism essentially covers the polynomial hierarchy. E.g. the membership problem for a hierarchy of depth . is . -complete. We illustrate an application of the approach by showing how it can easily express a generalization of weak 作者: 潛移默化 時間: 2025-3-23 13:04
Qualitative Action Theoryes are very close in spirit, a systematic analysis of the mutual dependencies between these approaches does not exist..The paper aims at bringing together these two research streams, which seem to have been developed independently in philosophy and computer science. In particular, we will investigat作者: escalate 時間: 2025-3-23 15:27 作者: 方便 時間: 2025-3-23 20:24
Characterizations for Relativized Notions of Equivalence in Answer Set Programminge all notions of equivalence including ordinary equivalence in a uniform way. Finally, we analyze the complexity of the introduced equivalence tests for the important classes of normal and disjunctive logic programs. As a by-product, we reduce the tests for relativized equivalences to ordinary equiv作者: 無所不知 時間: 2025-3-23 23:25
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexitywer set semantics for disjunctive logic programming (DLP). It is defined by a natural variant of the Gelfond-Lifschitz transformation, and treats aggregate and non-aggregate literals in a uniform way. We prove that our semantics guarantees the minimality (and therefore the incomparability) of answer作者: CRATE 時間: 2025-3-24 02:53
U. Endriss,P. Mancarella,F. Sadri,G. Terreni,F. Toni作者: 樣式 時間: 2025-3-24 06:57 作者: 克制 時間: 2025-3-24 13:33 作者: Lament 時間: 2025-3-24 14:56
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588189.jpg作者: 象形文字 時間: 2025-3-24 20:14
Formal Methods in Roboticsd by behaviour-based and “Nouvelle AI” approaches. The credo by this school of thinking is that explicit modelling of the environment and reasoning about it is too brittle and computationally too expensive. Instead a purely reactive approach is favoured.作者: Trabeculoplasty 時間: 2025-3-25 00:10 作者: AGONY 時間: 2025-3-25 06:01
Representing and Reasoning with PreferencesMany problems in AI require us to represent and reason about preferences. You may, for example, prefer to schedule all your meetings after 10am. Or you may prefer to buy a faster computer than one with a larger disk.作者: Small-Intestine 時間: 2025-3-25 07:42 作者: cochlea 時間: 2025-3-25 13:31
Logics in Artificial Intelligence978-3-540-30227-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 類人猿 時間: 2025-3-25 17:38 作者: sinoatrial-node 時間: 2025-3-25 23:06
Capturing Parallel Circumscription with Disjunctive Logic Programsunctive logic programming in a relatively systematic fashion using a linear and faithful, but . translation. This enables the conscious use of varying atoms in disjunctive logic programs — leading to more elegant and concise problem representations in various domains.作者: COLON 時間: 2025-3-26 04:00
Equivalence of Logic Programs Under Updatesivalence is strong enough to capture many other notions such as weak equivalence, update equivalence on common rules, and uniform equivalence. We also discuss computation and complexity of update equivalence.作者: 期滿 時間: 2025-3-26 05:23
Knowledge-Theoretic Properties of Strategic Votingess the voter . that it should vote strategically, and how, i.e., knows what the . voters’ preferences are and . alternate preference .′ it should use, the voter will not strategize. Our results suggest that opinion polls in election situations effectively serve as the first .–1 stages in an . stage election.作者: 爵士樂 時間: 2025-3-26 11:06
An Implementation of Statistical Default Logicmbedding of an important subset of SDL theories, called ., into stable model semantics. The embedding is designed to compute the signature set of literals that uniquely distinguishes each extension on a statistical default theory at a pre-assigned error-bound probability.作者: enormous 時間: 2025-3-26 16:09
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoningsitional many-valued logic .. of here-and-there with strong negation, and define the condition of equilibrium via a minimal model construction. We verify Skolem forms and Herbrand theorems for .. and show that, like its propositional counterpart, the quantified version of equilibrium logic also conservatively extends answer set semantics.作者: 露天歷史劇 時間: 2025-3-26 16:54 作者: Intrepid 時間: 2025-3-26 21:31
Engineering of Logics for the Content-Based Representation of Informationmalism. This motivates the “engineering of logics”, i.e., the design of logical formalisms that are tailored to specific representation tasks. The talk will illustrate this approach with the example of so-called Description Logics and their application for databases and as ontology languages for the semantic web.作者: chemical-peel 時間: 2025-3-27 02:45
Games for Cognitive Agents of the strategic game they play. We discuss a reverse mapping from the specification of strategic games that agents play to a specification of those agents. This mapping can be used to specify a group of agents that can play a strategic game, which shows that the notion of agent system specification is expressive enough to play any kind of game.作者: 易于交談 時間: 2025-3-27 06:16
Verifying Communicating Agents by Model Checking in a Temporal Action Logicomplex actions (regular programs). The paper addresses several kinds of verification problems including the problem of compliance of agents to the protocol, and describes how they can be solved by model checking in DLTL using automata.作者: 跳脫衣舞的人 時間: 2025-3-27 10:06
Modelling Communicating Agents in Timed Reasoning Logicse the information an agent can take into account when making decisions at a particular point in time. We prove general completeness and decidability results for TRL, and analyse the impact of communication in an example system consisting of two agents which use different conflict resolution strategies.作者: 六邊形 時間: 2025-3-27 16:53 作者: 誰在削木頭 時間: 2025-3-27 20:05 作者: 燈絲 時間: 2025-3-27 23:58
Formal Methods in Roboticsd by behaviour-based and “Nouvelle AI” approaches. The credo by this school of thinking is that explicit modelling of the environment and reasoning about it is too brittle and computationally too expensive. Instead a purely reactive approach is favoured.作者: 打折 時間: 2025-3-28 05:18 作者: 一再困擾 時間: 2025-3-28 09:12
Knowledge-Theoretic Properties of Strategic Votingocedures in groups of agents. The Gibbard-Satterthwaite theorem says that no voting procedure is .. That is, there will always be situations in which it is in a voter’s interest to misrepresent its true preferences i.e., vote strategically. We present some properties of strategic voting and then exa作者: 2否定 時間: 2025-3-28 13:15
The CIFF Proof Procedure for Abductive Logic Programming with Constraintsby integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of multiagent systems.作者: membrane 時間: 2025-3-28 15:27
Hierarchical Decision Making by Autonomous Agentsthe same body of knowledge, but each may have its own, possibly conflicting, preferences on the available information..We model the common knowledge base for such preference agents as a logic program under the extended answer set semantics, thus allowing for the defeat of rules to resolve conflicts.作者: 平 時間: 2025-3-28 21:27 作者: antedate 時間: 2025-3-28 23:31 作者: intoxicate 時間: 2025-3-29 06:43 作者: 耕種 時間: 2025-3-29 09:45
Modelling Communicating Agents in Timed Reasoning Logicsgics (TRL) framework introduced in [1], we show how to represent the time required by an agent to reach a given conclusion. TRL allows us to model the kinds of rule application and conflict resolution strategies commonly found in rule-based agents, and we show how the choice of strategy can influenc作者: ARCH 時間: 2025-3-29 15:10
On the Relation Between ID-Logic and Answer Set Programmingompare both logics on the level of declarative reading, practical methodology and formal semantics. At the level of methodology, we put forward the . that in many (but not all) existing applications of ASP, an ASP program is used to encode definitions and assertions, similar as in ID-Logic. We illus作者: 貴族 時間: 2025-3-29 18:02 作者: 不連貫 時間: 2025-3-29 23:42 作者: 斜坡 時間: 2025-3-29 23:58 作者: BUDGE 時間: 2025-3-30 08:08 作者: 察覺 時間: 2025-3-30 09:22
Equivalence of Logic Programs Under Updateslogic programs .. and .. are said to be .. if (..? .)∪ . and (..? .)∪ . have the same answer sets for any two logic programs . and .. The notion of update equivalence is suitable to take program updates into account when two logic programs are compared. That is, the notion of relativity stipulates t作者: 言外之意 時間: 2025-3-30 16:06
Cardinality Constraint Programsrams by allowing the use of cardinality constraints and conditional literals. We identify a decidable subset, omega-restricted programs, of the class. We show how the formal semantics can be extended to allow the use of evaluated function symbols, such as arithmetic built-in operators. The omega-res作者: Hemoptysis 時間: 2025-3-30 19:02 作者: 吞吞吐吐 時間: 2025-3-31 00:14
determine whether the patients recover or die from the shock. Attention has been drawn to the metabolic changes after the shock. Until fairly recently, the majority of such studies has dealt with chemical changes in the blood and urine, because of the ease of obtaining such samples from living anima作者: 單獨 時間: 2025-3-31 01:03 作者: 易受騙 時間: 2025-3-31 08:04 作者: Parley 時間: 2025-3-31 13:00 作者: 碎片 時間: 2025-3-31 13:34
Stefan W?lflr sie vorbricht, Fig. 1. Kohlenbrecher machen bis 120 Umdrehungen/min, haben eine Leistung von 8 bis 25 t/st und einen Kraftbedarf von 0,5 bis 1,5 KWst/t. Eisenstückchen, Schrauben usw. entfernt ein Magnetausscheider, Fig. 2. Die Kohle wird dann bei den meisten Systemen einem Trockner zugeführt, der作者: BOOM 時間: 2025-3-31 17:46
Nivea de C. Ferreira,Michael Fisher,Wiebe van der HoekR. H. ., F. S. ., D. A. . (.. [1964] 726/8). .C entsteht bei der Rk. .C(t,p), S. ., R. ., A. E. ., D. J. . (.. [1961] 113/5), vgl. auch anonyme Ver?ff. (BNL-929 [1966] 66/82 nach .. . [1966] Nr. 18556); bezüglich der Erzeugungsrkk. aller übrigen Isotope s. ., . (.) bezüglich derjenigen für die insta作者: 歡樂中國 時間: 2025-4-1 01:33 作者: 愛國者 時間: 2025-4-1 02:57
Tommi Syrj?nenn mit Wasserdampf oder im Vakuum erhalten wird, wobei als Bückstand Kolophonium hinterbleibt. Die Haupttypen sind amerikanisches und franz?sisches ?l, ferner griechisches ?l von Pinus halepensis, das sehr reines Rechts-Pinen enth?lt und früher wegen seiner Reinheit eine gewisse Rolle gespielt hat. A作者: 我要沮喪 時間: 2025-4-1 07:19
Wolfgang Faber,Nicola Leone,Gerald Pfeifern mit Wasserdampf oder im Vakuum erhalten wird, wobei als Bückstand Kolophonium hinterbleibt. Die Haupttypen sind amerikanisches und franz?sisches ?l, ferner griechisches ?l von Pinus halepensis, das sehr reines Rechts-Pinen enth?lt und früher wegen seiner Reinheit eine gewisse Rolle gespielt hat. A作者: 無能的人 時間: 2025-4-1 13:32 作者: tangle 時間: 2025-4-1 18:20
