Contacto
Como comprar
Entrega
Guia de compras
A Resolution Principle for a Logic with Restricted Quantifiers
Inglês
111 b
Política de devolução de 30 dias
Os clientes também compraram
/
Livro de capa dura
30.27
€
/
Capa mole
25.10
€
This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints.The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for there futation of sets of constrained clauses. Using a new and elegant generalization of the notion of a ground instance, the proof technique is a straight forward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics ore quational theories and also by extensions of predicatelogics with general equational constraints or concept description languages.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
36.85
€
/
Capa mole
12.45
€
/
Capa mole
19.74
€
/
Capa mole
9.61
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?