標(biāo)題: Titlebook: Logic Programming and Nonmonotonic Reasoning; 9th International Co Chitta Baral,Gerhard Brewka,John Schlipf Conference proceedings 2007 Spr [打印本頁] 作者: 建筑物的正面 時(shí)間: 2025-3-21 19:08
書目名稱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é)科排名
作者: Tinea-Capitis 時(shí)間: 2025-3-22 00:02 作者: Collision 時(shí)間: 2025-3-22 03:35 作者: GUMP 時(shí)間: 2025-3-22 08:12
978-3-540-72199-4Springer-Verlag Berlin Heidelberg 2007作者: hankering 時(shí)間: 2025-3-22 12:26 作者: Contort 時(shí)間: 2025-3-22 15:36 作者: 痛得哭了 時(shí)間: 2025-3-22 20:59 作者: Eviction 時(shí)間: 2025-3-22 21:35
Policy-Based Computing: From Systems and Applications to Theorygo beyond the direct manipulation of network devices and systems. One approach towards this aim is to build policy-based management systems. Policy-based computing refers to a software paradigm developed around the concept of building autonomous systems that provide system administrators and decisio作者: 神經(jīng) 時(shí)間: 2025-3-23 04:35
The First Answer Set Programming System Competitionenchmark problems, and second, to provide a platform to assess a broad variety of Answer Set Programming systems. The competition was inspired by similar events in neighboring fields, where regular benchmarking has been a major factor behind improvements in the developed systems and their ability to作者: Anticlimax 時(shí)間: 2025-3-23 06:12
: An Inference Engine for CR-Prolog and allows an elegant formalization of events or exceptions that are unlikely, unusual, or undesired. The flexibility of the language has been extensively demonstrated in the literature, with examples that include planning and diagnostic reasoning..In this paper we present the design of an inferenc作者: LEERY 時(shí)間: 2025-3-23 13:11
Debugging ASP Programs by Means of ASPty of answer-set programs, the development of software-engineering tools is vital. In particular, the area of debugging provides a challenge in both theoretical and practical terms. This is due to the purely declarative nature of ASP that, on the one hand, calls for solver-independent methodologies 作者: Ingenuity 時(shí)間: 2025-3-23 13:54
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negationlogic programs?[9]. In particular, we show that every disjunctive logic program with negation has a . set of minimal infinite-valued models. Moreover, we show that the infinite-valued semantics can be equivalently defined using Kripke models, allowing us to prove some properties of the new semantics作者: 感情脆弱 時(shí)間: 2025-3-23 21:31
Complexity of Default Logic on Generalized Conjunctive Queriesixpoint equation defining an extension. Three different reasoning problems arise in the context of default logic, namely the existence of an extension, the presence of a given formula in an extension, and the occurrence of a formula in all extensions. Since the end of 1980s, several complexity resul作者: 悶熱 時(shí)間: 2025-3-24 01:07 作者: 有組織 時(shí)間: 2025-3-24 05:23
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitionsdefault logic and autoepistemic logic. In this paper, we study inductive constructions using operators and show their confluence to the well-founded fixpoint of the operator. This result is one argument for the thesis that Approximation theory is the fixpoint theory of certain generalised forms of (作者: 臆斷 時(shí)間: 2025-3-24 08:36 作者: Astigmatism 時(shí)間: 2025-3-24 13:24 作者: 真實(shí)的你 時(shí)間: 2025-3-24 18:28
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domainsemantics. This is in particular relevant in practice when programs with variables are considered, where such transformations play a basic role in (offline) simplifications of logic programs. So far, such transformations of non-ground programs have been considered under the implicit assumption that t作者: fertilizer 時(shí)間: 2025-3-24 21:39
Conflict-Driven Answer Set Enumerationlity checking. We extend this approach and propose a new algorithm for enumerating answer sets. The algorithm, which to our knowledge is novel even in the context of satisfiability checking, is implemented in the . answer set solver. We contrast our new approach to alternative systems and different 作者: 肌肉 時(shí)間: 2025-3-25 02:40
Head-Elementary-Set-Free Logic Programstive logic program can be characterized by the loop formulas of its elementary sets. Based on the notion of an elementary set, we propose the notion of head-elementary-set-free (HEF) programs, a more general class of disjunctive programs than head-cycle-free (HCF) programs proposed by Ben-Eliyahu an作者: 蝕刻 時(shí)間: 2025-3-25 07:00 作者: chuckle 時(shí)間: 2025-3-25 09:59 作者: Nomadic 時(shí)間: 2025-3-25 14:08
A Characterization of Strong Equivalence for Logic Programs with Variablesle models. The familiar characterization of strong equivalence of grounded programs in terms of the propositional logic of here-and-there is extended in this paper to a large class of logic programs with variables. This class includes, in particular, programs with conditional literals and cardinalit作者: subordinate 時(shí)間: 2025-3-25 17:21
A Unified Semantics for Constraint Handling Rules in Transaction Logicbecause CHR subsumes a wide range of important automated reasoning services. Mapping CHR to Transaction Logic (.) combines CHR rule specification, CHR rule application, and reasoning on CHR programs and CHR derivations inside one formal system which is executable. This new . semantics obviates the n作者: crescendo 時(shí)間: 2025-3-25 20:34
Conditional Planning with External Functionslls in the rules of a planning description allows the knowledge engineer to describe certain planning domains, e.g. involving complex action effects, in a more intuitive fashion then is possible in .. Secondly, in contrast to the conformant planning framework ., . is formalized as a conditional plan作者: 失望未來 時(shí)間: 2025-3-26 02:26 作者: 抱怨 時(shí)間: 2025-3-26 05:17 作者: GROG 時(shí)間: 2025-3-26 10:29
Martin Gebser,Lengning Liu,Gayathri Namasivayam,André Neumann,Torsten Schaub,Miros?aw Truszczyński any planar parallel manipulator at a singular configuration could be architecturally mobile according to hyper-jerk analysis. In this chapter the hyper-jerk analysis of rigid bodies is approached using screw theory. A few decades ago the theory of screws introduced by Ball (.) seemed to be an “old-作者: 討好美人 時(shí)間: 2025-3-26 13:03
Marcello Balduccini any planar parallel manipulator at a singular configuration could be architecturally mobile according to hyper-jerk analysis. In this chapter the hyper-jerk analysis of rigid bodies is approached using screw theory. A few decades ago the theory of screws introduced by Ball (.) seemed to be an “old-作者: 流行 時(shí)間: 2025-3-26 20:20 作者: lanugo 時(shí)間: 2025-3-26 21:21 作者: 恃強(qiáng)凌弱 時(shí)間: 2025-3-27 04:35 作者: RAG 時(shí)間: 2025-3-27 07:28 作者: erythema 時(shí)間: 2025-3-27 10:21
Marc Denecker,Joost Vennekensof change of force, namely an impulse that is considered a .. Suh (.) and Schot (.) investigated the geometric parameters of the radii of torsion of spatial curves. It is known that there is a direct relationship between jerk and the movements of the human body (Morasso .; Flash and Hogan .; Uno et?作者: Leaven 時(shí)間: 2025-3-27 16:48
Wolfgang Faber,Nicola Leone any planar parallel manipulator at a singular configuration could be architecturally mobile according to hyper-jerk analysis. In this chapter the hyper-jerk analysis of rigid bodies is approached using screw theory. A few decades ago the theory of screws introduced by Ball (.) seemed to be an “old-作者: 財(cái)政 時(shí)間: 2025-3-27 19:04 作者: exquisite 時(shí)間: 2025-3-27 22:15 作者: 中和 時(shí)間: 2025-3-28 05:40 作者: 吃掉 時(shí)間: 2025-3-28 07:05 作者: CULP 時(shí)間: 2025-3-28 13:30 作者: Generator 時(shí)間: 2025-3-28 18:18
Tomi Janhunen,Emilia Oikarinen,Hans Tompits,Stefan Woltran remote sensing. This paper addresses those applications and experiences gained where the INS was used in a direct measurement role. However, INSs have also been used to stabilize or provide motion compensation data for other primary sensors, such as radars, lasers, and other electro-optical devices作者: Bronchial-Tubes 時(shí)間: 2025-3-28 22:11 作者: 船員 時(shí)間: 2025-3-29 02:30 作者: DEBT 時(shí)間: 2025-3-29 04:30 作者: 脫落 時(shí)間: 2025-3-29 09:50 作者: 驚呼 時(shí)間: 2025-3-29 11:35 作者: Blood-Vessels 時(shí)間: 2025-3-29 18:58
Martin Gebser,Lengning Liu,Gayathri Namasivayam,André Neumann,Torsten Schaub,Miros?aw Truszczyńskionly accepted that screw theory could not handle higher-order analyses of mechanisms, which today we recognize to be a wrong assumption. The escape from singular configurations of serial manipulators, the characterization of singularities of closed chains, as well as the acceleration analysis of par作者: 不能仁慈 時(shí)間: 2025-3-29 22:28 作者: 千篇一律 時(shí)間: 2025-3-30 03:29
Martin Brain,Martin Gebser,J?rg Pührer,Torsten Schaub,Hans Tompits,Stefan Woltranontrol the position analysis of planar mechanisms when the mechanism is near a singular configuration. ?efran (.) presented a coordinate-free formulation to generate shortest paths, and minimum acceleration and jerk properties of rigid bodies undergoing spherical motions, which correspond to the sub作者: Dappled 時(shí)間: 2025-3-30 05:44 作者: 舊病復(fù)發(fā) 時(shí)間: 2025-3-30 08:50 作者: 不公開 時(shí)間: 2025-3-30 15:04
James P. Delgrande,Torsten Schaub,Hans Tompitsonly accepted that screw theory could not handle higher-order analyses of mechanisms, which today we recognize to be a wrong assumption. The escape from singular configurations of serial manipulators, the characterization of singularities of closed chains, as well as the acceleration analysis of par作者: guardianship 時(shí)間: 2025-3-30 18:17
Marc Denecker,Joost Vennekensontrol the position analysis of planar mechanisms when the mechanism is near a singular configuration. ?efran (.) presented a coordinate-free formulation to generate shortest paths, and minimum acceleration and jerk properties of rigid bodies undergoing spherical motions, which correspond to the sub作者: 逃避責(zé)任 時(shí)間: 2025-3-31 00:42 作者: Crohns-disease 時(shí)間: 2025-3-31 04:50 作者: Intact 時(shí)間: 2025-3-31 07:46
Michael Fink,Reinhard Pichler,Hans Tompits,Stefan Woltranond to an . control structure. Closedloop or sensory feedback techniques are more appealing but the real-time measurement of the end-effector’s position and orientation is, in general, impractical with current technologies. In this chapter, the term kinematic control will be used instead of the term作者: 背信 時(shí)間: 2025-3-31 11:35 作者: 宏偉 時(shí)間: 2025-3-31 16:48 作者: 思考而得 時(shí)間: 2025-3-31 20:01
Ping Hou,Johan Wittocx,Marc Deneckerhe theorem in practice is shown. Converting a continuous rotary motion into an oscillating orreciprocating motion has been the main task starting with the windmill or water wheel. The book also explains the design of such mechanisms, and the analytical methods developed for the correlation of crank 作者: brother 時(shí)間: 2025-3-31 23:39
Tomi Janhunen,Emilia Oikarinen,Hans Tompits,Stefan Woltran. An example of one of these systems, the U.S. Army’s Modular Azimuth Position System (MAPS) is described, along with summaries of very extensive, open loop survey and positioning tests..Honeywell started development of its H-726 Modular Azimuth Position System (MAPS) in September 1984. This system 作者: 殘酷的地方 時(shí)間: 2025-4-1 03:24 作者: Cupidity 時(shí)間: 2025-4-1 07:05 作者: MAUVE 時(shí)間: 2025-4-1 12:39
