標題: Titlebook: Logic for Programming, Artificial Intelligence, and Reasoning; 18th International C Nikolaj Bj?rner,Andrei Voronkov Conference proceedings [打印本頁] 作者: Hypothesis 時間: 2025-3-21 18:19
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning影響因子(影響力)
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning影響因子(影響力)學(xué)科排名
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning網(wǎng)絡(luò)公開度
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning被引頻次
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning被引頻次學(xué)科排名
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning年度引用
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning年度引用學(xué)科排名
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning讀者反饋
書目名稱Logic for Programming, Artificial Intelligence, and Reasoning讀者反饋學(xué)科排名
作者: 可互換 時間: 2025-3-21 20:20
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning, Such results, however, measure the complexity of a logic .. For example, reasoning in the basic DL . is E.T.-complete, which means that . constructors can be used in a way so that exponential time is strictly required for solving a reasoning problem. It is, however, well known that, given two . kno作者: chastise 時間: 2025-3-22 02:19 作者: 必死 時間: 2025-3-22 05:07 作者: 逃避責任 時間: 2025-3-22 09:28 作者: 不能妥協(xié) 時間: 2025-3-22 15:33 作者: 披肩 時間: 2025-3-22 20:36
Backward Trace Slicing for Conditional Rewrite Theories, rewrite theories that may contain conditional equations and/or rules. Given a conditional execution trace . and a slicing criterion for the trace (i.e., a set of positions that we want to observe in the final state of the trace), we traverse . from back to front, and at each rewrite step, we increm作者: 易改變 時間: 2025-3-23 00:02 作者: jeopardize 時間: 2025-3-23 01:39
Querying Proofs,tructure using hierarchical nested labelled trees. The core language presented in this paper is ., with queries built using recursion and patterns over proof structure and rule names. We define the syntax and semantics of locally structured queries, demonstrate their power, and sketch some implement作者: enmesh 時間: 2025-3-23 08:12 作者: 一美元 時間: 2025-3-23 10:57 作者: PALMY 時間: 2025-3-23 15:47
Finding Finite Herbrand Models,prets all predicates by finite subsets of the Herbrand universe. The restricted class of clauses consists of anti-Horn clauses with monadic predicates and terms constructed over unary function symbols and constants. The decision procedure can be used as a new goal-oriented algorithm to solve linear 作者: Callus 時間: 2025-3-23 18:21 作者: BIBLE 時間: 2025-3-24 00:08
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic, Based on a stochastic semantics of WTAs, we apply statistical model checking (SMC) to estimate and test probabilities of satisfaction with desired levels of confidence. Our approach consists in generation of deterministic monitors for formulas in WMTL., allowing for efficient SMC by run-time evalua作者: 鬧劇 時間: 2025-3-24 03:21 作者: Vasodilation 時間: 2025-3-24 09:45 作者: Obsessed 時間: 2025-3-24 11:03 作者: LIEN 時間: 2025-3-24 17:14 作者: 無可非議 時間: 2025-3-24 21:23
Aart Middeldorpmagerechten Energietr?gern und beschreibt Prozessverkettunge.Globale Wirtschaft, Wohlstandgrunds?tze wie Hausw?rme und Mobilit?t werden in Politik und Medien zunehmend und meist radikal auf dem Altar der Klimarettung geopfert. Vorbei an Physik, Thermodynamik, und technische Vielfalt, werden jeweils 作者: 個人長篇演說 時間: 2025-3-24 23:33
Boris Motikmagerechten Energietr?gern und beschreibt Prozessverkettunge.Globale Wirtschaft, Wohlstandgrunds?tze wie Hausw?rme und Mobilit?t werden in Politik und Medien zunehmend und meist radikal auf dem Altar der Klimarettung geopfert. Vorbei an Physik, Thermodynamik, und technische Vielfalt, werden jeweils 作者: 對手 時間: 2025-3-25 07:19
Jesse Alama,Daniel Kühlwein,Josef Urbans von der Modellbildung bis zur konkreten Umsetzung am Rechn.Diese mathematisch orientierte Einführung in typische Klimamodelle? stellt anhand konkreter Modelle den Prozess von der Modellbildung über die mathematische Analyse bis zur konkreten Umsetzung (Simulation) am Rechner in den Mittelpunkt. Da作者: OTTER 時間: 2025-3-25 10:48
Francesco Alberti,Roberto Bruttomesso,Silvio Ghilardi,Silvio Ranise,Natasha Sharyginas von der Modellbildung bis zur konkreten Umsetzung am Rechn.Diese mathematisch orientierte Einführung in typische Klimamodelle? stellt anhand konkreter Modelle den Prozess von der Modellbildung über die mathematische Analyse bis zur konkreten Umsetzung (Simulation) am Rechner in den Mittelpunkt. Da作者: Ardent 時間: 2025-3-25 13:58 作者: Mystic 時間: 2025-3-25 17:20 作者: Harrowing 時間: 2025-3-25 23:19 作者: anthropologist 時間: 2025-3-26 02:13
Franz Baader,Alexander Okhotinnomisch und energiepolitisch. Rohstoffengp?sse und drohende Versorgungslücken erschüttern Europa und die Welt. Angesichts dieser Herausforderungen droht das gro?e Klimaziel, bis 2050 die Treibhausgasemissionen auf Netto-Null (Net-Zero) zu senken, in den Hintergrund zu treten. Doch erste Analysen zei作者: Evolve 時間: 2025-3-26 07:26 作者: 雜役 時間: 2025-3-26 10:50
Logic for Programming, Artificial Intelligence, and Reasoning978-3-642-28717-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 思鄉(xiāng)病 時間: 2025-3-26 14:33
https://doi.org/10.1007/978-3-642-28717-6artificial intelligence; constraint programming; description logics; resource analysis of programs; soft作者: Arthropathy 時間: 2025-3-26 19:22
The Permutative ,-Calculus,ng many calculi in the literature, in particular Regnier’s sigma-equivalence and Moggi’s assoc-equivalence. We prove confluence modulo the equations and preservation of beta-strong normalisation (PSN) by means of an auxiliary substitution calculus. The proof of confluence relies on M-developments, a new notion of development for .-terms.作者: 協(xié)奏曲 時間: 2025-3-26 22:21 作者: accomplishment 時間: 2025-3-27 02:38
Towards Algorithmic Cut-Introduction, computing a compressed representation of the terms present in the analytic proof and then a cut-formula that realizes such a compression. This method can be applied to the output of automated theorem provers, which typically produce analytic proofs.作者: 用不完 時間: 2025-3-27 05:45
Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems,Rewrite systems form an attractive model of computation. In the past decades numerous methods have been developed to prove rewrite systems terminating. Spurred by the International Termination Competition, the emphasis in recent years is on powerful methods that can be automated.作者: Instinctive 時間: 2025-3-27 12:29 作者: fulcrum 時間: 2025-3-27 13:57 作者: Lipoprotein(A) 時間: 2025-3-27 20:17 作者: Texture 時間: 2025-3-27 23:30 作者: BURSA 時間: 2025-3-28 03:19 作者: BABY 時間: 2025-3-28 07:30
Amir Aavani,Xiongnan (Newman) Wu,Shahab Tasharrofi,Eugenia Ternovska,David Mitchell作者: Deference 時間: 2025-3-28 12:47 作者: 同來核對 時間: 2025-3-28 17:26 作者: 躲債 時間: 2025-3-28 20:56 作者: cultivated 時間: 2025-3-28 23:22
Jesse Alama,Daniel Kühlwein,Josef Urbanmodellierung erm?glicht es Anwendern aus den Geowissenschaften wie auch Mathematikern, eigene Software zu entwickeln bzw. vorhandene Software gezielter zu verwenden und gegebenenfalls anzupassen..978-3-662-47063-3978-3-662-47064-0Series ISSN 2731-3557 Series E-ISSN 2731-3565 作者: Bravado 時間: 2025-3-29 05:50 作者: optional 時間: 2025-3-29 09:19 作者: MAL 時間: 2025-3-29 13:07 作者: 同來核對 時間: 2025-3-29 16:18
David Aspinall,Ewen Denney,Christoph Lüthne vollst?ndige, kosteneffiziente Wasserstoffwirtschaft etablieren, von der Gewinnung bis zur Endanwendung. Ein Schlüsselelement in der Produktion ist optimale W?rmeübertragung, die erlaubt, die reichlich entstehende Abw?rme erneut zu nutzen, also Energie einzusparen, und die g?ngigen Prozesse deutl作者: 蕨類 時間: 2025-3-29 20:40
Franz Baader,Alexander Okhotinlauten: Wie l?sst sich die Klima- und Energiewende technologisch und ?konomisch meistern und finanzieren? Welche Zeitfenster haben wir hierfür noch zur Verfügung? Und was k?nnen Unternehmen jetzt tun, damit das Vorhaben gelingt? McKinsey hat hierzu eine Reihe von Studien durchgeführt – und die Ergeb作者: 原諒 時間: 2025-3-30 01:06
Logic for Programming, Artificial Intelligence, and Reasoning18th International C作者: 開始沒有 時間: 2025-3-30 05:13
Forgetting for Defeasible Logic,nonmonotonic reasoning, so far forgetting has been studied only in the context of extension based approaches, mainly answer-set programming. In this paper forgetting is studied in the context of defeasible logic, which is a simple, efficient and sceptical nonmonotonic reasoning approach.作者: degradation 時間: 2025-3-30 11:20 作者: 注入 時間: 2025-3-30 15:47 作者: 平 時間: 2025-3-30 18:52
Automated and Human Proofs in General Mathematics: An Initial Comparison,ten by mathematicians and the proofs found automatically. This paper describes such an initial experiment and comparison conducted over the 50000 mathematical theorems from the . Mathematical Library.作者: 存在主義 時間: 2025-3-31 00:06
Lazy Abstraction with Interpolants for Arrays,azy abstraction that embeds array reasoning. The approach is generic, in that it is valid for both parameterized systems and imperative programs. We show by means of experiments that our approach can synthesize and prove universally quantified properties over arrays in a completely automatic fashion.作者: 賞心悅目 時間: 2025-3-31 03:43 作者: 剝皮 時間: 2025-3-31 05:50 作者: 個人長篇演說 時間: 2025-3-31 11:13 作者: Kidnap 時間: 2025-3-31 15:42
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic,t and experimentally tight. The technique is implemented in the new tool . that we seamlessly connect to . in a tool chain. We demonstrate the applicability of our technique and the efficiency of our implementation through a number of case-studies.作者: 正式演說 時間: 2025-3-31 19:42
Automatic Generation of Invariants for Circular Derivations in SUP(LA),essive fragments, including reachability for timed automata with unbounded integer variables. We have implemented the rule in the SPASS(LA) theorem prover with promising results, showing that it can considerably speed up proof search and enable termination of saturation for practically relevant problems.作者: addict 時間: 2025-4-1 00:54
0302-9743 in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.978-3-642-28716-9978-3-642-28717-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Calibrate 時間: 2025-4-1 04:20 作者: 免除責任 時間: 2025-4-1 08:26
0302-9743 l Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74submissions.The series of International Confer
