Nonclassical Logics and Information Processing
Editat de David Pearce, Heinrich Wansingen Limba Engleză Paperback – 22 iul 1992
Preț: 288.80 lei
Preț vechi: 361.01 lei
-20%
Puncte Express: 433
Preț estimativ în valută:
51.07€ • 58.56$ • 44.14£
51.07€ • 58.56$ • 44.14£
Carte tipărită la comandă
Livrare economică 28 aprilie-12 mai
Specificații
ISBN-13: 9783540557456
ISBN-10: 3540557458
Pagini: 184
Ilustrații: IX, 175 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540557458
Pagini: 184
Ilustrații: IX, 175 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.29 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Algebraic aspects of the relational knowledge representation: Modal relation algebras.- A logic for memory.- Actions with preconditions and postconditions.- Testclasses and closed world assumptions for non-horn theories.- Reasoning with negative information, II: Hard negation, strong negation and logic programs.- Lindenbaum-algebraic semantics of logic programs.- Conditional logics and cumulative logics.- Semantics of nonmonotonic reasoning in logic programming.- Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic.- Cut-elimination in logics with definitional reflection.