標題: Titlebook: Logics in Artificial Intelligence; 11th European Confer Steffen H?lldobler,Carsten Lutz,Heinrich Wansing Conference proceedings 2008 Spring [打印本頁] 作者: breath-focus 時間: 2025-3-21 17:09
書目名稱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é)科排名
作者: Arboreal 時間: 2025-3-21 23:41 作者: 紋章 時間: 2025-3-22 03:14
Propositional Clausal Defeasible Logicties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorith作者: isotope 時間: 2025-3-22 06:15
Complexity and Succinctness Issues for Linear-Time Hybrid Logicsperators ↓ and ?. We investigate complexity and succinctness issues for . in terms of the number of variables and nesting depth of binder modalities. First, we present . automata-theoretic decision procedures for satisfiability and model-checking of ., which require space of exponential height equal作者: cognizant 時間: 2025-3-22 09:13 作者: 黃瓜 時間: 2025-3-22 16:03
Normal Form Nested Programsasoning during the last decade. Lifschitz, Tang, and Turner have introduced an extended language of ., called Nested Logic Programming (.), in 1999 [1]. It often allows for more concise representations by permitting a richer syntax in rule heads and bodies. However, that language is propositional an作者: 字謎游戲 時間: 2025-3-22 18:11
A Logic for Closed-World Interactionction can be determined by the agents themselves and in which Nature does not play an active role. We formalize this intuition by identifying all such interactions and axiomatizing their logic. We apply the formal tools to reason about games and their regulation.作者: Morsel 時間: 2025-3-23 00:11
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraintseveral semantics for revision programs combining ideas from logic programming and ., a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under “shift作者: 草率女 時間: 2025-3-23 04:57 作者: aerial 時間: 2025-3-23 08:54
A Fluent Calculus Semantics for ADL with Plan Constraintsnt consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.作者: Largess 時間: 2025-3-23 09:44
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworksframeworks may be described. In contrast to the better known stable semantics, one advantage of semi-stability is that any finite argumentation framework always has at least one semi-stable extension. Although there has been some development of the formal logical theory of semi-stable semantics so t作者: CLOUT 時間: 2025-3-23 17:30 作者: microscopic 時間: 2025-3-23 18:31
Accommodative Belief Revision revision and beliefs that are allowed to change. Incoming information is first revised by the knowledge of the agent, and then the epistemic state of the agent is revised using this modified input. The properties of the method are studied and examples of its use are given.作者: 調(diào)色板 時間: 2025-3-23 22:49 作者: 暴行 時間: 2025-3-24 04:19 作者: deviate 時間: 2025-3-24 09:42 作者: 意見一致 時間: 2025-3-24 12:07
Annamaria Bria,Wolfgang Faber,Nicola Leone daran, da? nicht kognitive Ph?nomene wie Motivation oder Emotion auf ihre Abh?ngigkeit von Kognitionen hin untersucht werden. H?ufig wird auch angestrebt, Verhaltenserkl?rungen, die auf motivationale Variablen Bezug nehmen, durch rein kognitive Erkl?rungen zu ersetzen (vgl. Nisbett & Ross, 1980). N作者: LIMN 時間: 2025-3-24 16:18
Jan Broersen,Rosja Mastop,John-Jules Ch. Meyer,Paolo Turrinihologie spielt, st??t unvermeidlich auf das ?Leib-Seele-Problem“ oder ?Geist-K?rper-Problem“, wie man es heute besser nennt. Es ist insbesondere aus zwei Gründen notwendig, hierauf einzugehen: Zum einen gibt es Theorien zum Geist-K?rper-Problem, die die Existenz mentaler Sachverhalte bestreiten. Sol作者: 小母馬 時間: 2025-3-24 21:27 作者: 甜食 時間: 2025-3-25 02:48
Sylvie Coste-Marquis,Pierre Marquisen eine stets wiederkehrende Notwendigkeit. Es sind Situationen, die sich durch einen Aufgabencharakter auszeichnen, weil angepasstes Handeln nicht unmittelbar aus reflektorischen oder automatisierten Reaktionen resultiert, sondern erst durch Planung und Auswahl zustandekommt. Die Auseinandersetzung作者: GLADE 時間: 2025-3-25 05:15
Fabio Cuzzolinhülern (vgl. Abschnitt 3.3) zum Ausdruck kommen, als ?naive Politiktheorien“ bezeichnet werden. ?Naiv“ soll dabei keine Wertung ausdrücken, sondern den Unterschied zu wissenschaftlichen Theoriebildungen kennzeichnen (vgl. HEIDBRINK 1979, S. 13 ff). Naive Politiktheorien bestimmen das subjektive poli作者: 含糊其辭 時間: 2025-3-25 09:45 作者: 尖叫 時間: 2025-3-25 12:17
Paul E. Dunne,Martin Caminadan der Strategielehre bisher zugrundeliegen, und dabei kritisch zu reflektieren, inwieweit die hier verwandten Begriffe zul?nglich sind respektive problematisch erscheinen. Dabei war zun?chst einmal zu zeigen, da? die rational-analytische Strategielehre als das die Strategiepr?skription und damit das作者: 減弱不好 時間: 2025-3-25 19:06
Thomas Eiter,Georg Gottlob,Magdalena Ortiz,Mantas ?imkusunlich: Die pr?skriptiv orientierte, am Rational-Aktor-Paradigma ausgerichtete Lehre hat sich traditionell in erster Linie mit der Erarbeitung von Konzepten zur L?sung strategischer Entscheidungsprobleme befasst. Vor dem Hintergrund ihres objektivistischen Realit?tsbegriffs erscheint es als vorrangi作者: sacrum 時間: 2025-3-25 22:12 作者: indigenous 時間: 2025-3-26 03:56 作者: ANTIC 時間: 2025-3-26 08:10
Miki Hermann,Reinhard Pichlerle Gründe für die Frage nach der Kultur, ebenso viele dagegen und unglücklicherweise sind es oftmals die gleichen. Nicht zuletzt die Debatte über die Globalisierung von Wirtschaft, Migration und Kommunikation macht gleicherma?en die Notwendigkeit wie auch die Unm?glichkeit der Besch?ftigung mit Kult作者: 捐助 時間: 2025-3-26 10:52
https://doi.org/10.1007/978-3-540-87803-2MAS; Multi-agent system; artificial intelligence; categorical logic; deductive systems; description logic作者: BRUNT 時間: 2025-3-26 14:30 作者: –FER 時間: 2025-3-26 19:55
On the Credal Structure of Consistent ProbabilitiesIn this paper we introduce a novel, simpler form of the polytope of inner Bayesian approximations of a belief function, or “consistent probabilities”. We prove that the set of vertices of this polytope is generated by all possible permutations of elements of the domain, mirroring a similar behavior of outer consonant approximations.作者: 蛤肉 時間: 2025-3-26 21:23 作者: contrast-medium 時間: 2025-3-27 02:29
Propositional Clausal Defeasible Logicties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorithms to cater for a range of intuitions.作者: TEN 時間: 2025-3-27 08:47
A Logic for Closed-World Interactionction can be determined by the agents themselves and in which Nature does not play an active role. We formalize this intuition by identifying all such interactions and axiomatizing their logic. We apply the formal tools to reason about games and their regulation.作者: 音樂戲劇 時間: 2025-3-27 10:44 作者: 不再流行 時間: 2025-3-27 14:31
Accommodative Belief Revision revision and beliefs that are allowed to change. Incoming information is first revised by the knowledge of the agent, and then the epistemic state of the agent is revised using this modified input. The properties of the method are studied and examples of its use are given.作者: 消息靈通 時間: 2025-3-27 20:20
Conference proceedings 2008any, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.作者: sulcus 時間: 2025-3-28 01:45 作者: Champion 時間: 2025-3-28 02:16 作者: Alienated 時間: 2025-3-28 09:36
Logics in Artificial Intelligence978-3-540-87803-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: inhibit 時間: 2025-3-28 12:27 作者: 吸引人的花招 時間: 2025-3-28 16:48
Davide Bresolin,Angelo Montanari,Pietro Sala,Guido Sciavicco作者: entail 時間: 2025-3-28 21:00 作者: fleeting 時間: 2025-3-29 01:24
Annamaria Bria,Wolfgang Faber,Nicola Leonengen geh?ren z.B. die verschiedenen Aspekte der Aufnahme, Speicherung und Verarbeitung von Information, insbesondere (visuelle und auditive) Wahrnehmung, Aufmerksamkeit, Behalten und Erinnern von Information, Art der Repr?sentation von Wissen, Aufbau des Ged?chtnisses, Produktion und Verstehen von S作者: Consensus 時間: 2025-3-29 03:24 作者: enfeeble 時間: 2025-3-29 10:21 作者: 大洪水 時間: 2025-3-29 13:40
Sylvie Coste-Marquis,Pierre Marquisehung zu Bekanntem, seine Einordnung in die bestehenden Wissensstrukturen ist noch nicht erfolgt, und infolgedessen ist auch eine Antizipation seines Fortganges nicht m?glich. Damit angepasstes Verhalten m?glich wird -und letzten Endes das Ueberleben gew?hrleistet ist — ist es wichtig, dass die Erre作者: Gentry 時間: 2025-3-29 19:05
Fabio Cuzzolinbeitspsychologische Arbeiten von HACKER (1978) und deren Anwendung auf therapeutische Fragestellungen durch SEMMER & FREESE (1979) lassen sich Pl?ne verschiedenen ?Regulations-ebenen“ zuordnen, die sich auf einer Dimension von automatisierten Fertigkeiten bis zu abstrakten Probleml?sungsprozessen er作者: 障礙物 時間: 2025-3-29 23:09 作者: 壯觀的游行 時間: 2025-3-29 23:57 作者: 接觸 時間: 2025-3-30 05:07
Thomas Eiter,Georg Gottlob,Magdalena Ortiz,Mantas ?imkusationsverst?ndnisses und ihrer Proze?konzeptualisierung, nicht aber ihrer Realit?tsvorstellung und der damit einhergehend unterstellten M?glichkeit, strategisch relevante Probleme quasi unbegrenzt zu erkennen und zu bestimmen.. So ist die Diskussion um die strategische Problemformulierung erst Anfan作者: GENUS 時間: 2025-3-30 11:23 作者: LUCY 時間: 2025-3-30 15:03 作者: idiopathic 時間: 2025-3-30 18:28 作者: LAVA 時間: 2025-3-30 23:18
Voting in Combinatorial Domains: What Logic and AI Have to Say.作者: 膽小鬼 時間: 2025-3-31 02:37 作者: 暴行 時間: 2025-3-31 08:07 作者: 生存環(huán)境 時間: 2025-3-31 11:42
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworkstion of computational complexity issues has been neglected. Our purpose in this article is to present a number of results on the complexity of some natural decision questions for semi-stable semantics.作者: Constant 時間: 2025-3-31 14:51
Reasoning about Typicality in Preferential Description Logics” semantics . for .. The intuition is that preferred, or minimal models are those that maximise typical instances of concepts. By means of . we are able to infer defeasible properties of (explicit or implicit) individuals. We also present a tableau calculus for deciding . entailment.作者: 殘酷的地方 時間: 2025-3-31 19:00 作者: 撫育 時間: 2025-4-1 01:34
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraintsnts on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under “shifting”. Finally, we prove that from the perspective of a broad semantic landscape of revision programming, there is a direct correspondence between revision programs and active integrity constraints.作者: Hemiparesis 時間: 2025-4-1 03:09
