We extend logicprogramming to deal withlogic programs that include new truthfunctional connectives called tests. Stable Model Semantics and three Valued Stable Model Semantics are extended to give meaning to progra...
详细信息
Feature constraint Systems have been proposed as a logical data structure for constraint (logic) programming. they provide a record-like view to trees by identifying subtrees by keyword rather than by position. their ...
详细信息
the paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for defining program e...
详细信息
the proceedings contain 60 papers. the special focus in this conference is on Automata. the topics include: On the semantics of logic programs (invited lecture);logicprogramming with recurrence domains;extensional em...
ISBN:
(纸本)9783540542339
the proceedings contain 60 papers. the special focus in this conference is on Automata. the topics include: On the semantics of logic programs (invited lecture);logicprogramming with recurrence domains;extensional embedding of a strongly stable model of PCF;uniform ideals and strictness analysis;program composltion and modular verification;the power of reeonfiguration;general resolution of tseitin formulas is hard;program checkers for probability generation;the expressive power of implicit specifications;on confluent semi-commutations-decidability and complexity results;a kleene theorem for infinite trace languages;canonical sets of horn clauses;a specialized completion procedure for monadic string-rewriting systems presentsng groups;provably recursive programs and program extraction;efficient algorithms for path problems with general cost criteria;computing shortest paths and distances in planar graphs;efflcient maximal cubic graph cuts;improving known solutions is hard;collapsing degrees via strong computation;a parallel algorithm for two processors precedence constraint scheduling;an efflcient NG algorithm for finding hamiltonlan cycles in dense directed graphs;satisflablllty of systems of ordinal notations withthe subterm property is decldable;the meaning of negative premises in transition system specifications;deciding history preserving bislmllarlty;adding action refinement to a finite process algebra;improved parallel computations with matrices and polynomials;finding minimal forbidden minors using a finite congruence;better algorithms for the pathwidth and treewidth of graphs;bounded delay and regularity of ambiguity;balancing order and chaos in image generation;minimal NFA problems are hard and computing shortest transversals.
this book constitutes the refereed conference proceedings of the 18thinternational Conference on Principles and Practice of constraintprogramming (CP 2013), held in Uppsala, Sweden, in September 2013. the 61 revised...
详细信息
ISBN:
(数字)9783642406270
ISBN:
(纸本)9783642406263
this book constitutes the refereed conference proceedings of the 18thinternational Conference on Principles and Practice of constraintprogramming (CP 2013), held in Uppsala, Sweden, in September 2013. the 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. the scope of the conference is on all aspects of computing withconstraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
this book constitutes the refereed post-conference proceedings of the 26thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2018, held in Frankfurt/Main, Germany, in September...
详细信息
ISBN:
(数字)9783030162023
ISBN:
(纸本)9783030162016
this book constitutes the refereed post-conference proceedings of the 26thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.
this book constitutes revised selected papers of the 8thinternationalworkshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. the 18 full papers presented together with 3 ...
详细信息
ISBN:
(数字)9783642357435
ISBN:
(纸本)9783642357428
this book constitutes revised selected papers of the 8thinternationalworkshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011.
the 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. they cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.
this volume contains a selection of papers presented at the 15thinternational Conference on Applications of Declarative programming and Knowledge M- agement, INAP 2004, and the 18thworkshop on logicprogramming, WLP...
详细信息
ISBN:
(数字)9783540321248
ISBN:
(纸本)9783540255604
this volume contains a selection of papers presented at the 15thinternational Conference on Applications of Declarative programming and Knowledge M- agement, INAP 2004, and the 18thworkshop on logicprogramming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. this speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. the INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logicprogramming, constraint problem solving, and closely related advanced software. they comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. the workshops on logicprogramming are the annual meeting of the Society for logicprogramming (GLP e.V.). they bring together researchers interested in logicprogramming, constraintprogramming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraintprogramming and constraint solving, and declarative programming and Web-based systems.
this volume contains the research papers presented at the international C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. this conferenc...
详细信息
ISBN:
(数字)9783642027161
ISBN:
(纸本)9783642027154
this volume contains the research papers presented at the international C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. this conference was the 18th in a series of international meetings since 1992 (listed on page IX). It was collocated with FTP 2009, the workshop on First-Order theorem Proving. the Program Committee of TABLEAUX 2009 received 44 submissions from 24 countries. Each paper was reviewed by at least three referees, after which the reviews were sent to the authors for comment in a rebuttal phase. After a ?nal intensive discussion on the borderline papers during the online meeting of the Program Committee, 21 research papers and 1 system description were accepted based on originality, technical soundness, presentation, and relevance. Additionally,three positionpaperswereaccepted,whicharepublished asate- nical report of the University of Oslo. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members and other referees for their great e?ort and p- fessional work in the review and selection process. their names are listed on the following pages.
暂无评论