In this paper the mechanism of Default Rules for narrowing-based languages proposed in [24] is adapted to lazy narrowing. Every partial definition of a function can be completed with a default rule. In a concrete func...
详细信息
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.
the proceedings contain 36 papers. the special focus in this conference is on Computer Analysis of Images and Patterns. the topics include: Entailment and disentailment of order-sorted feature constraints;prolog with ...
ISBN:
(纸本)9783540569442
the proceedings contain 36 papers. the special focus in this conference is on Computer Analysis of Images and Patterns. the topics include: Entailment and disentailment of order-sorted feature constraints;prolog with arrays and bounded quantifications;linear 0-1 inequalities and extended clauses;search space pruning by checking dynamic term growth;a proof search syste;ctive systems;consistency checking of automata functional specifications;yet another application for toupie: verification of mutual exclusion algorithms;iffault, antoine rauzy parsing with DCG-terms;a first order resolution calculus with symmetries;ordered paramodulation and resolution as decision procedure;static analysis of prolog with cut;a new type theory for representing logics;verification of switch-level designs with many-valued logic;deciding in HFS-theory via linear integer p’rogramming;the completion of typed logic programs and SLDNF-resolution;increasing the versatility of heuristic based theorem provers;sequentialization of parallel logic programs with mode analysis;refinements and extensions of model elimination;executable specifications based on dynamic algebras;generic resolution in propositional modal systems;optimized translation of multi modal logic into predicate logic;default reasoning with a constraint resolution principle;non-clausal deductive techniques for computing prime implicants and prime implicates;unification under one-sided distributivity with a multiplicative unit;unification in order-sorted logic with term declarations;a system based on the inference of type relations;a comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems;neutralization and preemption in extended logic programs.
In this paper we present a narrower for conditional equational theories whose clauses allow disequations in their bodies (normal theories). Our approach deals with disequations in a constructive manner and thus allows...
详细信息
Hybrid knowledge bases (HKBs), proposed by Nerode and Subrahmanian, provide a uniform theoretical framework for dealing withthe mixed data types and multiple reasoning modes required for solving logical deployment pr...
详细信息
ISBN:
(纸本)0819412015
Hybrid knowledge bases (HKBs), proposed by Nerode and Subrahmanian, provide a uniform theoretical framework for dealing withthe mixed data types and multiple reasoning modes required for solving logical deployment problems. Algorithms based on mixed integer linear programming techniques have been developed for the syntactic subset of HKBs corresponding to function-free Prolog-like logic programs. In this study, we examine the ability of neural networks to solve a more comprehensive set of problems expressed within the hybrid knowledge base framework. the objective of this research is to design and implement a nonlinear optimization procedure for solving extended logic programs with neural networks. We focus upon two types of extensions which are typically required in the formulation of logical deployment problems. the first type of extension, which we shall refer to as a Type I extension, consists of embedding numerical and geometric constraints into logic programs. the second type of extension, which we shall call a Type II extension, consists of incorporating optimization problems into logic clauses.
In this paper we present new refinements and extensions of the model elimination calculus. these refinements offer a smaller branching rate of the search space, but at the price that short proofs may no longer exist—...
详细信息
暂无评论