Logic Programming: Operational Semantics and Proof Theory 0-521-43219-7, 9780521432191, 9780511526534, 0511526539, 0-521-60754-X

Proof-theoretic Semantics 1848901836, 9781848901834

This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to t

454 25 7MB Read more

Syllogistic Logic and Mathematical Proof 0198876920, 9780198876922

Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account

391 112 6MB Read more

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

522 46 16MB Read more

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

756 115 12MB Read more

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.W

976 45 3MB Read more

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.W

473 67 5MB Read more

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning 9788770227193, 9781000923216, 9781003427421

The computational foundations of Artificial Intelligence (AI) are supported by two comer stones: logics and Machine Leam

299 96 41MB Read more

Foundations of Probabilistic Logic Programming. Languages, Semantics, Inference and Learning 978-87-7022-018-7

1,208 162 12MB Read more

Foundations of Probabilistic Logic Programming. Languages, Semantics, lnference and Learning [2 ed.] 9788770227193, 9781000923216, 9781003427421

586 22 41MB Read more

Foundations of Probabilistic Logic Programming. Languages, Semantics, Inference and Learning 978-87-7022-017-0

Table of contents : Contents......Page 3 Foreword......Page 8 Preface......Page 10 Figures......Page 12 Tables......Page

870 110 5MB Read more