標題: Titlebook: Logics in Artificial Intelligence; 13th European Confer Luis Fari?as Cerro,Andreas Herzig,Jér?me Mengin Conference proceedings 2012 Springe [打印本頁] 作者: hormone-therapy 時間: 2025-3-21 18:38
書目名稱Logics in Artificial Intelligence影響因子(影響力)
書目名稱Logics in Artificial Intelligence影響因子(影響力)學科排名
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度學科排名
書目名稱Logics in Artificial Intelligence被引頻次
書目名稱Logics in Artificial Intelligence被引頻次學科排名
書目名稱Logics in Artificial Intelligence年度引用
書目名稱Logics in Artificial Intelligence年度引用學科排名
書目名稱Logics in Artificial Intelligence讀者反饋
書目名稱Logics in Artificial Intelligence讀者反饋學科排名
作者: Spina-Bifida 時間: 2025-3-21 20:50
Exact Query Reformulation with First-Order Ontologies and Databasesdes an effective approach to construct the reformulation based on interpolation using standard theorem proving techniques (e.g., tableau). Since the reformulation is a safe-range formula, it is effectively executable as an SQL query. At the end, we present an application of the framework with . ontologies.作者: delta-waves 時間: 2025-3-22 01:22
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weightsnty (in the sense of belief). In this contribution we extend . by allowing to attach uncertainty weights to defeasible temporal rules and hence stratifying the set of defeasible rules in a program. Technically speaking, weights are modelled as necessity degrees within the frame of possibility theory, a qualitative model of uncertainty.作者: 閃光東本 時間: 2025-3-22 05:15
0302-9743 rs, and 5 system descriptions, selected from 107 submissions. The papers cover various aspects of theory and methods of logic for artificial intelligence.978-3-642-33352-1978-3-642-33353-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 古老 時間: 2025-3-22 11:58
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Modelsand the one where it is a metric. We show that in both cases the semantics can be equivalently specified in terms of preferential structures. Finally, we consider the relation of CSL with conditional logics and we provide semantics and axiomatizations of conditional logics over distance models with these properties.作者: CRAFT 時間: 2025-3-22 15:38 作者: 誘惑 時間: 2025-3-22 17:24 作者: 粗魯?shù)娜?nbsp; 時間: 2025-3-22 22:28 作者: PLUMP 時間: 2025-3-23 02:34 作者: 種族被根除 時間: 2025-3-23 05:42 作者: Antecedent 時間: 2025-3-23 09:50
Conditional Epistemic Planningve a language of conditional plans. Translating this language to standard DEL gives verification of both strong and weak plans via model checking. In addition to plan verification, we provide a tableau-inspired algorithm for synthesising plans, and show this algorithm to be terminating, sound and complete.作者: GRIPE 時間: 2025-3-23 16:35
The Complexity of One-Agent Refinement Modal Logicatisfiability, the latter being a well-known .-complete problem. More precisely, we establish that .-satisfiability is complete for the complexity class ., i.e., the class of problems solvable by alternating Turing machines running in single exponential time but only with a polynomial number of alternations (note that .? .? .).作者: Fantasy 時間: 2025-3-23 19:11 作者: BARB 時間: 2025-3-23 23:46 作者: LVAD360 時間: 2025-3-24 05:12
Conflict-Tolerant Semantics for Argumentation Frameworkso-one relationship between extensions and labelings of conflict-free semantics is carried on to a similar correspondence between the extended approaches for providing conflict-tolerant semantics. Thus, in our setting as well, these are essentially two points of views for the same thing.作者: anthropologist 時間: 2025-3-24 08:57
Generalized DEL-Sequents and show that these inference problems are NEXPTIME-complete. We extend our results to the cases where the accessibility relation is serial and reflexive and illustrate them with the coordinated attack problem.作者: EWER 時間: 2025-3-24 11:25
Three-Valued Logics for Incomplete Information and Epistemic Logicf modal depth 1, with modalities in front of literals), preserving all tautologies and inference rules. We study in particular, the translation of Kleene, G?del, ?ukasiewicz and Nelson logics. This work enables us to lay bare the limited expressive power of three-valued logics in uncertainty management.作者: Extort 時間: 2025-3-24 16:09 作者: Foolproof 時間: 2025-3-24 20:20 作者: concise 時間: 2025-3-25 01:06
978-3-642-33352-1Springer-Verlag Berlin Heidelberg 2012作者: Commonwealth 時間: 2025-3-25 04:26
Logics in Artificial Intelligence978-3-642-33353-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: mercenary 時間: 2025-3-25 07:55
Deciding the Bisimilarity Relation between Datalog Goals-trees, considered as relational structures, are bisimilar. We address the problem of deciding whether two given goals are bisimilar with respect to given programs. When the given programs are hierarchical or restricted, this problem is decidable in 2EXPTIME.作者: PALSY 時間: 2025-3-25 13:00 作者: PHON 時間: 2025-3-25 17:01
https://doi.org/10.1007/978-3-642-33353-8argumentation; beliefs; logic programs; planning; reasoning作者: Receive 時間: 2025-3-25 23:39
Luis Fari?as Cerro,Andreas Herzig,Jér?me MenginFast-track conference proceedings.State-of-the-art research.Up-to-date results作者: 反感 時間: 2025-3-26 01:58 作者: Stagger 時間: 2025-3-26 04:56
Harald Beck,Thomas Eiter,Thomas Krennwallnersse zahlt Bonus.In diesem Praxismanual erfahren Psychotherapeuten, wie sie mit Kurztherapie bei vielen Patienten mit ?ngsten schnell und dauerhaft wirksam werden k?nnen. Dr. Kossak kombiniert die beiden effektiven Methoden Hypnose und kognitive Verhaltenstherapie: Sie wirkt meist bereits unmittelbar作者: 癡呆 時間: 2025-3-26 08:37
Mikkel Birkegaard Andersen,Thomas Bolander,Martin Holm Jensensse zahlt Bonus.In diesem Praxismanual erfahren Psychotherapeuten, wie sie mit Kurztherapie bei vielen Patienten mit ?ngsten schnell und dauerhaft wirksam werden k?nnen. Dr. Kossak kombiniert die beiden effektiven Methoden Hypnose und kognitive Verhaltenstherapie: Sie wirkt meist bereits unmittelbar作者: 改良 時間: 2025-3-26 13:34
Richard Booth,Thomas Meyer,Ivan Varzinczaksse zahlt Bonus.In diesem Praxismanual erfahren Psychotherapeuten, wie sie mit Kurztherapie bei vielen Patienten mit ?ngsten schnell und dauerhaft wirksam werden k?nnen. Dr. Kossak kombiniert die beiden effektiven Methoden Hypnose und kognitive Verhaltenstherapie: Sie wirkt meist bereits unmittelbar作者: deciduous 時間: 2025-3-26 19:04 作者: monochromatic 時間: 2025-3-26 23:16 作者: 珊瑚 時間: 2025-3-27 02:23 作者: 使乳化 時間: 2025-3-27 07:07 作者: –DOX 時間: 2025-3-27 12:05
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Modelsparison and similarity comparison within a modal language. The logic can express assertions of the kind “A is closer/more similar to B than to C” and has a natural application to spatial reasoning, as well as to reasoning about concept similarity in ontologies. The semantics of CSL is defined in ter作者: 使長胖 時間: 2025-3-27 14:40 作者: ENNUI 時間: 2025-3-27 18:09 作者: 路標 時間: 2025-3-28 01:35
Knowledge Means ‘,’, Belief Means ‘,’erpreted as truth in . (a ‘.’ of the) epistemically alternative states. This doxastic interpretation is of interest in KR applications and it also has an independent philosophical and technical interest. The logic . comprises an .4 epistemic modal operator, a doxastic modal operator of consistent an作者: nurture 時間: 2025-3-28 04:44 作者: 立即 時間: 2025-3-28 07:33
Deciding the Bisimilarity Relation between Datalog Goals-trees, considered as relational structures, are bisimilar. We address the problem of deciding whether two given goals are bisimilar with respect to given programs. When the given programs are hierarchical or restricted, this problem is decidable in 2EXPTIME.作者: CAND 時間: 2025-3-28 11:32 作者: Anticoagulants 時間: 2025-3-28 16:19 作者: faucet 時間: 2025-3-28 19:18 作者: 小卒 時間: 2025-3-29 00:42
The Complexity of One-Agent Refinement Modal Logicg refinement quantifiers on structures. It is known that . has the same expressiveness as ., but the translation of . into . is of non-elementary complexity, and . is at least . exponentially more succinct than .. In this paper, we show that .-satisfiability is ‘only’ . exponentially harder than .-s作者: Fatten 時間: 2025-3-29 04:18
The View-Update Problem for Indefinite Databasespresented, following the standard database approach, by a single . constant. The paper formalizes views over such databases as indefinite . databases, and defines for them several classes of database repairs that realize view-update requests. Most notable is the class of .. Constrained repairs chang作者: 粗糙濫制 時間: 2025-3-29 09:45 作者: CANT 時間: 2025-3-29 13:09 作者: chalice 時間: 2025-3-29 19:06
Using Satisfiability for Non-optimal Temporal Planning effective in finding optimal plans for both classical and temporal planning. It is also known that by using planning-based heuristic information in solving SAT formulae, one can develop SAT-based planners that are competitive with state-of-the-art non-optimal planners in classical planning domains.作者: PALSY 時間: 2025-3-29 19:46
How to Exploit Parametric Uniformity for Maximum Entropy Reasoning in a Relational Probabilistic Lognowledge base . can be exploited for solving the optimization problem required for ME reasoning more efficiently. The original ME optimization problem containing a large number of linear constraints, one for each ground instance of a conditional, can be replaced by an optimization problem containing作者: trigger 時間: 2025-3-30 03:12 作者: paroxysm 時間: 2025-3-30 05:52
A Selective Semantics for Logic Programs with Preferences preferences and several semantics have been proposed. Among the available semantics, the so-called . semantics have the property of always choosing preferred answer sets from among the standard answer sets, which is a desirable property in many applications. However, there exist programs which whil作者: 邪惡的你 時間: 2025-3-30 09:01
A Minimal Model Semantics for Nonmonotonic Reasoningtonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: the first one in terms of minimal models where proposi作者: vocation 時間: 2025-3-30 14:25 作者: 替代品 時間: 2025-3-30 19:23
Knowledge Means ‘,’, Belief Means ‘,’eness results. We examine the validity of certain epistemic principles discussed in the literature, in particular some of the ‘bridge’ axioms discussed by W. Lenzen and R. Stalnaker, as well as the ‘.’, which is not a theorem of ..作者: Ige326 時間: 2025-3-30 21:22 作者: 量被毀壞 時間: 2025-3-31 04:00
Masood Feyzbakhsh Rankooh,Ali Mahjoob,Gholamreza Ghassem-Saninarbeit erleichtern dabei wesentlich die Umsetzung in der t?glichen Praxis...Kopiervorlagen zu den einzelnen übungen finden sich zus?tzlich auf der beigelegten CD-ROM..978-3-211-79903-1978-3-211-79904-8作者: 不出名 時間: 2025-3-31 06:50 作者: Occipital-Lobe 時間: 2025-3-31 12:41
Harald Beck,Thomas Eiter,Thomas Krennwallnererhaltenstherapie und Hypnose. Schwerpunkt: ?ngste, Psychosomatik, Lern- und Leistungsst?rungen. Er war Leiter der Katholischen Beratungsstelle für Erziehungs- und F978-3-662-62322-0978-3-662-62323-7Series ISSN 2570-3285 Series E-ISSN 2570-3293 作者: recede 時間: 2025-3-31 17:16 作者: Implicit 時間: 2025-3-31 18:25
Richard Booth,Thomas Meyer,Ivan Varzinczakerhaltenstherapie und Hypnose. Schwerpunkt: ?ngste, Psychosomatik, Lern- und Leistungsst?rungen. Er war Leiter der Katholischen Beratungsstelle für Erziehungs- und F978-3-662-62322-0978-3-662-62323-7Series ISSN 2570-3285 Series E-ISSN 2570-3293 作者: 從容 時間: 2025-3-31 23:44
Guillaume Aucher,Bastien Maubert,Fran?ois Schwarzentruber作者: 使高興 時間: 2025-4-1 03:11
Thomas Eiter,Michael Fink,Thomas Krennwallner,Christoph Redl,Peter Schüller作者: 晚間 時間: 2025-4-1 09:07
Laura Giordano,Valentina Gliozzi,Nicola Olivetti,Gian Luca Pozzato作者: 仔細檢查 時間: 2025-4-1 12:00 作者: 得意牛 時間: 2025-4-1 14:57
Luciano Caroprese,Irina Trubitsyna,Miros?aw Truszczyński,Ester Zumpanofikaten in Verhaltenstherapie, Gespr?chspsychotherapie, Hypnosetherapie. Gründer der Psychotherapie in der Kombination von kognitiver Verhaltenstherapie und Hypnose. Schwerpunkt: ?ngste, Psychosomatik, Lern- und Leistungsst?rungen. Er war Leiter der Katholischen Beratungsstelle für Erziehungs- und F
