標題: Titlebook: Logic Programming and Nonmonotonic Reasoning; 12th International C Pedro Cabalar,Tran Cao Son Conference proceedings 2013 Springer-Verlag B [打印本頁] 作者: 衰退 時間: 2025-3-21 19:04
書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)
書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)學科排名
書目名稱Logic Programming and Nonmonotonic Reasoning網絡公開度
書目名稱Logic Programming and Nonmonotonic Reasoning網絡公開度學科排名
書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次
書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次學科排名
書目名稱Logic Programming and Nonmonotonic Reasoning年度引用
書目名稱Logic Programming and Nonmonotonic Reasoning年度引用學科排名
書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋
書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋學科排名
作者: N防腐劑 時間: 2025-3-21 22:49
Forgetting under the Well-Founded Semantics,In this paper, we develop a notion of forgetting for normal logic programs under the well-founded semantics. We show that a number of desirable properties are satisfied by our approach. Three different algorithms are presented that maintain the computational complexity of the well-founded semantics, while partly keeping its syntactical structure.作者: occult 時間: 2025-3-22 03:17 作者: RLS898 時間: 2025-3-22 08:05
Logic Programming and Nonmonotonic Reasoning978-3-642-40564-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: GUILT 時間: 2025-3-22 10:22 作者: 自制 時間: 2025-3-22 14:02
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587915.jpg作者: Surgeon 時間: 2025-3-22 17:23
Towards Query Answering in Relational Multi-Context Systems,thms that do not rely on computing equilibria. Inspired by techniques for query answering in distributed answer set programming, we identify MCS settings where a generalized query answering algorithm is effective and efficient; confirmed by a preliminary evaluation on a real world application.作者: corporate 時間: 2025-3-22 23:32
José Júlio Alferes,Matthias Knorr,Kewen Wangd nimmt er 1915 sogar die englische Staatsbürgerschaft an. Henry James markiert in vielerlei Hinsicht den übergang von einer amerikanischen Literatur, die sich an quasi-kolonialen Minderwertigkeitsgefühlen abarbeitet, zu einer amerikanischen Literatur, die ihrerseits zum Vorbild für europ?ische Entw作者: Exclude 時間: 2025-3-23 03:44 作者: 高度贊揚 時間: 2025-3-23 08:15 作者: ALTER 時間: 2025-3-23 11:23 作者: 保守 時間: 2025-3-23 17:56
Towards Reactive Multi-Context Systems,representation languages needs to be integrated, and secondly, certain applications have specific needs not typically fulfilled by standard KR systems. What we have in mind here are applications where reasoners, rather than being called by the user in order to answer some specific query, run online 作者: 大雨 時間: 2025-3-23 19:41 作者: 為現場 時間: 2025-3-23 23:25
Integrating Temporal Extensions of Answer Set Programming,he one hand, TEL is a complete non-monotonic logic that results from the combination of Linear-time Temporal Logic (LTL) with Equilibrium Logic. On the other hand, TAS is based on a richer modal approach, Dynamic LTL (DLTL), whereas its non-monotonic part relies on a reduct-based definition for a pa作者: 拱形面包 時間: 2025-3-24 03:18
The Fourth Answer Set Programming Competition: Preliminary Report,odulo Theories, Constraint Handling Rules, PDDL and many others. Since its first informal editions, ASP systems are compared in the nowadays customary ASP Competition. The fourth ASP Competition, held in 2012/2013, is the sequel to previous editions and it was jointly organized by University of Cala作者: 隱藏 時間: 2025-3-24 09:07 作者: assent 時間: 2025-3-24 13:30 作者: Munificent 時間: 2025-3-24 18:48 作者: 舊石器時代 時間: 2025-3-24 19:57
Symbolic System Synthesis Using Answer Set Programming,tem specifications with a limited amount of routing options, they tend to fail for densely connected computing platforms. This paper proposes an automated system design approach employing Answer Set Programming (ASP). ASP provides a stringent semantics, allowing for an efficient representation of ro作者: rods366 時間: 2025-3-24 23:18 作者: 皺痕 時間: 2025-3-25 05:16
, Semantics via Approximation Fixpoint Theory,ixpoint theory of Tarski and Knaster. In this paper, we uniformly define 2-, and 3-valued (ultimate) answer-set semantics, and well-founded semantics of disjunction-free . programs by applying AFT. In the case of disjunctive . programs, AFT is not directly applicable. However, we provide a definitio作者: 令人不快 時間: 2025-3-25 10:16
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming,stems is one of our long term research goals. Often these questions require simulation based reasoning. In this paper, we show how higher level extensions of Petri Nets, such as colored tokens can be encoded in Answer Set Programming, thereby providing the right formalisms to model and reason about 作者: Mitigate 時間: 2025-3-25 13:28 作者: 植物群 時間: 2025-3-25 16:26
Towards Answer Set Programming with Sorts,main. However, such support may allow a programmer to better structure the program, to automatically determine some syntax and semantic errors and to avoid thinking about safety of ASP rules — non-declarative conditions on rules required by existing ASP systems. In this paper, we define the syntax a作者: 維持 時間: 2025-3-25 21:55
Prolog and ASP Inference under One Roof,ns. Despite amazing advancements in ASP solving, many applications still pose a challenge that is commonly referred to as .. Devising, implementing, and evaluating a method that alleviates this problem for certain application domains is the focus of this paper. The proposed method is based on combin作者: 嘴唇可修剪 時間: 2025-3-26 00:21 作者: 招致 時間: 2025-3-26 05:12 作者: SLAY 時間: 2025-3-26 11:50 作者: mechanism 時間: 2025-3-26 15:08
Normalizing Cardinality Rules Using Merging and Sorting Constructions,ch rules back into normal rules. This has been previously realized using a BDD-based transformation which may produce a quadratic number of rules in the worst case. In this paper, we present two further constructions which are based on Boolean circuits for merging and sorting and which have been con作者: 同步左右 時間: 2025-3-26 18:47 作者: ELUDE 時間: 2025-3-27 00:32
Thomas Ambroz,Günther Charwat,Andreas Jusits,Johannes Peter Wallner,Stefan Woltran作者: TSH582 時間: 2025-3-27 04:39
Benjamin Andres,Martin Gebser,Torsten Schaub,Christian Haubelt,Felix Reimann,Michael Gla?作者: crescendo 時間: 2025-3-27 06:33
Benjamin Andres,Matthias Sauer,Martin Gebser,Tobias Schubert,Bernd Becker,Torsten Schaub作者: conjunctiva 時間: 2025-3-27 09:30
Rosamaria Barilaro,Michael Fink,Francesco Ricca,Giorgio Terracina作者: 燈絲 時間: 2025-3-27 15:50 作者: Vulnerable 時間: 2025-3-27 21:38
0302-9743 those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.978-3-642-40563-1978-3-642-40564-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Neuralgia 時間: 2025-3-28 01:03 作者: Alopecia-Areata 時間: 2025-3-28 04:17 作者: Coronation 時間: 2025-3-28 08:33 作者: VEIL 時間: 2025-3-28 11:35 作者: 伴隨而來 時間: 2025-3-28 16:57 作者: Latency 時間: 2025-3-28 18:51
Conference proceedings 2013tation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.作者: murmur 時間: 2025-3-28 23:17
Towards Reactive Multi-Context Systems, to provide relevant functionality for the second challenge. In this paper we review both MCS and managed MCS and discuss how the latter approach needs to be further developed for online applications.作者: Invertebrate 時間: 2025-3-29 07:00 作者: 浮雕寶石 時間: 2025-3-29 10:59 作者: mercenary 時間: 2025-3-29 14:53
,2ASP: Computing Action Language ,+ in Answer Set Programming, the system has many useful features, such as external atoms by means of Lua calls and the user interactive mode. The system supports extensible multi-modal translations for other action languages, such as . and ., as well.作者: cornucopia 時間: 2025-3-29 16:04
Towards Answer Set Programming with Sorts,nstraints. A syntax checking algorithm helps to avoid errors related to misspellings as well as simple type errors. Another type checking algorithm flags program rules which, due to type conflicts, have no ground instantiations.作者: inhibit 時間: 2025-3-29 22:53 作者: Psychogenic 時間: 2025-3-30 01:50 作者: 行為 時間: 2025-3-30 06:07
0302-9743 rnational Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and作者: 其他 時間: 2025-3-30 08:13 作者: 包裹 時間: 2025-3-30 14:45 作者: 動脈 時間: 2025-3-30 17:34
Prolog and ASP Inference under One Roof,ing backtracking-based search algorithms employed in answer set solvers with SLDNF resolution from .. Using . inference on non-ground portions of a given program, both grounding time and the size of the ground program can be substantially reduced.作者: 煞費苦心 時間: 2025-3-30 23:41
Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information,n event. In many cases one can recover part of the missing knowledge through reasoning. In this paper we give a formal definition about how such missing information can be recovered and then give an ASP implementation of it. We then discuss the implication of this with respect to answering why and how questions.作者: 逗它小傻瓜 時間: 2025-3-31 01:32 作者: 讓步 時間: 2025-3-31 07:49 作者: prodrome 時間: 2025-3-31 11:45 作者: 痛苦一生 時間: 2025-3-31 13:56
, Semantics via Approximation Fixpoint Theory,e in terms of bottom-up computations. Finally, we extensively compare our semantics to closely related semantics, including constructive dl-program semantics. Since . programs are a generic formalism, our results are applicable to a wide range of formalisms.作者: 歪曲道理 時間: 2025-3-31 19:19 作者: 雜色 時間: 2025-3-31 22:45
9樓作者: 卷發(fā) 時間: 2025-4-1 03:50
10樓作者: 字謎游戲 時間: 2025-4-1 07:21
10樓作者: 著名 時間: 2025-4-1 13:41
10樓作者: CRANK 時間: 2025-4-1 18:09
10樓
