標(biāo)題: Titlebook: Logic for Programming, Artificial Intelligence, and Reasoning; 9th International Co Matthias Baaz,Andrei Voronkov Conference proceedings 20 [打印本頁] 作者: 鳥場 時間: 2025-3-21 16:37
書目名稱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 21:14 作者: Ingrained 時間: 2025-3-22 03:17
Searching for Invariants Using Temporal Resolution,pplied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the application of the scheme, and overview of the implementation are described.作者: Acetaldehyde 時間: 2025-3-22 08:33 作者: collateral 時間: 2025-3-22 08:44 作者: Crater 時間: 2025-3-22 13:02 作者: amygdala 時間: 2025-3-22 19:19 作者: Endemic 時間: 2025-3-22 22:20 作者: indigenous 時間: 2025-3-23 04:12
Procedural Semantics for Fuzzy Disjunctive Programs,plete and uncertain information, where the incompleteness is formalised by its strong literal disjunction, while the uncertainty by its truth degree. In the end, the coincidence of the procedural and fixpoint semantics, proposed in [.], will be reached.作者: 令人心醉 時間: 2025-3-23 08:44 作者: 恃強(qiáng)凌弱的人 時間: 2025-3-23 12:06
On Expressive Description Logics with Composition of Roles in Number Restrictions, narrowing the decidability gap left open by Baader and Sattler’s results. In particular, we will show that .(?) extended with inverse roles both in number and in value restrictions becomes undecidable, whereas it can be safely extended with qualified number restrictions without losing decidability of reasoning.作者: 膽小懦夫 時間: 2025-3-23 15:50 作者: 注意 時間: 2025-3-23 18:13 作者: 消耗 時間: 2025-3-23 22:49
Matthias Baaz,Andrei VoronkovIncludes supplementary material: 作者: ferment 時間: 2025-3-24 02:34 作者: 泛濫 時間: 2025-3-24 07:35
A Non-commutative Extension of MELL,(M EL)L . NEL . M E L,L ..作者: 征稅 時間: 2025-3-24 13:44 作者: 六個才偏離 時間: 2025-3-24 18:05 作者: APRON 時間: 2025-3-24 20:02
0302-9743 Overview: Includes supplementary material: 978-3-540-00010-5978-3-540-36078-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Eeg332 時間: 2025-3-25 01:32 作者: 里程碑 時間: 2025-3-25 05:48 作者: 敬禮 時間: 2025-3-25 09:35
On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics,the explicit definability properties for Intuitionistic Logic and some Superintuitionistic Logics. Unlike the previous approaches, our framework is independent of structural properties of the proof systems and it can be applied to Natural Deduction systems, Hilbert style systems and Gentzen sequent systems.作者: delegate 時間: 2025-3-25 12:06
Theorem Proving with Sequence Variables and Flexible Arity Symbols,iset path ordering on terms without sequence variables. It is shown that the classical strict superposition calculus with ordering and equality constraints can be used as a refutationally complete proving method for well-constrained sets of clauses with sequence variables and flexible arity symbols.作者: 率直 時間: 2025-3-25 15:54
Improving On-Demand Strategy Annotations,ated. Syntactically, they are given either as lists of natural numbers or as lists of integers associated to function symbols whose (absolute) values refer to the arguments of the corresponding symbol. A positive index enables the evaluation of an argument whereas a negative index means “evaluate on作者: impaction 時間: 2025-3-25 23:23
First-Order Logic as a Constraint Programming Language,ng. At one level we have the usual program execution. At the other level an automatic maintenance of the constraint store takes place..We prove that the resulting semantics is sound with respect to the truth definition. By instantiating it by specific forms of constraint management policies we obtai作者: G-spot 時間: 2025-3-26 01:36
Maintenance of Formal Software Developments by Stratified Verification,fication are intertwined. Specifications are amended either to add new functionality or to fix bugs detected during the verification process. In this paper we propose a system to maintain the verification of formal developments. It exploits the structure of the specification to reveal and eliminate 作者: GRAVE 時間: 2025-3-26 04:27 作者: AVID 時間: 2025-3-26 11:35 作者: refine 時間: 2025-3-26 15:18
Searching for Invariants Using Temporal Resolution,iants, and so is suitable for mechanising a wide class of temporal problems. We demonstrate that this scheme of searching for invariants can be also applied to a class of multi-predicate induction problems represented by mutually recursive definitions. Completeness of the approach, examples of the a作者: Reverie 時間: 2025-3-26 17:43
Proof Planning for Feature Interactions: A Preliminary Report, behaviour in large telephone networks and have recently attracted interest not only from the Computer Science community but also from the industrial world. So far, FIs have been solved mainly via approximation plus finite-state methods (model checking being the most popular); in our work we attack 作者: Hearten 時間: 2025-3-26 21:36 作者: 欺騙世家 時間: 2025-3-27 01:52 作者: 改良 時間: 2025-3-27 08:18
Directed Automated Theorem Proving,ation of possibly weighted A. is proposed that extends Dijkstra’s single-source shortest-path algorithm. Efficient implementation issues and possible flaws for both A. and IDA. are discussed in detail..Initial results with first and higher order logic examples in . indicate that . is superior to oth作者: 法律的瑕疵 時間: 2025-3-27 11:54
A Framework for Splitting BDI Agents,r than the bulky agent itself. In agent teamwork field, it can be used as the basis for modeling the shared mental state of team-based agents. In Multi-Agent systems, it can be embedded as a built-in load-balancing mechanism. Based on a simple BDI agent model, this paper studies how to split BDI age作者: 我不重要 時間: 2025-3-27 16:57 作者: interference 時間: 2025-3-27 19:24 作者: Nebulous 時間: 2025-3-28 01:40
On Expressive Description Logics with Composition of Roles in Number Restrictions,ssiveness, we consider in this paper extensions of the well-known concept language . allowing for . on complex role expressions. These have been first introduced by Baader and Sattler as . languages, with the adoption of role constructors . ? ?,.,?,?..In particular, as far as languages equipped with作者: Anthrp 時間: 2025-3-28 04:42 作者: 枯萎將要 時間: 2025-3-28 07:12 作者: 領(lǐng)帶 時間: 2025-3-28 10:34
Pushdown Specifications,ility of model checking to infinite-state systems, almost all existing work still consider regular specification formalisms. There are, however, many interesting non-regular properties one would like to model check..In this paper we study model checking of . Our specification formalism is nondetermi作者: 圓桶 時間: 2025-3-28 16:32
Theorem Proving with Sequence Variables and Flexible Arity Symbols,iset path ordering on terms without sequence variables. It is shown that the classical strict superposition calculus with ordering and equality constraints can be used as a refutationally complete proving method for well-constrained sets of clauses with sequence variables and flexible arity symbols.作者: 難解 時間: 2025-3-28 21:30
leicht verst?ndliche Einblicke in die Thematik.Dieses Buch ist eine Open-Access-Publikation unter einer CC BY 4.0 Lizenz.?..?Mit Volldampf in hei?e Zeiten!“ So k?nnte das Motto nicht nur im übertragenen Sinn lauten, wenn man?sich die globale Erderw?rmung anschaut. Tats?chlich heizt sich die Atmosph作者: DEAWL 時間: 2025-3-29 01:58
M. Alpuente,S. Escobar,B. Gramlich,S. Lucas leicht verst?ndliche Einblicke in die Thematik.Dieses Buch ist eine Open-Access-Publikation unter einer CC BY 4.0 Lizenz.?..?Mit Volldampf in hei?e Zeiten!“ So k?nnte das Motto nicht nur im übertragenen Sinn lauten, wenn man?sich die globale Erderw?rmung anschaut. Tats?chlich heizt sich die Atmosph作者: 壯觀的游行 時間: 2025-3-29 04:14 作者: 凝乳 時間: 2025-3-29 09:36 作者: 不愿 時間: 2025-3-29 14:14 作者: cumber 時間: 2025-3-29 17:45 作者: Climate 時間: 2025-3-29 23:06
Alessio Guglielmi,Lutz Stra?burger Einfluss auf das Klima hat. Zur Untersuchung der Fabrik werden dazu verschiedene Teilaspekte betrachtet. Unter dem Aspekt der Vulnerabilit?t wird auf Grundlage der Auswertungen verschiedener Organisationen eine Kategorisierung der Klimarisiken in Physische Risiken, Infrastrukturelle Risiken, Wettbe作者: 積云 時間: 2025-3-30 02:55
Du?an Gullerrieben und getestet.Vermittelt Grundlagenwissen zur Planung .Die mit dem Klimawandel verbundenen Risiken haben auch Konsequenzen für produzierende Unternehmen und ihre Produktionsst?tten. Daher widmet sich das Buch der klimagerechten Planung von Fabriken und verknüpft dieses ingenieurwissenschaftlic作者: 迅速飛過 時間: 2025-3-30 06:38
Orna Kupferman,Nir Piterman,Moshe Y. Vardi Einfluss auf das Klima hat. Zur Untersuchung der Fabrik werden dazu verschiedene Teilaspekte betrachtet. Unter dem Aspekt der Vulnerabilit?t wird auf Grundlage der Auswertungen verschiedener Organisationen eine Kategorisierung der Klimarisiken in Physische Risiken, Infrastrukturelle Risiken, Wettbe作者: 生銹 時間: 2025-3-30 11:05 作者: Diastole 時間: 2025-3-30 15:52
Improving On-Demand Strategy Annotations,ng on-demand strategy annotations. Then, we propose a solution to these problems which is based on a suitable extension of the .-evaluation strategy of OBJ-like languages (that only considers annotations given as natural numbers) to on-demand strategy annotations. Our strategy incorporates a better 作者: STERN 時間: 2025-3-30 18:35
An Extension of BDICTL with Functional Dependencies and Components,nly desire’and ‘only intend’ operators in the tradition of Levesque’s ‘a(chǎn)ll I know’ operator, and for components we distinguish between ‘belief in’and ‘belief out’, ‘desire in’and ‘desire out’, and ‘intention in’ and ‘intention out’ operators. We show how our extended formalism can be used to specify作者: PET-scan 時間: 2025-3-31 00:36
James Brotherston,Anatoli Degtyarev,Michael Fisher,Alexei Lisitsa Feuchtigkeitsgehalte tafel 48 angegebenen Unterteilung: a) für trockene Mauern und geringe Windgeschwindigkeiten; b) für mittelfeuchte Mauern und mittlere Windgeschwindigkeiten und e) für erhebliche Durchfeuchtung der Westseite, mittlere Durchfeuchtung der Nord- und der Südwand, sowie hohe Windgesc作者: Monotonous 時間: 2025-3-31 03:22
Claudio Castellini,Alan Smaillitutionellen und technischen Instrumente der Klimaschutzpolitik diskutiert und ausführlich ausgew?hlte Konferenzen unter dem Dach der Vereinten Nationen dokumentiert. Nach Paris 2015 l?sst sich feststellen, dass der Klimawandel nur durch eine noch umfassendere Internationalisierung beeinflusst werden kann.?.978-3-662-56778-4作者: Outshine 時間: 2025-3-31 06:29
Alessio Guglielmi,Lutz Stra?burgerit produzierender Unternehmen und M?glichkeiten zur Reduzierung des Energieverbrauchs eingeführt. Darauf folgend werden Adaptions- und Anpassungsstrategien vorgestellt um zukünftig auf das ver?nderte Klima reagieren zu k?nnen. Abschlie?end wird am Praxisbeispiel VW Chemnitz die Umsetzung verschieden作者: PANT 時間: 2025-3-31 09:34
Orna Kupferman,Nir Piterman,Moshe Y. Vardiit produzierender Unternehmen und M?glichkeiten zur Reduzierung des Energieverbrauchs eingeführt. Darauf folgend werden Adaptions- und Anpassungsstrategien vorgestellt um zukünftig auf das ver?nderte Klima reagieren zu k?nnen. Abschlie?end wird am Praxisbeispiel VW Chemnitz die Umsetzung verschieden作者: 消瘦 時間: 2025-3-31 14:28 作者: 你不公正 時間: 2025-3-31 21:20
physikalischen Ursachen und aktuellen Kenntnisse um?ihre Begrenzung auf. Er dient als fachlicher Einstieg für die drei Themenkomplexe des Buches. Der zweite Teil?mit dem Titel ?Politik & Green Deal978-3-662-62195-0作者: 商店街 時間: 2025-4-1 01:15
M. Alpuente,S. Escobar,B. Gramlich,S. Lucasphysikalischen Ursachen und aktuellen Kenntnisse um?ihre Begrenzung auf. Er dient als fachlicher Einstieg für die drei Themenkomplexe des Buches. Der zweite Teil?mit dem Titel ?Politik & Green Deal978-3-662-62195-0
