1![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 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](https://www.pdfsearch.io/img/4833b8d5c713c3910d5397acccd4c46d.jpg) | Add to Reading ListSource URL: people.cs.kuleuven.beLanguage: English |
---|
2![On the Parameterized Complexity of Default Logic and Autoepistemic Logic∗ Arne Meier1 , Johannes Schmidt2 , Michael Thomas3,† , and Heribert Vollmer1 2 1 On the Parameterized Complexity of Default Logic and Autoepistemic Logic∗ Arne Meier1 , Johannes Schmidt2 , Michael Thomas3,† , and Heribert Vollmer1 2 1](https://www.pdfsearch.io/img/496f53bf92189cc42add2102c51da52a.jpg) | Add to Reading ListSource URL: www.thi.uni-hannover.deLanguage: English - Date: 2015-11-05 07:20:54
|
---|
3![](https://www.pdfsearch.io/img/e6308c52d1d73ea1b40da6270bbb36c6.jpg) | Add to Reading ListSource URL: zeszyty-naukowe.wwsi.edu.plLanguage: English - Date: 2014-12-22 08:14:41
|
---|
4![Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany](https://www.pdfsearch.io/img/c64fc7bb8d3c950486a3f1417d1c6a62.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2005-04-08 13:10:58
|
---|
5![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, 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,](https://www.pdfsearch.io/img/40a352d681bbd44b312e8d49ef494857.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2012-08-16 12:27:39
|
---|
6![В издательстве «Физматлит» в 2004 г В издательстве «Физматлит» в 2004 г](https://www.pdfsearch.io/img/3ebf6b5ca4576a7cc1ba5c38b2b69609.jpg) | Add to Reading ListSource URL: raai.orgLanguage: English - Date: 2004-01-22 06:29:02
|
---|
7![From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong](https://www.pdfsearch.io/img/bcf319a4f8329823fd3922275f1c1215.jpg) | Add to Reading ListSource URL: www.cs.ust.hkLanguage: English - Date: 2006-10-13 03:43:14
|
---|
8![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/2898758516b1556f02aefea0e8ddc9de.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-10 07:17:13
|
---|
9![В издательстве «Физматлит» в 2004 г В издательстве «Физматлит» в 2004 г](https://www.pdfsearch.io/img/197867420bcca676f477a6cab95ffaee.jpg) | Add to Reading ListSource URL: www.raai.orgLanguage: English - Date: 2004-01-22 06:29:02
|
---|
10![Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1](https://www.pdfsearch.io/img/b305e7003399543050dafee0e4e72561.jpg) | Add to Reading ListSource URL: www.cwi.ugent.beLanguage: English - Date: 2011-04-05 14:54:22
|
---|