文档介绍：CONDITIONAL AND PREFERENTIAL LOGICS:
PROOF METHODS AND THEOREM PROVING
Frontiers in Artificial Intelligence and Applications
Volume 208
Published in the subseries
Dissertations in Artificial Intelligence
Under the Editorship of the ECCAI Dissertation Board
Recently published in this series
Vol. 207. A. Bifet, Adaptive Stream Mining: Pattern Learning and Mining from Evolving Data
Streams
Vol. 206. T. Welzer Družovec et al. (Eds.), Information Modelling and Knowledge Bases XXI
Vol. 205. G. Governatori (Eds.), Legal Knowledge and Information Systems – JURIX 2009:
The Twenty-Second Annual Conference
Vol. 204. B. Apolloni, S. Bassis and . Morabito (Eds.), s WIRN09 – Proceedings
of the 19th Italian Workshop on s
Vol. 203. M. Džbor, Design Problems, Frames and Innovative Solutions
Vol. 202. S. Sandri, M. Sànchez-Marrè and U. Cortés (Eds.), Artificial Intelligence Research
and Development – Proceedings of the 12th International Conference of the Catalan
Association for Artificial Intelligence
Vol. 201. . Agudo et al. (Eds.), Techniques and Applications for merce –
Proceedings of TAMoCo 2009
Vol. 200. V. Dimitrova et al. (Eds.), Artificial Intelligence in Education – Building Learning
Systems that Care: From Knowledge Representation to Affective Modelling
Vol. 199. H. Fujita and V. Mařík (Eds.), New Trends in Software Methodologies, Tools and
Techniques – Proceedings of the Eighth SoMeT_09
Vol. 198. R. Ferrario and A. Oltramari (Eds.), Formal Ontologies Meet Industry
Vol. 197. R. Hoekstra, Ontology Representation – Design Patterns and Ontologies that Make
Sense
Vol. 196. F. Masulli et al. (Eds.), Computational Intelligence and Bioengineering – Essays in
Memory of Antonina Starita
Vol. 195. A. Boer, Legal Theory, Sources of Law and the Semantic Web
Vol. 194. A. Petcu, A Class of Algorithms for Distributed Constraint Optimization
Vol. 197. R. Hoekstra, Ontology Representation – Design Patterns and O