標(biāo)題: Titlebook: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning; Essays Dedicated to Marcello Balduccini,Tran Cao Son Book 2011 Sp [打印本頁] 作者: 年邁 時間: 2025-3-21 18:17
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning影響因子(影響力)
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning影響因子(影響力)學(xué)科排名
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning網(wǎng)絡(luò)公開度
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning被引頻次
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning被引頻次學(xué)科排名
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning年度引用
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning年度引用學(xué)科排名
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning讀者反饋
書目名稱Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning讀者反饋學(xué)科排名
作者: PLE 時間: 2025-3-21 21:14 作者: Abjure 時間: 2025-3-22 00:51
Perspectives on Logic-Based Approaches for Reasoning about Actions and ChangeSet Programming and Constraint Logic Programming over Finite Domains) for planning with . and . specifications. In particular, the paper provides an experimental comparison between these alternative implementation approaches.作者: 托運(yùn) 時間: 2025-3-22 06:04 作者: mitten 時間: 2025-3-22 11:22
Book 2011xington, KY, USA on October 25-26, 2010. .The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”..作者: Hemiplegia 時間: 2025-3-22 14:01 作者: PRE 時間: 2025-3-22 19:49 作者: 出處 時間: 2025-3-22 22:59
Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfondsults in this direction were obtained by M. Gelfond in the 1970s. In this paper, we mention the history of these results, and show how these results affected constructive mathematics, how they led to new algorithms, and how they affected the current activity in logic programming-related research.作者: 救護(hù)車 時間: 2025-3-23 02:33 作者: STRIA 時間: 2025-3-23 09:30
Book 2011losest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010. .The 27 scientific papers included in the book focus on answer set programming. The papers are organized in s作者: antidepressant 時間: 2025-3-23 10:23
0302-9743 in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”..978-3-642-20831-7978-3-642-20832-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 直覺沒有 時間: 2025-3-23 15:49 作者: 不能強(qiáng)迫我 時間: 2025-3-23 20:08 作者: Neutral-Spine 時間: 2025-3-24 00:07
Challenges in Answer Set Solvingblem solving in the area of Knowledge Representation and Reasoning. Despite this success, however, ASP has not yet attracted broad attention outside this area. This paper aims at identifying some current challenges that our field has to overcome in the mid-run to ultimately become a full-fledged technology in Informatics.作者: 溫室 時間: 2025-3-24 05:23
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sour programs under answer set semantics or default logic. We will motivate the need for such systems, describe what has been achieved in this area, but we also discuss work in progress and introduce generalizations of the existing framework which we consider useful.作者: RACE 時間: 2025-3-24 09:33
Translating General Game Descriptions into an Action Languagerovably correct translation paves the way for applying known results from reasoning about actions, including competitive implementations such as the Causal Calculator, to the new and ambitious challenge of general game playing.作者: 期滿 時間: 2025-3-24 13:17 作者: 脆弱么 時間: 2025-3-24 15:42 作者: Ballad 時間: 2025-3-24 19:41 作者: 我說不重要 時間: 2025-3-25 00:22 作者: 粘 時間: 2025-3-25 03:20 作者: 宿醉 時間: 2025-3-25 08:33
Paolo Ferraris,Vladimir LifschitzBrush, 1976; Cercignani, 1998). The aim of kinetic theory is to explain, by using a statistical approach, the macroscopic properties of gases out of equilibrium from the knowledge of the laws governing the dynamics of the microscopic constituents (atoms or molecules). The first serious advances in k作者: 外科醫(yī)生 時間: 2025-3-25 12:31 作者: Spongy-Bone 時間: 2025-3-25 18:56 作者: ear-canal 時間: 2025-3-25 23:48
Tomi Janhunen,Ilkka Niemel?ed hydrodynamics extending the classical hydrodynamics of Navier, Stokes, Fourier, and Fick. Together with its companion volume on relativistic theories, it provides a comprehensive picture of the kinetic theory formulated from the viewpoint of nonequilibrium ensembles in both nonrelativistic and, i作者: pericardium 時間: 2025-3-26 01:13
Victor Marek,Jeffrey B. Remmelhroughout.Presents formal content in a highly accessible sty. .This book presents the fundamentals of irreversible thermodynamics for nonlinear transport processes in gases and liquids, as well as for generalized hydrodynamics extending the classical hydrodynamics of Navier, Stokes, Fourier, and Fic作者: 狂熱語言 時間: 2025-3-26 07:47 作者: 挖掘 時間: 2025-3-26 11:02 作者: Armory 時間: 2025-3-26 15:48
Vladik Kreinovicheld.Highly detailed and rigorously argued throughout.Present.This book presents the fundamentals of irreversible thermodynamics for nonlinear transport processes in gases and liquids, as well as for generalized hydrodynamics extending the classical hydrodynamics of Navier, Stokes, Fourier, and Fick.作者: Palate 時間: 2025-3-26 19:36 作者: Acetabulum 時間: 2025-3-26 21:59
José Júlio Alferes,Alfredo Gabaldon,Jo?o Leitema spectroscopy as a kinetic theory of particles and photons, considering the radiation field as a photon gas whose distribution function (the radiation in- tensity) obeys a kinetic equation (the radiative transfer equation), just as the distribution functions of particles obey kinetic equations. Su作者: 制定 時間: 2025-3-27 04:18 作者: Picks-Disease 時間: 2025-3-27 07:45 作者: Decline 時間: 2025-3-27 11:47 作者: affect 時間: 2025-3-27 14:43
Closure and Consistency Rationalities in Logic-Based Argumentationistency. Prakken has developed this idea further for a richer logic. A question arises naturally whether a general structure guaranteeing the logical closure and consistency properties could be identified that is common for all underlying logics. We explore this question by first defining a logic-ba作者: Crohns-disease 時間: 2025-3-27 21:18 作者: olfction 時間: 2025-3-28 01:01
On the Minimality of Stable Modelse minimal. In the course of research on answer set programming, the concept of a stable model was extended to several new programming constructs, and for some of these extensions the minimality property does not hold. We are interested in syntactic conditions on a logic program that guarantee the mi作者: 對待 時間: 2025-3-28 04:49
Challenges in Answer Set Solvingct has not only given our community self-confidence and served us as a reference for grant agencies and neighboring fields, but ultimately it helped freeing the penguins making them exclaim .[fly].. The community has taken up this wonderful assist to establish ASP as a prime tool for declarative pro作者: 細(xì)微差別 時間: 2025-3-28 07:00
Exploring Relations between Answer Set Programslogic programs. In this paper, we overview previous relations of answer set programs, and propose a general framework that subsumes previous relations. The proposed framework allows us to compare programs possibly having non-minimal answer sets as well as to explore new relations between programs. S作者: Generator 時間: 2025-3-28 12:54
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clausestable models of a logic program using a SAT solver presumes translating the program into a set of clauses in the DIMACS format which is accepted by most SAT solvers as input. In this paper, we present succinct translations from programs with choice rules, cardinality rules, and weight rules—also kno作者: 蘑菇 時間: 2025-3-28 18:33
Effectively Reasoning about Infinite Sets in Answer Set Programmingams which have stable models of excessively high complexity. For example, Marek, Nerode, and Remmel showed that there exist finite predicate logic programs which have stable models but which have no hyperarithmetic stable model. Disallowing function symbols also avoids problems with the occurs check作者: monochromatic 時間: 2025-3-28 18:53
Inspecting Side-Effects of Abduction in Logic Programsecome . (or .) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how作者: anticipate 時間: 2025-3-28 23:20
Argumentation and Answer Set Programmingonic reasoning. This paper surveys recent work on using answer set programming as a mechanism for computing extensions in argumentation. The paper also indicates some possible directions for future work.作者: 奇怪 時間: 2025-3-29 06:08
Cantor’s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfondrestricted version of mathematics, a version in which many commonly used mathematical techniques (like the Law of Excluded Middle) were forbidden to maintain constructivity. Eventually, it turned out that not only constructive mathematics is not a weakened version of the classical one – as it was or作者: 深陷 時間: 2025-3-29 09:47
Evolving Logic Programs with Temporal Operatorsre both extensional knowledge (facts) as well as intentional knowledge (rules) may change over time as a result of updates..Despite their generality, these languages are limited in that they do not provide a means to directly access past states of the evolving knowledge. They only allow for so-calle作者: Anticlimax 時間: 2025-3-29 13:04
On Representing Actions in Multi-agent Domainss field has focused on domains with a single agent, albeit in a dynamic environment, with considerably less attention being paid to multi-agent domains. In a domain with multiple agents, interesting issues arise when one considers the knowledge of various agents about the world, as well about as eac作者: debunk 時間: 2025-3-29 19:25 作者: 并入 時間: 2025-3-29 22:59 作者: 頭盔 時間: 2025-3-30 00:57 作者: FACET 時間: 2025-3-30 07:04 作者: Chemotherapy 時間: 2025-3-30 12:10
Marcello Balduccini,Tran Cao SonCommemorative publication.Up to date results on logic programming, knowledge representation and nonmonotonic reasoning.State-of-the-art research作者: HEED 時間: 2025-3-30 15:37
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587925.jpg作者: escalate 時間: 2025-3-30 19:12 作者: MARS 時間: 2025-3-31 00:20 作者: 夾死提手勢 時間: 2025-3-31 02:35
Argumentation and Answer Set Programmingonic reasoning. This paper surveys recent work on using answer set programming as a mechanism for computing extensions in argumentation. The paper also indicates some possible directions for future work.作者: 毗鄰 時間: 2025-3-31 05:20
Recollections on Michael Gelfond’s 65th BirthdayHaving been invited to write an essay about Michael, both as a person and as a researcher, I welcome the opportunity, forewarning the reader, however, that in so doing I will have to write about myself, also as a person and as a researcher, through my experience as one of Michaels first PhD students. So, walk with me for a while.作者: agonist 時間: 2025-3-31 09:18
https://doi.org/10.1007/978-3-642-20832-4AI logics; answer set programming; constraint programming; knowledge management; temporal reasoning作者: AORTA 時間: 2025-3-31 13:35
Answer Set Programming’s Contributions to Classical Logicong the issues we thus address are the closed world assumption, “classical” and default negation, default reasoning with exceptions, definitions, lp-functions and the interpolation technique and the strong introspection operator. We investigate the ASP-methodology to encode knowledge using these lan作者: 記成螞蟻 時間: 2025-3-31 19:08
Closure and Consistency Rationalities in Logic-Based Argumentationtural properties of structural closure and consistency covering based on the idea of bases of arguments indeed guarantee the logical closure and consistency properties. We demonstrate how the properties of structural closure and consistency covering are captured naturally in argumentation systems of作者: 采納 時間: 2025-3-31 21:48 作者: garrulous 時間: 2025-4-1 04:13
