Pnueli [15] has recently introduced the idea of using temporal logic [18] as the logical basis for proving correctness properties of concurrent programs. this has permitted an elegant unifying formulation of previous ...
详细信息
We present a selective backtracking method for Horn clause programs, as applied to Prolog [2] [6] [11][12], a programming language based on first-order predicate calculus [3] [4]," developed at the university of ...
详细信息
the use of the temporal logic formalism for program reasoning is reviewed. Several aspects of responsiveness and fairness are analyzed, leading to the need for an additional temporal operator: the 'until' oper...
详细信息
the use of the temporal logic formalism for program reasoning is reviewed. Several aspects of responsiveness and fairness are analyzed, leading to the need for an additional temporal operator: the 'until' operator -U. Some general questions involving the ″until″ operator are then discussed. It is shown that withthe addition of this operator the temporal language becomes expressively complete. then, two deductive systems DX and DUX are proved to be complete for the languages without and withthe new operatore respectively.
the book constitutes the joint refereed proceedings of the 11thinternationalconference on Relational Methods in Computer Science, RelMiCS 2009, and the 6thinternationalconference on Applications of Kleene Algebras...
详细信息
ISBN:
(数字)9783642046391
ISBN:
(纸本)9783642046384
the book constitutes the joint refereed proceedings of the 11thinternationalconference on Relational Methods in Computer Science, RelMiCS 2009, and the 6thinternationalconference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. the 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. the papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automatedreasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.
the Mexican internationalconference on Artificial Intelligence (MICAI), a yearly internationalconference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum ...
详细信息
ISBN:
(数字)9783540886365
ISBN:
(纸本)9783540886358
the Mexican internationalconference on Artificial Intelligence (MICAI), a yearly internationalconference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country’s growing AI community. In 2008 Mexico celebrates the 50th an- versary of development of computer science in the country: in 1958 the first computer was installed at the National Autonomous University of Mexico (UNAM). Nowadays, computer science is the country’s fastest growing research area. the proceedings of the previous MICAI events were published by Springer in its Lecture Notes in Artificial Intelligence (LNAI) series, vol. 1793, 2313, 2972, 3789, 4293, and 4827. Since its foundation in 2000, the conference has been growing in popularity, and improving in quality. this volume contains the papers presented at the oral session of the 7th Mexican internationalconference on Artificial Intelligence, MICAI 2008, held October 27–31, 2008, in Atizapán de Zaragoza, Mexico. the conference received for evaluation 363 submissions by 1,032 authors from 43 countries (see Tables 1 and 2). this volume contains revised versions of 94 papers by 308 authors from 28 countries selected - cording to the results of an international reviewing process. thus the acceptance rate was 25.9%. the book is structured into 20 thematic fields representative of the main current areas of interest for the AI community, plus a section of invited papers:
this book constitutes the refereed proceedings of the 14thinternational Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. the symposium was co-located with t...
详细信息
ISBN:
(数字)9783031433696
ISBN:
(纸本)9783031433689
this book constitutes the refereed proceedings of the 14thinternational Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. the symposium was co-located withthe 32nd internationalconference on automatedreasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.;the 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. they are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.;this is an open access book.
this book constitutes the proceedings of the 7thinternational Symposium on automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. the 23 regular papers and 3 took papers...
详细信息
ISBN:
(数字)9783642047619
ISBN:
(纸本)9783642047602
this book constitutes the proceedings of the 7thinternational Symposium on automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. the 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. the papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
this book constitutes the refereed proceedings of the 7thinternationalconference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated conferences. the 12 revised ...
详细信息
ISBN:
(数字)9783642389160
ISBN:
(纸本)9783642389153
this book constitutes the refereed proceedings of the 7thinternationalconference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated conferences. the 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. the papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. the papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
the Seventhinternationalconference on automated Deduction was held May 14-16, 19S4, in Napa, California. the conference is the primary forum for reporting research in all aspects of automated deduction, including th...
详细信息
ISBN:
(数字)9780387347684
ISBN:
(纸本)9780387960227
the Seventhinternationalconference on automated Deduction was held May 14-16, 19S4, in Napa, California. the conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logicprogramming, formal specification, program synthesis, and related areas. the presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. the first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .
this book constitutes the refereed proceedings of the 15thinternationalconference on logicprogramming and Nonmonotonic reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.
ISBN:
(数字)9783030205287
ISBN:
(纸本)9783030205270
this book constitutes the refereed proceedings of the 15thinternationalconference on logicprogramming and Nonmonotonic reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.
暂无评论