home lwb beta doc ref ref_lwb2.dvi - Modal depth - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-05-10 07:17:13 Logic programming Formal languages Logical syntax Well-formed formula Autoepistemic logic Logical connective Modal depth Propositional variable First-order logic Logic Mathematical logic Modal logic		/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Download Document from Source Website File Size: 129,46 KB Share Document on Facebook

	On the informal and formal semantics of Default and Autoepistemic logic Default logic is not a logic of defaults Marc Denecker Victor Marek and Miroslav Truszczy´ nski DocID: 1lKYs - View Document
	On the Parameterized Complexity of Default Logic and Autoepistemic Logic∗ Arne Meier1 , Johannes Schmidt2 , Michael Thomas3,† , and Heribert Vollmer1 2 1 DocID: 1jXNS - View Document
	PDF Document DocID: 16R78 - View Document
	Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany DocID: 15Ljc - View Document
	What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning James Delgrande School of Computing Science, Simon Fraser University, DocID: 14PB7 - View Document