標(biāo)題: Titlebook: Logic Programming and Nonmonotonic Reasoning; 8th International Co Chitta Baral,Gianluigi Greco,Giorgio Terracina Conference proceedings 20 [打印本頁] 作者: 手鐲 時(shí)間: 2025-3-21 17:41
書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)
書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning網(wǎng)絡(luò)公開度
書目名稱Logic Programming and Nonmonotonic Reasoning網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次
書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning年度引用
書目名稱Logic Programming and Nonmonotonic Reasoning年度引用學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋
書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋學(xué)科排名
作者: 考得 時(shí)間: 2025-3-21 21:48
External Sources of Computation for Answer Set Solversms for evaluating Answer Set Programs with external predicates. The framework paves the way to Answer Set Programming in several directions such as pattern manipulation applications, as well as the possibility to exploit function symbols. . has been successfully implemented in the . system, which is now enabled to make external program calls.作者: 平躺 時(shí)間: 2025-3-22 00:49
An ID-Logic Formalization of the Composition of Autonomous Databasesvides a straightforward way of dealing with inconsistent data. Moreover, this framework facilitates the implementation of database repair and consistent query answering by means of a variety of reasoning systems.作者: Prognosis 時(shí)間: 2025-3-22 08:04 作者: OCTO 時(shí)間: 2025-3-22 11:07 作者: CAB 時(shí)間: 2025-3-22 16:01
Answer Sets for Propositional Theories propose, in particular, a semantics for weight constraints that covers the problematic case of negative weights. Our semantics of aggregates is an extension of the approach due to Faber, Leone, and Pfeifer to a language with choice rules and, more generally, arbitrary rules with nested expressions.作者: SHRIK 時(shí)間: 2025-3-22 20:49
On the Local Closed-World Assumption of Data-Sourcesder theory that can be processed by an independent reasoning system (for example a .). We consider different ways of representing our approach, relate it to other methods of representing local closed-word assumptions of data-sources, and show some useful properties of our framework which facilitate its application in real-life systems.作者: 輕率的你 時(shí)間: 2025-3-22 22:59
Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programmingntroduce definitions which allow to characterize dialectical trees constructively rather than declaratively, identifying relevant features for pruning the associated search space. The resulting approach can be easily generalized to be applied in other argumentation frameworks based in logic programming.作者: JIBE 時(shí)間: 2025-3-23 04:03 作者: 蝕刻術(shù) 時(shí)間: 2025-3-23 07:36
,odular-,: An Elaboration Tolerant Approach to the Ramification and Qualification Problemsus qualification problems. We also show how a notion of (micro) processes can be used to facilitate reasoning at the dual levels of temporal granularity necessary for narrative-based domains involving “instantaneous” series of indirect and knock-on effects.作者: Cantankerous 時(shí)間: 2025-3-23 10:35 作者: Licentious 時(shí)間: 2025-3-23 16:18 作者: Merited 時(shí)間: 2025-3-23 20:49
Data Integration and Answer Set Programmingth inconsistent and incomplete data. Answer Set solvers have been considered as a tool for data integration systems by different authors. We discuss why data integration can be an interesting model application of Answer Set programming, reviewing valuable features of non-monotonic logic programs in 作者: 舊病復(fù)發(fā) 時(shí)間: 2025-3-23 23:32 作者: single 時(shí)間: 2025-3-24 05:00 作者: 包租車船 時(shí)間: 2025-3-24 09:41 作者: Rct393 時(shí)間: 2025-3-24 12:21
Approximating Answer Sets of Unitary Lifschitz-Woo Programspropose three different methods of approximation and obtain results on the relationship between them. Since general logic programs with single literals as heads are equivalent to revision programs, we obtain results on approximations of justified revisions of databases by revision programs.作者: OASIS 時(shí)間: 2025-3-24 15:05
On Modular Translations and Strong Equivalencewer set semantics. The main theorem of this paper characterizes the existence of such a translation in terms of strong equivalence. The theorem is used to study the expressiveness of several classes of programs, including the comparison of cardinality constraints with monotone cardinality atoms.作者: 聲音刺耳 時(shí)間: 2025-3-24 20:31 作者: anthesis 時(shí)間: 2025-3-25 02:46 作者: 有害處 時(shí)間: 2025-3-25 05:56
Answer Sets for Propositional Theoriescorrespond to the special case in which every formula is a “rule” — an implication that has no implications in the antecedent (body) and consequent (head). The semantics of equilibrium logic looks very different from the usual definitions of an answer set in logic programming, as it is based on Krip作者: 指令 時(shí)間: 2025-3-25 09:41 作者: Incorporate 時(shí)間: 2025-3-25 12:26 作者: 鎮(zhèn)壓 時(shí)間: 2025-3-25 17:59 作者: GROSS 時(shí)間: 2025-3-25 23:34 作者: BUMP 時(shí)間: 2025-3-26 02:26
Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theoriess an extension of the action language . that is inspired by partially observable stochastic games (POSGs). We provide a finite-horizon value iteration for this framework and show that it characterizes finite-horizon Nash equilibria. We also describe how the framework can be implemented on top of non作者: MIRE 時(shí)間: 2025-3-26 07:01
Some Logical Properties of Nonmonotonic Causal Theoriesc reasoning and knowledge representation, as well as a higher level, special-purpose notation, the action language ., for specifying and reasoning about the effects of actions and the persistence (‘inertia’) of facts over time. In this paper we investigate some logical properties of these formalisms作者: Notorious 時(shí)間: 2025-3-26 11:36
,odular-,: An Elaboration Tolerant Approach to the Ramification and Qualification Problemsolving concurrency, static laws (constraints) and indirect effects (ramifications). We give formal results which characterize .’s high degree of modularity and elaboration tolerance, and show how these properties help to separate out, and provide a principled solutions to, the endogenous and exogeno作者: moratorium 時(shí)間: 2025-3-26 15:28
,: A Platform for Distributed Answer Set Solving hardware architectures and allows its easy use with a diverse cadre of computational elements. Starting from a generic algorithmic scheme, we develop a platform for distributed answer set computation, describe its current state of implementation, and give some experimental results.作者: 對(duì)手 時(shí)間: 2025-3-26 17:22 作者: subacute 時(shí)間: 2025-3-26 23:36
Thomas EiterDiakon S.F.Trescho; 1762 Studium der Theologie in K?nigsberg, Hilfslehrerstelle am Collegium Friedericianum, kostenfreier Besuch der Vorlesungen Kants (u.a. Logik, Metaphysik, Moralphilosophie und Mathematik); 1764 Collaborator an der Domschule in Riga, erste Publikationen; 1765 Kustos an der Rigaer作者: 迷住 時(shí)間: 2025-3-27 03:18
Jürgen Angele,Eddie Moench,Henrik Oppermann,Dirk WenkeDiakon S.F.Trescho; 1762 Studium der Theologie in K?nigsberg, Hilfslehrerstelle am Collegium Friedericianum, kostenfreier Besuch der Vorlesungen Kants (u.a. Logik, Metaphysik, Moralphilosophie und Mathematik); 1764 Collaborator an der Domschule in Riga, erste Publikationen; 1765 Kustos an der Rigaer作者: 幻影 時(shí)間: 2025-3-27 08:40 作者: 北極人 時(shí)間: 2025-3-27 11:56 作者: stress-test 時(shí)間: 2025-3-27 13:35 作者: Pudendal-Nerve 時(shí)間: 2025-3-27 19:09
Antonis Kakas,Loizos Michael,Rob Millerche einnahmen, hatte das Land l?ngst aufgeh?rt, eine die Weltkugel umspannende See- und Handelsmacht zu sein. Selbst dem realit?tsfernsten Anh?nger imperialer Phantasien musste dies im vorausgehenden Jahrzehnt schmerzlich bewusst werden, als das Land im kolonialen Tauziehen mit dem Britischen Empire作者: 焦慮 時(shí)間: 2025-3-28 00:38
Jean Gressmann,Tomi Janhunen,Robert E. Mercer,Torsten Schaub,Sven Thiele,Richard Tichyr; 1775 übersiedlung nach Weimar und Aufnahme amtlicher T?tigkeit in der Regierung Herzog Carl Augusts von Sachsen-Weimar; 1776 Ernennung zum Geheimen Legationsrat; 1781 Aufnahme in die Freimaurerloge Amalia; 1782 Erhebung in den Adelsstand; 1786–1788 Reise nach Italien; 1788 Begegnung mit Christian作者: profligate 時(shí)間: 2025-3-28 04:30
Wolfgang Faber,Francesco Riccat als Laufb ursche, Hausangestellter, Schiff sjunge, B?cker; 1887 Selbstmordversuch; Verletzung der Lunge führt sp?ter zu Tuberkulose; 1888/89 und 1891/92 Wanderungen durch Russland; 1892 Beginn der T?tigkeit als Schrift steller; 1902 Wahl zum Ehrenmitglied der Akademie der Wissenschaft en (nach Ein作者: EXPEL 時(shí)間: 2025-3-28 07:28
Nonmonotonic Reasoning in FLORA-2 theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.作者: 收到 時(shí)間: 2025-3-28 12:39
Approximating Answer Sets of Unitary Lifschitz-Woo Programspropose three different methods of approximation and obtain results on the relationship between them. Since general logic programs with single literals as heads are equivalent to revision programs, we obtain results on approximations of justified revisions of databases by revision programs.作者: 連詞 時(shí)間: 2025-3-28 16:56
On Modular Translations and Strong Equivalencewer set semantics. The main theorem of this paper characterizes the existence of such a translation in terms of strong equivalence. The theorem is used to study the expressiveness of several classes of programs, including the comparison of cardinality constraints with monotone cardinality atoms.作者: 表否定 時(shí)間: 2025-3-28 21:24
An Approximation of Action Theories of , and Its Application to Conformant Planningnstructing approximation of action theories of . and prove its soundness. We describe an approximation based conformant planner and compare its performance with other state-of-the-art conformant planners.作者: oblique 時(shí)間: 2025-3-29 00:15 作者: Keratectomy 時(shí)間: 2025-3-29 06:11 作者: START 時(shí)間: 2025-3-29 09:09
Logic Programming and Nonmonotonic Reasoning978-3-540-31827-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Colonoscopy 時(shí)間: 2025-3-29 13:35 作者: 昏睡中 時(shí)間: 2025-3-29 17:44
https://doi.org/10.1007/11546207Extension; algorithms; complexity; heuristics; knowledge; logic; nonmonotonic reasoning; programming; softwa作者: 要求比…更好 時(shí)間: 2025-3-29 20:53 作者: Disk199 時(shí)間: 2025-3-30 00:04
Thomas Eiter771 Amtsantritt als Konsistorialrat und Oberprediger am Schaumburg-Lippeschen Hof in Bückeburg; 1773 Heirat mit K. Flachsland; 1774 Berufungsverhandlungen für eine theologische Professur an der Universit?t G?ttingen; 1776 auf Vermittlung Goethes Berufung nach Weimar: Generalsuperintendent, Oberhofpr作者: critique 時(shí)間: 2025-3-30 05:21 作者: 典型 時(shí)間: 2025-3-30 11:14 作者: 言行自由 時(shí)間: 2025-3-30 14:18
Martin Gebser,Torsten Schauben Beurlaubungen und Sanatoriumsaufenthalten, von der AUVA pensioniert; 1923 Bekanntschaft mit der Ostjüdin Dora Diamant, mit der er von September 1923 bis M?rz 1924 in Berlin zusammenlebte; 1924 Sanatorium in Kierling bei Klosterneuburg, Tod durch Kehlkopftuberkulose; testamentarische Verfügung, de作者: 得罪 時(shí)間: 2025-3-30 19:44 作者: angiography 時(shí)間: 2025-3-30 21:03
Antonis Kakas,Loizos Michael,Rob Millerwar 1900 im fernen Paris verstorben. Der Diplomat, Ethnologie und Schrift-steller Wenceslau de Mor?es wird bis zu seinem Tod 1925 in Japan bleiben, im Jahr darauf stirbt — wohl infolge seines Opiummi?brauchs — im portugiesischen Macao der mit ihm befreundete Camilo Pessanha, der zu diesem Zeitpunkt 作者: Parley 時(shí)間: 2025-3-31 04:40
Jean Gressmann,Tomi Janhunen,Robert E. Mercer,Torsten Schaub,Sven Thiele,Richard Tichyolgen mit . und . ab 1775 intensive praktische und theoretische Theaterarbeit; ab 1790 zusammen mit Schiller Begründer der ?Weimarer Klassik? als Konzept einer ?sthetischen Bildung des Menschen zu eigenverantwortlicher Humanit?t; publizierte seit der Italienreise zunehmend auch naturwissenschaftlich作者: 肌肉 時(shí)間: 2025-3-31 06:52 作者: 騎師 時(shí)間: 2025-3-31 10:40 作者: 毗鄰 時(shí)間: 2025-3-31 15:46
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregatestrate that, as for restricted languages, answer sets can be crisply characterized by unfounded sets: They are precisely the unfounded-free models. This result can be seen as a confirmation of the robustness of the definition of answer sets for arbitrary aggregates. We also provide a comprehensive co作者: GIDDY 時(shí)間: 2025-3-31 19:02
Solving Hard ASP Programs Efficientlyso compare the DLV system (with ..) to the QBF solvers SSolve, Quantor, Semprop, and yQuaffle, which performed best in the QBF evaluation of 2004. The results of the comparison indicate that ASP systems currently seem to be the best choice for solving ./.-complete problems.作者: 赦免 時(shí)間: 2025-3-31 23:03 作者: 錫箔紙 時(shí)間: 2025-4-1 02:42 作者: Spinous-Process 時(shí)間: 2025-4-1 09:35 作者: Exclude 時(shí)間: 2025-4-1 12:51 作者: mosque 時(shí)間: 2025-4-1 15:13
Tran Cao Son,Phan Huy Tu,Michael Gelfond,A. Ricardo Morales作者: BOOST 時(shí)間: 2025-4-1 18:32 作者: 寬宏大量 時(shí)間: 2025-4-1 23:31
