*Price HAS BEEN REDUCED by 10% until Monday, July 28 (SALE ITEM)* 628 pp., hardcover, NEW!! - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.

Bestandsnummer des Verk�ufers ZB1319968

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Handbook of Logic in Artificial Intelligence and Logic Programming Volume 4: Epistemic and temporal reasoning
Verlag: Oxford University Press
Erscheinungsjahr: 1995
Sprache: Englisch
ISBN-10: 0198537913
ISBN-13: 9780198537915
Einband: Hardcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

Knowledge, belief, and time can all qualify statements of truth and falsity. This volume addresses the modal logics involved in such qualifications, by modelling of the changing state of knowledge and belief through time. The first three chapters survey reasoning by knowledge, and the need to update belief systems to deal with contradictory information. The next two chapters address the relationship of time and change, and include a review and comparison of existing models. An analysis of computational issues in temporal logic - executable temporal logic, temporal databases, and logic programming - and an overview of current research in non-monotonic reasoning strategies follow. The final chapter focuses on modal resolution techniques as applied to the logic of knowledge and time. This book is intended for the volume is of interest to logicians, computer scientists, philosophers, linguists and AI researchers. It is of special use to researchers in deductive databases and object oriented approaches. Volume Co-ordinator:: Galton, A. (University of Exeter);

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Impressum & Info zum Verk�ufer