標題: Titlebook: Logics in Artificial Intelligence; European Workshop, J José Jülio Alferes,Luís Moniz Pereira,Ewa Orlowska Conference proceedings 1996 Spri [打印本頁] 作者: Embolism 時間: 2025-3-21 19:48
書目名稱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é)科排名
作者: 食物 時間: 2025-3-21 20:16
A system for computing constrained default logic extensions,s been designed to be open to future enhancements, which are supported by its object-oriented design. . is part of our long-term effort to develop an integrated toolkit for intelligent information management based on nonmonotonic reasoning and belief revision methods.作者: motor-unit 時間: 2025-3-22 02:38
What you always wanted to know about rigid ,-unification,al with equality in matrix-based methods. In this article, we define a complete proof procedure for firstorder logic with equality based on an incomplete but terminating procedure for rigid .-unification. Our approach is applicable to the connection method and the tableau method and illustrated on the tableau method.作者: 胎兒 時間: 2025-3-22 06:34 作者: 謙卑 時間: 2025-3-22 10:37
Infinitary default logic for specification of nonmonotonic reasoning,duce a generalization of default logic of Reiter by allowing infinite sets of justifications. We call this formalism .. In the main result of the paper we show that every reasoning frame can be represented by an infinitary default theory. A similar representability result for antichains of theories (belief frames) is also presented.作者: Middle-Ear 時間: 2025-3-22 14:13 作者: 過去分詞 時間: 2025-3-22 19:11
Hyper tableaux,ingle inference step. Another feature of the proposed calculus is the extensive use of universally quantified variables. This enables new efficient forward-chaining proof procedures for full first order theories as variants of tableaux calculi.作者: 溫和女人 時間: 2025-3-22 21:42
Only persistence makes nonmonotonicity monotonous,nces: they respect monotonicity. We consider three preferential logics for which we analyze the class of formulae which respect monotonicity. For each of the three logics we show that this class is equal to the class of formulae preserved under going to more preferred models, and we provide syntactic characterizations of these classes.作者: 一再煩擾 時間: 2025-3-23 01:24 作者: 木質(zhì) 時間: 2025-3-23 06:52 作者: chondromalacia 時間: 2025-3-23 09:53 作者: 有常識 時間: 2025-3-23 15:26 作者: Flatus 時間: 2025-3-23 20:39 作者: 谷類 時間: 2025-3-23 22:32
Labelled proofs for quantified modal logic,ytic”) version of the cut rule, with a label formalism which allows for a specialised, logic-dependent unification algorithm. The system provides a uniform proof-theoretical treatment of first-order (normal) modal logics with and without the Barcan Formula and/or its converse.作者: neoplasm 時間: 2025-3-24 02:44
A uniform tableaux method for nonmonotonic modal logics, logics. This method is parametric with respect to both the modal logic and the preference semantics, since it handles in a uniform way the entailment problem for a wide class of nonmonotonic modal logics: McDermott and Doyle‘s logics and ground logics. It also achieves the computational complexity lower bounds.作者: hypertension 時間: 2025-3-24 09:03 作者: FISC 時間: 2025-3-24 14:25 作者: 拖債 時間: 2025-3-24 18:33 作者: PAGAN 時間: 2025-3-24 19:50
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588188.jpg作者: 一起 時間: 2025-3-25 03:08 作者: 看法等 時間: 2025-3-25 05:27 作者: CARK 時間: 2025-3-25 08:20
https://doi.org/10.1007/3-540-61630-6AI Logics; Automatisches Schlie?en; KI-Logiken; Logic Programming; Mathematical Logics; Nicht-Klassische 作者: intimate 時間: 2025-3-25 15:07 作者: Meander 時間: 2025-3-25 18:35 作者: Yag-Capsulotomy 時間: 2025-3-25 21:17 作者: Anticonvulsants 時間: 2025-3-26 01:48 作者: 類人猿 時間: 2025-3-26 07:13 作者: 搖曳 時間: 2025-3-26 10:41
Peter Fr?hlich,Wolfgang Nejdl,Michael Schroedere am Tyne die Freiheit, ?Steine und Kohlen zu graben und dieselben zu ihrem Vortheil anzuwenden“. In einem Lande, das noch heute zu Tage auslaufende, wenn auch nicht mehr abbauwürdige Kohlenfl?ze enth?lt, wird der Werth und die Verwendung der mineralischen Brennstoffe schon viele Jahrhunderte zuvor 作者: ALE 時間: 2025-3-26 13:33 作者: 美食家 時間: 2025-3-26 17:41
Michael R. Geneserethnerhalb derselben Gruppe dürfen miteinander verglichen werden. So spielen die Schwankungen der Farbtemperatur bei Kopierlampen nicht dieselbe Rolle wie bei Aufnahmelampen, wohl aber Schwankungen der Intensit?t, weil die Belichtungsspielr?ume der Kopierschichten wesentlich geringer sind als etwa die 作者: hedonic 時間: 2025-3-27 00:26
José Júlio Alferes,Luís Moniz Pereira,Teodor C. Przymusinskinerhalb derselben Gruppe dürfen miteinander verglichen werden. So spielen die Schwankungen der Farbtemperatur bei Kopierlampen nicht dieselbe Rolle wie bei Aufnahmelampen, wohl aber Schwankungen der Intensit?t, weil die Belichtungsspielr?ume der Kopierschichten wesentlich geringer sind als etwa die 作者: FOIL 時間: 2025-3-27 03:58
Joeri Engelfrietnerhalb derselben Gruppe dürfen miteinander verglichen werden. So spielen die Schwankungen der Farbtemperatur bei Kopierlampen nicht dieselbe Rolle wie bei Aufnahmelampen, wohl aber Schwankungen der Intensit?t, weil die Belichtungsspielr?ume der Kopierschichten wesentlich geringer sind als etwa die 作者: 口音在加重 時間: 2025-3-27 07:06 作者: exorbitant 時間: 2025-3-27 10:04
Joeri Engelfriet,V. Wiktor Marek,Jan Treur,Miros?aw Truszczyńskiomputer. Aber der gr??te Kulturforschritt der Menschheit fand schon vor acht-bis zehntausend Jahren statt, als die ersten Getreidearten gezüchtet wurden und die ersten Gro?tiere domestiziert wurden: die ., die die alten Hochkulturen überhaupt erst erm?glichte und zugleich die Voraussetzung für die w作者: BLAND 時間: 2025-3-27 16:41
G. Antoniou,A. P. Courtney,J. Ernst,M. A. Williamsomputer. Aber der gr??te Kulturforschritt der Menschheit fand schon vor acht-bis zehntausend Jahren statt, als die ersten Getreidearten gezüchtet wurden und die ersten Gro?tiere domestiziert wurden: die ., die die alten Hochkulturen überhaupt erst erm?glichte und zugleich die Voraussetzung für die w作者: chemoprevention 時間: 2025-3-27 17:50 作者: 羊齒 時間: 2025-3-28 00:31
Hyper tableaux, tableaux while taking advantage of the central idea from (positive) hyper resolution, namely to resolve away all negative literals of a clause in a single inference step. Another feature of the proposed calculus is the extensive use of universally quantified variables. This enables new efficient fo作者: 紀念 時間: 2025-3-28 06:05
An algorithm for the retrieval of unifiers from discrimination trees,es. The algorithm is useful for efficient implementation of binary resolution, hyperresolution, and paramodulation. The algorithm is able to traverse simultaneously more than one discrimination tree and to construct a unifier at the same time. In this way backtracking can be minimized.作者: Postulate 時間: 2025-3-28 10:13
Building proofs or counterexamples by analogy in a resolution framework,unterexamples (models), we introduce a new method able to find refutations . also models by . with refutations and models in a knowledge base. The source objects for the analogy process are . of the refutations (models). They are included in the knowledge base, and then unification techniques for th作者: HAIRY 時間: 2025-3-28 13:53 作者: chassis 時間: 2025-3-28 14:34 作者: Contracture 時間: 2025-3-28 19:43
A uniform tableaux method for nonmonotonic modal logics, logics. This method is parametric with respect to both the modal logic and the preference semantics, since it handles in a uniform way the entailment problem for a wide class of nonmonotonic modal logics: McDermott and Doyle‘s logics and ground logics. It also achieves the computational complexity 作者: 臨時抱佛腳 時間: 2025-3-29 01:57
Design and implementation of diagnostic strategies using modal logic,modeled by diagnostic strategies. Recently, Nejdl, Fr?hlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta-language. This paper presents a method for designing strategy knowledge bases as well as an efficient straightforward operational seman作者: ANTE 時間: 2025-3-29 07:04
A modal action logic based framework for organization specification and analysis,a multi-agent society where each agent has some “capabilities” and where agents interact according to some forms of “institutionalized power relations”. Modal action logics, of the type developed in the Philosophy area, are used to reason about agent‘s agency and interaction..In spite of its simplic作者: Jocose 時間: 2025-3-29 07:44
,McCarthy’s idea,. It is the basis for such technologies as logic programming and knowledge engineering, though neither of these technologies is true to the ideal. In this paper, we re-examine the ideal itself, from today‘s perspective. We review the current state of the art; we discuss the merits of advice-taking s作者: 大溝 時間: 2025-3-29 14:48 作者: 細頸瓶 時間: 2025-3-29 18:14 作者: Obliterate 時間: 2025-3-29 22:50
,A query answering algorithm for Lukaszewicz’ general open default theory,xtensions of the theory, computes only a set of defaults which proves the query. The advantages of our approach in comparison with other existent methods is that it is oriented by the query, it deals with open defaults and it can be easily adapted both for credulous and skeptical reasoning..The stro作者: 改正 時間: 2025-3-30 03:40 作者: 未開化 時間: 2025-3-30 07:10 作者: 暫時別動 時間: 2025-3-30 09:58 作者: 焦慮 時間: 2025-3-30 16:18
Characterizing D-WFS: Confluence and iterated GCWA,it is both . and . founded. Any program . is associated a normal form ., called the . program, by a non-trivial bottom-up construction using least fixpoints of two monotonic operators..We show in this paper, that the original calculus, consisting of some simple transformations, has a very strong and作者: 曲解 時間: 2025-3-30 19:35
A modal action logic based framework for organization specification and analysis,“what should x do to obtain task A?”, and “to whom should a user go (in e.g. a public service) to solve problem A?”..The workbench uses a tableaux theorem proving method extended with some additional rules to deal with the proposed classical action modalities.作者: 哄騙 時間: 2025-3-30 21:10 作者: adumbrate 時間: 2025-3-31 01:54 作者: BURSA 時間: 2025-3-31 07:03
Strong and explicit negation in non-monotonic reasoning and logic programming,作者: 虛構(gòu)的東西 時間: 2025-3-31 12:27 作者: Coronation 時間: 2025-3-31 14:29 作者: BUDGE 時間: 2025-3-31 18:54 作者: 啜泣 時間: 2025-3-31 22:15 作者: 顛簸下上 時間: 2025-4-1 02:18
Alberto Artosi,Paola Benassi,Guido Governatori,Antonino Rotolorl?sst eine geharnischte Verordnung gegen den Verbrauch von Steinkohlen, bis der sp?ter eintretende Holzmangel, andere Heizvorrichtungen, vor allen Dingen aber die bessere Erkenntniss und die Gew?hnung an die Neuerung die Wiederaufhebung des Verbots herbeiführen lassen. Das sind die Anf?nge des Stei作者: Expediency 時間: 2025-4-1 08:03 作者: Adenoma 時間: 2025-4-1 14:01
Peter Fr?hlich,Wolfgang Nejdl,Michael Schroedererl?sst eine geharnischte Verordnung gegen den Verbrauch von Steinkohlen, bis der sp?ter eintretende Holzmangel, andere Heizvorrichtungen, vor allen Dingen aber die bessere Erkenntniss und die Gew?hnung an die Neuerung die Wiederaufhebung des Verbots herbeiführen lassen. Das sind die Anf?nge des Ste
