On Inconsistency and Unsatisfiability

Schröder L, Mossakowski T (2015)

Publication Language: English

Publication Type: Journal article, Original article

Publication year: 2015

Journal

International Journal of Software and Informatics International Federation of Computational Logic

Book Volume: 9

Pages Range: 141--152

Journal Issue: 2

URI: http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i212

Authors with CRIS profile

Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

Involved external institutions

Otto-von-Guericke-Universität Magdeburg DE Germany (DE)

How to cite

APA:

Schröder, L., & Mossakowski, T. (2015). On Inconsistency and Unsatisfiability. International Journal of Software and Informatics, 9(2), 141--152.

MLA:

Schröder, Lutz, and Till Mossakowski. "On Inconsistency and Unsatisfiability." International Journal of Software and Informatics 9.2 (2015): 141--152.

BibTeX: Download