Autoepistemic logic - PDFSEARCH.IO - Document Search Engine

Autoepistemic logic
Results: 18

#	Item
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 Add to Reading List Source URL: people.cs.kuleuven.be Language: English
2	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 Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming
4	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 Science Non-classical logic Model theory Knowledge representation Default logic Modal logic First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
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, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:27:39 Non-classical logic Reasoning Logical consequence Knowledge representation Default logic Non-monotonic logic Inference Autoepistemic logic Entailment Logic Mathematical logic Logic programming
6	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
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 Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
8	/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 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
9	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
10	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 Mathematics Logic programming Modal logic Autoepistemic logic Fuzzy logic Stable model semantics Many-valued logic Interpretation Model theory Logic Mathematical logic Non-classical logic

UPDATE