標題: Titlebook: Logic Programming and Automated Reasoning; 5th International Co Frank Pfenning Conference proceedings 1994 Springer-Verlag Berlin Heidelber [打印本頁] 作者: FARCE 時間: 2025-3-21 17:40
書目名稱Logic Programming and Automated Reasoning影響因子(影響力)
書目名稱Logic Programming and Automated Reasoning影響因子(影響力)學科排名
書目名稱Logic Programming and Automated Reasoning網(wǎng)絡(luò)公開度
書目名稱Logic Programming and Automated Reasoning網(wǎng)絡(luò)公開度學科排名
書目名稱Logic Programming and Automated Reasoning被引頻次
書目名稱Logic Programming and Automated Reasoning被引頻次學科排名
書目名稱Logic Programming and Automated Reasoning年度引用
書目名稱Logic Programming and Automated Reasoning年度引用學科排名
書目名稱Logic Programming and Automated Reasoning讀者反饋
書目名稱Logic Programming and Automated Reasoning讀者反饋學科排名
作者: 改正 時間: 2025-3-22 00:04
Program tactics and logic tactics,l these tactics, .; (2) there exists a mapping between Logic Tactics and the Program Tactics implemented within the GETFOL theorem prover. Property (1) allows us to use GETFOL to prove properties of and to build new Logic Tactics. Property (2) can be exploited to perform a bidirectional translation between Logic Tactics and Program Tactics.作者: Climate 時間: 2025-3-22 03:39 作者: Brochure 時間: 2025-3-22 07:47 作者: Forage飼料 時間: 2025-3-22 11:27 作者: comely 時間: 2025-3-22 15:22 作者: precede 時間: 2025-3-22 17:03 作者: Recessive 時間: 2025-3-22 23:00 作者: 解開 時間: 2025-3-23 03:40 作者: antidote 時間: 2025-3-23 07:36 作者: 可觸知 時間: 2025-3-23 10:57 作者: 懸掛 時間: 2025-3-23 16:55 作者: 放棄 時間: 2025-3-23 19:18
Higher-order rigid E-unification,use of combinatory logic to solve higher-order E-unification problems. We improve their results by using general equational theories, and by defining optimizations such as higher-order rigid E-preunification, where flexible terms are used, gaining much efficiency, as in the non-equational case due to Huet.作者: 棲息地 時間: 2025-3-24 01:55
A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs, greatest unfounded set of extended literals is similar with the construction of the greatest unfounded set for normal programs. As a consequence, the connection between the well-founded semantics for normal programs and the well-founded semantics for disjunctive programs is made clearer.作者: 愚蠢人 時間: 2025-3-24 06:03
0302-9743 eferees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.978-3-540-58216-8978-3-540-48573-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 小卷發(fā) 時間: 2025-3-24 08:15
Conference proceedings 1994oshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR..This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees en作者: 紅潤 時間: 2025-3-24 13:30 作者: LITHE 時間: 2025-3-24 18:43 作者: Devastate 時間: 2025-3-24 19:52 作者: 敘述 時間: 2025-3-25 00:44
Proof plans for the correction of false conjectures,ated but far less explored problem: the analysis and correction of false conjectures, especially where that correction involves finding a collection of antecedents that, together with a set of axioms, transform non-theorems into theorems. Most failed search trees are huge, and special care is to be 作者: progestin 時間: 2025-3-25 03:33 作者: output 時間: 2025-3-25 11:13
RISC-CLP(CF) constraint logic programming over complex functions, who often reason/compute with constraints over complex functions, such as functional equalities, differential equations, etc. Constraints are solved by iterating several solving methods such as Laplace transformation, non-linear equation solving, etc. A prototype has been built and is illustrated i作者: acheon 時間: 2025-3-25 13:12 作者: 令人發(fā)膩 時間: 2025-3-25 16:24
Higher-order rigid E-unification,quational theory, is undecidable. We propose to rigidifyit, to get a resource-bounded decidable unification problem (with arbitrary high bounds), providing a complete higher-order E-unification procedure. The techniques are inspired from Gallier‘s rigid E-unification and from Dougherty and Johann‘s 作者: fringe 時間: 2025-3-25 20:02 作者: commonsense 時間: 2025-3-26 01:13
Higher-Order Abstract Syntax with induction in Coq,rder) injection principle, which asserts that equal terms have equal heads and equal sons, and the extensionality principle, which asserts that functional terms which are pointwise equal are equal. Higher-order abstract syntax is implemented for instance in the Edinburgh Logical Framework and the ab作者: Schlemms-Canal 時間: 2025-3-26 06:00 作者: Synapse 時間: 2025-3-26 10:53
Constraint logic programming in the sequent calculus,on of constraints into a fragment of intuitionistic logic. Constrained SLD resolution corresponds to a complete proof search in the amalgamated logic. The framework provides not only the logical account on the definitional semantics towards CLP but also a general way to integrate constraints into va作者: 帶來 時間: 2025-3-26 13:58
On conditional rewrite systems with extra variables and deterministic logic programs,’. If such a system . is quasi-reductive then → . is decidable and terminating. We develop a critical pair criterion to prove confluence if . is quasi-reductive and strongly deterministic. We apply our results to prove Horn clause programs to be uniquely terminating.作者: 反感 時間: 2025-3-26 19:30
A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs, it is closer to a procedural semantics than to the elegant fixpoint definition of the well-founded semantics for normal logic programs. In the present paper, we propose a declarative, bottom-up fixpoint definition of the well-founded semantics for disjunctive logic programs. Our construction of the作者: blackout 時間: 2025-3-26 22:54 作者: 山間窄路 時間: 2025-3-27 01:57 作者: 開始發(fā)作 時間: 2025-3-27 07:03
Sergei Tupailonkel der ?ffentlichkeit gerückt und ist heute so aktuell und notwendig wie je. In der Kindheit und Jugend werden die personalen und sozialen Lebensperspektiven entwickelt und in einem gro?en Ma?e mit bestimmt. Besonders Kinder stehen vor der bedeutenden Aufgabe in einer immer schneller werdenden Ges作者: encomiast 時間: 2025-3-27 13:11 作者: anthesis 時間: 2025-3-27 14:41
Uwe Eglyrationen im Rahmen des Aus- und Aufbaus von Ganztagsschulen und von Schulsozialarbeit. Kooperationen zwischen schulischem Personal und Mitarbeitern der Jugendhilfe in F?llen von Hilfen zur Erziehung fi nden hingegen kaum Beachtung. Dieser wesentliche Teilbereich der Jugendhilfe bedarf jedoch auch ei作者: 恫嚇 時間: 2025-3-27 20:26 作者: 搜集 時間: 2025-3-27 23:44
Paulo Quaresma,José Gabriel Lopes dass die Praxis in diesem Feld ma?geblich davon gepr?gt wird, was gesamtgesellschaftlich gewünscht bzw. sozialpolitisch vorgegeben wird. Insofern l?sst sich diese Praxis im Kinderschutzsystem nur verstehen, wenn ein Bewusstsein für die systemexternen Hintergründe bestehender Vorgaben ausgebildet is作者: 有斑點 時間: 2025-3-28 04:50 作者: Budget 時間: 2025-3-28 08:28
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587904.jpg作者: 干涉 時間: 2025-3-28 13:42
RISC-CLP(CF) constraint logic programming over complex functions, who often reason/compute with constraints over complex functions, such as functional equalities, differential equations, etc. Constraints are solved by iterating several solving methods such as Laplace transformation, non-linear equation solving, etc. A prototype has been built and is illustrated in the paper.作者: 帽子 時間: 2025-3-28 17:52
Constraint logic programming in the sequent calculus,on of constraints into a fragment of intuitionistic logic. Constrained SLD resolution corresponds to a complete proof search in the amalgamated logic. The framework provides not only the logical account on the definitional semantics towards CLP but also a general way to integrate constraints into various logic programming systems.作者: 正式通知 時間: 2025-3-28 20:25 作者: photophobia 時間: 2025-3-29 01:42
978-3-540-58216-8Springer-Verlag Berlin Heidelberg 1994作者: nutrients 時間: 2025-3-29 04:31 作者: engender 時間: 2025-3-29 08:37 作者: insidious 時間: 2025-3-29 11:49
,On the relation between the λ,-calculus and the syntactic theory of sequential control,We construct a translation of first order .-calculus [15] into a subtheory of Felleisen‘s λ.-calculus [5, 6]. This translation preserves typing and reduction. Then, by constructing the inverse translation, we show that the two calculi are actually isomorphic.作者: 慟哭 時間: 2025-3-29 17:22
Towards efficient calculi for resource-oriented deductive planning,An important advantage of deductive approaches for solving planning problems is the possibility to exploit powerful proof methods and techniques to reduce the search space developed in the field of automated deduction. The aim of this paper is to adapt such techniques to build efficient resource-oriented planning systems.作者: ANA 時間: 2025-3-29 21:51 作者: 取消 時間: 2025-3-30 00:23 作者: 胡言亂語 時間: 2025-3-30 05:28
Uwe Egly Schule die Institution, durch die diese Probleme erst nach au?en hin sichtbar werden. Zur Erfüllung der gesetzlichen Vorgaben des Abbaus von erzieherischen Defi - ziten und des Einbezuges des engeren sozialen Umfeldes kann Schule bzw. das Lehrpersonal nicht au?en vor gelassen werden.作者: 陳腐的人 時間: 2025-3-30 12:02
Henk Vandecasteele,Danny de Schreye Schule die Institution, durch die diese Probleme erst nach au?en hin sichtbar werden. Zur Erfüllung der gesetzlichen Vorgaben des Abbaus von erzieherischen Defi - ziten und des Einbezuges des engeren sozialen Umfeldes kann Schule bzw. das Lehrpersonal nicht au?en vor gelassen werden.作者: SPALL 時間: 2025-3-30 12:54
Paulo Quaresma,José Gabriel Lopes Einblick in wesentliche institutionelle Grundlagen des Kinderschutzes in Deutschland, erl?utert die Eigendynamiken multiprofessioneller und lokal differenzierter Organisation und umrei?t wesentliche Entwicklungstendenzen im gesamtgesellschaftlichen Kontext..作者: 獨白 時間: 2025-3-30 17:41 作者: crumble 時間: 2025-3-30 20:41
Fausto Giunchiglia,Paolo Traverso,Mechanized Reasoning Group作者: compassion 時間: 2025-3-31 04:29 作者: 卷發(fā) 時間: 2025-3-31 06:10 作者: ENACT 時間: 2025-3-31 11:30
10樓作者: Choreography 時間: 2025-3-31 13:54
10樓作者: antenna 時間: 2025-3-31 18:52
10樓作者: 征服 時間: 2025-4-1 00:20
10樓
