You are here

Home › Research › Publications ›

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles

TitleSimplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
Publication TypeConference Paper
Year of Publication2005
AuthorsBauer, A
Conference NameIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings
SeriesLecture Notes in Computer Science
Volume3524
PublisherSpringer
URLhttp://dx.doi.org/10.1007/11493853_6
DOI10.1007/11493853_6
Bibtex: 
@inproceedings {1156,
	title = {Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles},
	booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {3524},
	year = {2005},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/11493853_6},
	url = {http://dx.doi.org/10.1007/11493853_6},
	author = {Andreas Bauer}
}