Conditional and preferential logics : proof methods and theorem proving /

Bibliographic Details

Main Author:	Pozzato, Gian Luca
Format:	Book
Language:	English
Published:	Amsterdam ; Washington, D.C. : IOS Press, [2010]
Series:	Frontiers in artificial intelligence and applications ; v. 208. Frontiers in artificial intelligence and applications. Dissertations in artificial intelligence.
Subjects:	Logic, Symbolic and mathematical. Proof theory.