標(biāo)題: Titlebook: Logics in Artificial Intelligence; European Workshop, J Jürgen Dix,Luís Fari?as Cerro,Ulrich Furbach Conference proceedings 1998 Springer-V [打印本頁(yè)] 作者: 呻吟 時(shí)間: 2025-3-21 19:36
書目名稱Logics in Artificial Intelligence影響因子(影響力)
書目名稱Logics in Artificial Intelligence影響因子(影響力)學(xué)科排名
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logics in Artificial Intelligence被引頻次
書目名稱Logics in Artificial Intelligence被引頻次學(xué)科排名
書目名稱Logics in Artificial Intelligence年度引用
書目名稱Logics in Artificial Intelligence年度引用學(xué)科排名
書目名稱Logics in Artificial Intelligence讀者反饋
書目名稱Logics in Artificial Intelligence讀者反饋學(xué)科排名
作者: 分離 時(shí)間: 2025-3-21 21:36
Disjunctive Logic Program = Horn Program + Control Programintroduce a program transformation which transforms a disjunctive logic program into a Horn program and a so called control program. The control program consists of only disjunctions of new propositional atoms and controls the “execution” of the Horn program. The relationship between original and tr作者: AVERT 時(shí)間: 2025-3-22 02:03
Semantics of Partial-Order Programsind of problems, in particular optimization problems. In this paper we present some more examples that we can model using partial-order clauses and we also introduce its Fix-Point semantics. We show that this paradigm and standard logic programming can be naturally integrated in one paradigm. We als作者: zonules 時(shí)間: 2025-3-22 04:53
Persistence and Minimality in Epistemic Logicecially relevant under epistemic interpretations of an operator. Relative to a modal system ., we give three characterizations of minimality of a formula . and give conditions under which these characterizations are equivalent. We then argue that rather than using bisimulations, it is more appropria作者: Panacea 時(shí)間: 2025-3-22 12:48
Prohairetic Deontic Logic (PDL) is true if (1) no ?.∧. state is as preferable as an .∧. state and (2) the preferred . states are . states. We show that the different elements of this mixed representation solve different problems of deontic logic. The first part of the definition is used to formalize contrary-to-duty reasoning, th作者: Acupressure 時(shí)間: 2025-3-22 16:06
Phased Labeled Logics of Conditional Goalsstriction discussed in this paper is that a proof rule can be blocked in a derivation due to the fact that another proof rule has been applied earlier in the derivation. We call a set of proof rules that can be applied in any order a phase in the proof theory. We propose a one-phase logic of goals c作者: 設(shè)想 時(shí)間: 2025-3-22 18:25
Analysis of Distributed-Search Contraction-Based Strategieslel search the bounded-search-spaces approach to the measurement of infinite search spaces, capturing both the advantages of parallelization, e.g., the subdivision of work, and its disadvantages, e.g., the cost of communication, in terms of search space. These tools are applied to compare the search作者: 不能強(qiáng)迫我 時(shí)間: 2025-3-23 00:38
A Deduction Method Complete for Refutation and Finite Satisfiability complete but also complete for finite satisfiability. A novel deduction method is introduced for such applications. Instead of relying on Skolemization, as most refutation methods do, the proposed method processes existential quantifiers in a special manner which makes it complete not only for refu作者: electrolyte 時(shí)間: 2025-3-23 03:42
Requirement-Based Cooperative Theorem Provingme problems arising from the use of common success-driven cooperation methods, and we propose the application of our approach of requirement-based cooperative theorem proving. This approach aims to allowing more orientation on current needs of provers in comparison with conventional cooperation conc作者: 貝雷帽 時(shí)間: 2025-3-23 09:15 作者: figure 時(shí)間: 2025-3-23 10:16
A Matrix Characterization for , a methodology for proving matrix characterizations correct and complete. Our characterization provides a foundation for matrix-based proof search procedures for . as well as for procedures which translate machine-found proofs back into the usual sequent calculus.作者: HAIRY 時(shí)間: 2025-3-23 15:58 作者: Infantry 時(shí)間: 2025-3-23 21:38 作者: 使人煩燥 時(shí)間: 2025-3-24 01:06
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscripthe computational complexity of these logics suggest that these logics have very similar expressive power that exceeds that of classical monotonic logic. A refined classification of non-monotonic logics by their expressive power can be obtained using translation functions that satisfy additional requ作者: novelty 時(shí)間: 2025-3-24 05:34
An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions ted approach for deciding whether a default theory has an extension containing a given query. The inherent problem in Reiter’s default logic is that it necessitates the inspection of all default rules for answering no matter what query. Also, default theories are known to lack extensions occasionall作者: AROMA 時(shí)間: 2025-3-24 09:14 作者: amplitude 時(shí)間: 2025-3-24 13:13
A Mechanised Proof System for Relation Algebra Using Display Logicof any display calculus. The inference rules of Display Logic are coded directly as Isabelle theorems, thereby guaranteeing the correctness of all derivations. Our implementation generalises easily to handle other display calculi. It also provides a useful interactive proof assistant for relation al作者: yohimbine 時(shí)間: 2025-3-24 18:15
Relative Similarity Logics are Decidable: Reduction to FO2 with Equalitynformation. As a side-effect, we obtain a finite model property for such similarity logics. The proof technique consists of reductions into the satisfiability problem for the decidable fragment FO. with equality from classical logic. Although the reductions stem from the standard translation from mo作者: VEIL 時(shí)間: 2025-3-24 22:43
ungen aus dem schizophrenen Formenkreis. Je nach Krankheitsbild zeigen sich Einschr?nkungen im Lernen und Ged?chtnis, in der Aufmerksamkeit und Konzentration, in der Informationsverarbeitungsgeschwindigkeit sowie in den sogenannten Exekutivfunktionen. Deren Bedeutsamkeit für die soziale und beruflic作者: neutral-posture 時(shí)間: 2025-3-24 23:58 作者: 否決 時(shí)間: 2025-3-25 05:58
Pierangelo Dell’Acqua,Fariba Sadri,Francesca Tonirmations- und Arbeitsbl?tter für Patienten zum DownloadZahlreiche psychiatrische Erkrankungen gehen mit kognitiven St?rungen einher, die die Alltagsfunktionalit?t der Patienten teils erheblich einschr?nken. In diesem Buch geben die Herausgeberinnen einen überblick über kognitive St?rungen bei ausgew作者: 為寵愛 時(shí)間: 2025-3-25 08:51 作者: 血統(tǒng) 時(shí)間: 2025-3-25 12:41
Leendert W. N. van der Torre,Yao-Hua Tanok, but the truth is that Kohlberg is for the ages, which means any time is worthwhile to revisit his work. So, in that sense, let us ask, what aspects of his work in Moral Development and Moral Education are timely today? One answer can be found in the Kohlberg Lounge on the sixth floor of Larsen H作者: 借喻 時(shí)間: 2025-3-25 19:50
Leendert W. N. van der Torren that sense, let us ask, what aspects of his work in Moral Development and Moral Education are timely today? One answer can be found in the Kohlberg Lounge on the sixth floor of Larsen Hall, which I have the privilege to visit every day. Placed there in 1987, a plaque in his honor states: In memory作者: cochlea 時(shí)間: 2025-3-25 22:30
Maria Paola Bonacinaok, but the truth is that Kohlberg is for the ages, which means any time is worthwhile to revisit his work. So, in that sense, let us ask, what aspects of his work in Moral Development and Moral Education are timely today? One answer can be found in the Kohlberg Lounge on the sixth floor of Larsen H作者: mediocrity 時(shí)間: 2025-3-26 01:37 作者: DIS 時(shí)間: 2025-3-26 07:26 作者: 我不重要 時(shí)間: 2025-3-26 08:34 作者: 止痛藥 時(shí)間: 2025-3-26 15:44 作者: 聯(lián)想記憶 時(shí)間: 2025-3-26 16:53
Christof Monz,Maarten de Rijkeok, but the truth is that Kohlberg is for the ages, which means any time is worthwhile to revisit his work. So, in that sense, let us ask, what aspects of his work in Moral Development and Moral Education are timely today? One answer can be found in the Kohlberg Lounge on the sixth floor of Larsen H作者: infarct 時(shí)間: 2025-3-26 23:50
Reinhard Pichlerok, but the truth is that Kohlberg is for the ages, which means any time is worthwhile to revisit his work. So, in that sense, let us ask, what aspects of his work in Moral Development and Moral Education are timely today? One answer can be found in the Kohlberg Lounge on the sixth floor of Larsen H作者: 偶像 時(shí)間: 2025-3-27 02:35
Tomi Janhunenn that sense, let us ask, what aspects of his work in Moral Development and Moral Education are timely today? One answer can be found in the Kohlberg Lounge on the sixth floor of Larsen Hall, which I have the privilege to visit every day. Placed there in 1987, a plaque in his honor states: In memory作者: 兩棲動(dòng)物 時(shí)間: 2025-3-27 06:37 作者: Frequency-Range 時(shí)間: 2025-3-27 13:01 作者: 慢慢流出 時(shí)間: 2025-3-27 16:17 作者: tangle 時(shí)間: 2025-3-27 19:51 作者: CRANK 時(shí)間: 2025-3-28 00:13 作者: Urgency 時(shí)間: 2025-3-28 02:12 作者: 反省 時(shí)間: 2025-3-28 06:23
Logics in Artificial Intelligence978-3-540-49545-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 侵略 時(shí)間: 2025-3-28 12:31
Combining Introspection and Communication with Rationality and Reactivity in AgentsWe propose a logic-based language for programming agents that can reason about their own beliefs as well as the beliefs of other agents and can communicate with each other. The agents can be reactive, rational/deliberative or hybrid, combining both reactive and rational behaviour. We illustrate the language by means of examples.作者: NOVA 時(shí)間: 2025-3-28 18:23 作者: Tractable 時(shí)間: 2025-3-28 20:50
A Matrix Characterization for , a methodology for proving matrix characterizations correct and complete. Our characterization provides a foundation for matrix-based proof search procedures for . as well as for procedures which translate machine-found proofs back into the usual sequent calculus.作者: deficiency 時(shí)間: 2025-3-28 23:40 作者: SEMI 時(shí)間: 2025-3-29 03:03 作者: Suppository 時(shí)間: 2025-3-29 07:14
An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions e of an encompassing extension. We address this traditionally important problem by furnishing novel criteria guaranteeing the existence of extensions that are arguably simpler and go well beyond existing approaches.作者: 類人猿 時(shí)間: 2025-3-29 11:43
Conference proceedings 1998 promoted by applications, and produced by logical tools and methods. The papers contained in this volume cover the following topics: 1. Logic programming 2. Epistemic logics 3. Theorem proving 4. Non-monotonic reasoning 5. Non-standard logics 6. Knowledge representation 7. Higher order logics We wo作者: hermitage 時(shí)間: 2025-3-29 17:50 作者: 密切關(guān)系 時(shí)間: 2025-3-29 22:14 作者: coalition 時(shí)間: 2025-3-30 00:41
Dirk Fuchsntal skills that allow us all to be truly human. Kohlberg then, Kohlberg now, Kohlberg forever.” – Robert L. Selman, Harvard University (Roy Edward Larsen Professor of Education and Human Development, Professor of Psychology in the Department of Psychiatry)“This 978-94-6300-079-6作者: laxative 時(shí)間: 2025-3-30 07:54 作者: pellagra 時(shí)間: 2025-3-30 09:23 作者: 征服 時(shí)間: 2025-3-30 14:56
Reinhard Pichlerntal skills that allow us all to be truly human. Kohlberg then, Kohlberg now, Kohlberg forever.” – Robert L. Selman, Harvard University (Roy Edward Larsen Professor of Education and Human Development, Professor of Psychology in the Department of Psychiatry)“This 978-94-6300-079-6作者: LVAD360 時(shí)間: 2025-3-30 18:03
Michael Thielscherntal skills that allow us all to be truly human. Kohlberg then, Kohlberg now, Kohlberg forever.” – Robert L. Selman, Harvard University (Roy Edward Larsen Professor of Education and Human Development, Professor of Psychology in the Department of Psychiatry)“This 978-94-6300-079-6作者: 把手 時(shí)間: 2025-3-30 23:02
chung. In der sogenannten Kognitiven Remediation finden anschlie?end verschiedene computergestützte Trainingsprogramme zur Verbesserung der kognitiven Leistungsf?higkeit Anwendung, die durch papierbasierte übungen erg?nzt werden k?nnen. Um einen Transfer des Gelernten in den Alltag zu gew?hrleisten,作者: Aprope 時(shí)間: 2025-3-31 03:54
Marc Deneckertatt (maximal 30?min). Darüber hinaus sind begleitende Arbeitsmaterialien (z.?B. kognitives Tagebuch) für den privaten Gebrauch zu empfehlen, die den Transfer unterstützen. Zu Beginn der jeweiligen Sitzung werden Hausaufgaben und übungen der vergangenen Woche besprochen. Anschlie?end wird ein neuer 作者: 含沙射影 時(shí)間: 2025-3-31 07:24 作者: Axillary 時(shí)間: 2025-3-31 10:38 作者: 黑豹 時(shí)間: 2025-3-31 13:48
Leendert W. N. van der Torrence are the three malleable developmental skills that allow us all to be truly human. Kohlberg then, Kohlberg now, Kohlberg forever.” – Robert L. Selman, Harvard University (Roy Edward Larsen Professor of Education and Human Development, Professor of Psychology in the Department of Psychiatry)“This 作者: IRK 時(shí)間: 2025-3-31 21:08
Fran?ois Bry,Sunna Torgence are the three malleable developmental skills that allow us all to be truly human. Kohlberg then, Kohlberg now, Kohlberg forever.” – Robert L. Selman, Harvard University (Roy Edward Larsen Professor of Education and Human Development, Professor of Psychology in the Department of Psychiatry)“This 作者: COW 時(shí)間: 2025-3-31 22:43
Heiko Mantel,Christoph Kreitznce are the three malleable developmental skills that allow us all to be truly human. Kohlberg then, Kohlberg now, Kohlberg forever.” – Robert L. Selman, Harvard University (Roy Edward Larsen Professor of Education and Human Development, Professor of Psychology in the Department of Psychiatry)“This
