This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical paper...
详细信息
ISBN:
(数字)9783642396175
ISBN:
(纸本)9783642396168
This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logicprogramming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.
This book constitutes the refereed proceedings of the 7th European Symposium on programming, ESOP'98, held as part of the Joint European Conferences on theory and practice of Software, ETAPS'98, in Lisbon, Por...
详细信息
ISBN:
(数字)9783540697220
ISBN:
(纸本)9783540643029
This book constitutes the refereed proceedings of the 7th European Symposium on programming, ESOP'98, held as part of the Joint European Conferences on theory and practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.;This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
ANSWER Set programming (ASP) is a powerful modelling formalism that is very efficient for solving combinatorial problems. This work extends the state-of-the- art in theory and practice of ASP. It has two parts. ASP so...
ANSWER Set programming (ASP) is a powerful modelling formalism that is very efficient for solving combinatorial problems. This work extends the state-of-the- art in theory and practice of ASP. It has two parts. ASP solvers implement the stable model semantics that eliminates circular deriva- tions between Boolean variables from the solutions of a logic program. Due to this, ASP solvers are better suited than propositional satisfiability (SAT) and Constraint Program- ming (CP) solvers for solving a certain class of problems whose specification includes inductive definitions such as reachability in a graph. On the other hand, ASP solvers suf- fer from the grounding bottleneck that occurs due to their inability to model finite domain variables. Constraint Answer Set programming (CASP) is one approach that combines the strengths of CP and ASP to remove the grounding bottleneck. We present a CASP system that extends a CP solver. This is in contrast with other CASP systems that embed CP-type reasoning on finite bounds inside an ASP solver. CASP systems cannot remove another type of bottleneck that arises due the inability of a system to prevent circular derivation on numerical bounds of variables. An example where this sort of reasoning is required is in modelling shortest paths between nodes in a graph. Just as reachability can be encoded as an inductive definition with one or more base cases and recursive rules, shortest paths between nodes can also be modelled with similar base cases and recursive rules for their upper bounds. We show that the existing stable model semantics is insufficient to disallow circular reasoning on the bounds of numeric variables. Due to this deficiency, this type of grounding bottleneck cannot be removed by CASP systems, which naively merges stable model semantics on ASP vari- ables with classical reasoning of CP over numerical variables. For this purpose, we re- quire a theoretical extension of the semantics from Booleans and normal rules to
Algorithms are essential building blocks of computer applications. However, advancements in computer hardware, which render traditional computer models more and more unrealistic, and an ever increasing demand for effi...
详细信息
ISBN:
(数字)9783642148668
ISBN:
(纸本)9783642148651
Algorithms are essential building blocks of computer applications. However, advancements in computer hardware, which render traditional computer models more and more unrealistic, and an ever increasing demand for efficient solution to actual real world problems have led to a
rising gap between classical algorithm theory and algorithmics in practice.
The emerging discipline of Algorithm Engineering aims at bridging this gap. Driven by concrete applications, Algorithm Engineering complements theory by the benefits of experimentation and puts equal emphasis on all aspects arising during a cyclic solution process ranging from realistic modeling, design, analysis, robust and efficient implementations to careful experiments.
This tutorial - outcome of a GI-Dagstuhl Seminar held in Dagstuhl Castle in September 2006 - covers the essential aspects of this process in ten chapters on basic ideas, modeling and design issues, analysis of algorithms, realistic computer models, implementation aspects and
algorithmic software libraries, selected case studies, as well as challenges in Algorithm Engineering. Both researchers and practitioners in the field will find it useful as a state-of-the-art survey.
This volume contains the proceedings of the fourthInternational Joint Conference on the theory and practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been t...
详细信息
ISBN:
(数字)9783540475989
ISBN:
(纸本)9783540566106
This volume contains the proceedings of the fourth
International Joint Conference on the theory and practice of
Software Development, TAPSOFT '93. Since the first in 1985,
the aim of these conferences has been to bring together
theoretical computer scientists and researchers in software
engineering with a view to discussing how formal methods can
usefully be applied in software development.
TAPSOFT '93 consists ofthree parts: an advanced seminar,
the Colloquium on Trees in Algebra and programming (CAAP),
and the Colloquium on Formal Approaches of Software
Engineering (FASE). The advanced seminar includes four
invited surveys and four invited conferences. The selected
papers for CAAP are organized in seven sessions:
specifications and proofs, concurrency, automata and
counting, constraints solving, rewriting, logic and trees,
analysis of algorithms, and a common session with FASE on
type inference. The selected papers for FASE are presented
in eight sessions: case studies in formal design and
development, compositionality modules and development,
formal development, foundations and analysis of formal
specifications, verification of concurrent systems, model
checking, parallel calculus, and a common session with CAAP
on type inference.
These are the proceedings of the First International Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspec...
详细信息
ISBN:
(数字)9783540449577
ISBN:
(纸本)9783540677970
These are the proceedings of the First International Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive logicprogramming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { logicprogramming: theory and Extensions { Constraints { Automated Deduction: Putting theory into practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { logicprogramming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.
TAPSOFT '89 is the Third International Joint Conference on theory and practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on F...
详细信息
ISBN:
(数字)9783540461180
ISBN:
(纸本)9783540509400
TAPSOFT '89 is the Third International Joint Conference on theory and practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and programming (CAAP '89) - Colloquium on Current Issues in programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on theory and Pr...
详细信息
ISBN:
(数字)9783642370755
ISBN:
(纸本)9783642370748
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on theory and practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013
The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.
ETAPS2000 was the third instance of the EuropeanJoint Conferenceson theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new confe...
详细信息
ISBN:
(数字)9783540464235
ISBN:
(纸本)9783540672630
ETAPS2000 was the third instance of the EuropeanJoint Conferenceson theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
ETAPS 2000 was the third instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new co...
详细信息
ISBN:
(数字)9783540464259
ISBN:
(纸本)9783540672623
ETAPS 2000 was the third instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
暂无评论