Autoepistemic logic

Results: 18



#Item
1On 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

Add to Reading List

Source URL: people.cs.kuleuven.be

Language: English
    2On 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

    Add to Reading List

    Source URL: www.thi.uni-hannover.de

    Language: English - Date: 2015-11-05 07:20:54
      3

      PDF Document

      Add to Reading List

      Source URL: zeszyty-naukowe.wwsi.edu.pl

      Language: English - Date: 2014-12-22 08:14:41
      4Expressing 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

      Add to Reading List

      Source URL: www.cs.sfu.ca

      Language: English - Date: 2005-04-08 13:10:58
      5What’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,

      Add to Reading List

      Source URL: www.cs.sfu.ca

      Language: English - Date: 2012-08-16 12:27:39
      6В издательстве «Физматлит» в 2004 г

      В издательстве «Физматлит» в 2004 г

      Add to Reading List

      Source URL: raai.org

      Language: English - Date: 2004-01-22 06:29:02
      7From 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

      Add to Reading List

      Source URL: www.cs.ust.hk

      Language: 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

      Add to Reading List

      Source URL: www.lwb.unibe.ch

      Language: English - Date: 2010-05-10 07:17:13
      9В издательстве «Физматлит» в 2004 г

      В издательстве «Физматлит» в 2004 г

      Add to Reading List

      Source URL: www.raai.org

      Language: English - Date: 2004-01-22 06:29:02
      10Fuzzy 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

      Add to Reading List

      Source URL: www.cwi.ugent.be

      Language: English - Date: 2011-04-05 14:54:22