the proceedings contain 56 papers. the special focus in this conference is on Extensions of logicprogramming. the topics include: A new approach to making programs more reliable;searching among intervals and compact ...
ISBN:
(纸本)9783540569398
the proceedings contain 56 papers. the special focus in this conference is on Extensions of logicprogramming. the topics include: A new approach to making programs more reliable;searching among intervals and compact routing tables;the approximation of maximum subgraph problems;polynomially bounded minimization problems which are hard to approximate;primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover;the complexity of approximating pspace-complete problems for hierarchical specifications;problems on pairs of trees and the four colour problem of planar graphs;constructing competitive tours from local information;treewidth and pathwidth of permutation graphs;a theory of even functionals and their algorithmic applications;exact asymptotics of divide-and-conquer recurrences;optimal bounds for the change-making problem;the complexity of n-body simulation;a simple method for resolving degeneracies in delaunay triangulations;fault-tolerance and complexity;reversal-space trade-offs for simultaneous resource-bounded nondeterministic turing machines;on the computational power of discrete hopfield nets;on randomized versus deterministic computation;lower bounds for one-way probabilistic communication complexity;maintaining discrete probability distributions optimally;computational depth and reducibility;admissible, co-finite, and hypersimple languages;inclusion is undecidable for pattern languages;new decidability results concerning two-way counter machines and applications;cobham's theorem seen through büchi's theorem;logical definability on infinite traces;algebras for classifying regular tree languages and an application to frontier testability;finite automata as characterizations of minor closed tree families and on distributed algorithms in a broadcast domain.
this book constitutes the refereed proceedings of the 20thinternationalconference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Jo...
详细信息
ISBN:
(数字)9783642198618
ISBN:
(纸本)9783642198601
this book constitutes the refereed proceedings of the 20thinternationalconference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint conferences on theory and Practice of Software.
the 15 revised full papers presented together withthe abstract of one invited talk were carefully reviewed and selected from 52 submissions. the papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution.
this book constitutes the refereed proceedings of the 20th Ada-Europe internationalconference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015.;the revised 12 full papers presen...
详细信息
ISBN:
(数字)9783319195841
ISBN:
(纸本)9783319195834
this book constitutes the refereed proceedings of the 20th Ada-Europe internationalconference on Reliable Software Technologies, Ada-Europe 2015, held in Madrid, Spain, in June 2015.;the revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 36 submissions. they are organized in topical sections on language technology, real-time applications, critical systems, and multicore and distributed systems.
this book constitutes the proceedings of the 20thinternationalconference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European ...
详细信息
ISBN:
(数字)9783662544945
ISBN:
(纸本)9783662544938
this book constitutes the proceedings of the 20thinternationalconference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint conferences on theory and Practice of Software, ETAPS 2017.
this book constitutes the refereed proceedings of the 20thinternationalconference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2018, held in Moscow, Russia, in October 2018.
ISBN:
(数字)9783030235840
ISBN:
(纸本)9783030235833
this book constitutes the refereed proceedings of the 20thinternationalconference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2018, held in Moscow, Russia, in October 2018.
the notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logi...
详细信息
ISBN:
(数字)9783540318576
ISBN:
(纸本)9783540280606
the notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. the purpose of the Computational logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, iclp in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. the ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, ***,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location withthe 9th European conference on logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. the workshop received 35 submissions – a sensible increase from the previous ***-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
this book constitutes the refereed proceedings of the 20thinternationalconference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. the 33 revised full papers presented together wit...
详细信息
ISBN:
(数字)9783540705451
ISBN:
(纸本)9783540705437
this book constitutes the refereed proceedings of the 20thinternationalconference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. the 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. the papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification, program and shape analysis, security and program analysis, hardware verification, model checking, space efficient algorithms, and model checking.
this book constitutes the refereed proceedings of the 20thinternationalconference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July *** 16 revised r...
详细信息
ISBN:
(数字)9783642221194
ISBN:
(纸本)9783642221187
this book constitutes the refereed proceedings of the 20thinternationalconference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July *** 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. the papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.
this book constitutes the refereed proceedings of the 20thinternationalconference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. the 19 full and 3...
详细信息
ISBN:
(数字)9783031171086
ISBN:
(纸本)9783031171079
this book constitutes the refereed proceedings of the 20thinternationalconference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. the 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. they were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
暂无评论