We study revision programming, a logic-based mechanism for enforcing constraints on databases. the central concept of this approach is that of a justified revision based on a revision program. We show that for any pro...
详细信息
作者:
Simpson, Alex K.LFCS
Division of Informatics University of Edinburgh JCMB King’s Buildings EdinburghEH9 3JZ United Kingdom
We place simple axioms on an elementary topos which suffice for it to provide a denotational model of call-by-value PCF with sum and product types. the model is synthetic in the sense that types are interpreted by the...
详细信息
A new decision procedure for the existential fragment of ordering constraints expressed using the recursive path ordering is presented. this procedure is nondeterministic and checks whether a set of constraints is sol...
详细信息
this paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadratic programming (QP) problem is introd...
详细信息
the proceedings contain 94 papers. the special focus in this conference is on Fuzzy Systems, Neural Networks, Genetic Algorithms and Reasoning. the topics include: Formalisations of uncertain reasoning;a fuzzy knowled...
ISBN:
(纸本)3540660763
the proceedings contain 94 papers. the special focus in this conference is on Fuzzy Systems, Neural Networks, Genetic Algorithms and Reasoning. the topics include: Formalisations of uncertain reasoning;a fuzzy knowledge representation and acquisition scheme for diagnostic systems;towards an affirmative interpretation of linguistically denied fuzzy properties in knowledge-based systems;design of fuzzy sliding controller based on cerebellar learning model;testing the performance of a neural networks-based adaptive call admission controller with multimedia traffic;a combined neural network and mathematical morphology method for computerized detection of microcalcifications;a generation method to produce GA with GP capabilities for signal modeling;using self organizing maps and genetic algorithms for model selection in multilevel optimization;genetic algorithms in solving graph partitioning problem;a study of a genetic classifier system based on the Pittsburgh approach on a medical domain;a new gradient-based search method;speeding the vector search algorithm for regional color channel features based indexing and retrieval systems;cost-based abduction using binary decision diagrams;a real world application of qualitative model-based decision tree generation for diagnosis;towards task-oriented user support for failure mode and effects analysis;incremental and integrated evaluation of rule-based systems;a compositional process control model and its application to biochemical processes and using extended logicprogramming for alarm-correlation in cellular phone networks.
this research is aimed at giving a bridge between the two research areas, inductivelogicprogramming and Computational Learning. We focus our attention on four fittings (learning methods) invented in the two areas: S...
详细信息
the proceedings contain 24 papers. the special focus in this conference is on Recent Trends in Algebraic Development Techniques. the topics include: From abstract data types to algebraic development techniques;members...
ISBN:
(纸本)3540642994
the proceedings contain 24 papers. the special focus in this conference is on Recent Trends in Algebraic Development Techniques. the topics include: From abstract data types to algebraic development techniques;membership algebra as a logical framework for equational specification;mapping tile logic into rewriting logic;an algebra of mixin modules;correctness of a logical system for structured specifications;the individual token approach;a method for FORTRAN programs reverse engineering using algebraic specifications;parameterised objects and inheritance;a completeness result for equational deduction in coalgebraic specification;an inductive view of graph transformation;on combining semiformal and formal object specification techniques;modular aspects of rewrite-based specifications;from algebra transformation to labelled transition systems;open maps as a bridge between algebraic observational equivalence and bisimilarity;a systematic study of mappings between institutions;colimits of order-sorted specifications;static semantic analysis and theorem proving for CASL;combining and representing logical systems using model-theoretic parchments;towards the one-tiered design of data types and transition systems;context parchments;verifying a compiler optimization for multi-threaded java and categories of relational structures.
the connection between some modularity properties and interpolation is revisited and restated in a general `logic-independent' framework. the presence of uniform interpolants is shown to assist in certain proof ob...
详细信息
the connection between some modularity properties and interpolation is revisited and restated in a general `logic-independent' framework. the presence of uniform interpolants is shown to assist in certain proof obligations, which suffice to establish the composition of refinements. the absence of the desirable interpolation properties from many logics that have been used in refinement, motivates a thorough investigation of methods to expand a specification formalism orthogonally, so that the critical uniform interpolants become available. A potential breakthrough is outlined in this paper.
暂无评论