by V.WiktorMarek (Author), Miroslaw Truszczynski (Author), R.Reiter (Foreword)
It also relates them to various modal logics studied in the philosophical logic litera- ture, and provides a thorough treatment of their applications as foundations for logic programming semantics and for truth maintenance systems.
Format: Hardcover
Pages: 430
Publisher: Springer
Published: 24 Aug 2011
ISBN 10: 3540564489
ISBN 13: 9783540564485