Default logic - PDFSEARCH.IO - Document Search Engine

Default logic
Results: 67

#	Item
1	Towards Formalizing Statute Law as Default Logic through Automatic Semantic Parsing Marcos Pertierra Northwestern Pritzker School of Law Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2017-07-21 03:35:36
2	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
3	Constructing Markov Logic Networks from First-Order Default Rules Ondˇrej Kuˇzelka1 , Jesse Davis2 , and Steven Schockaert1 1 2 Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-05 01:44:54
4	Constructing Markov Logic Networks from First-Order Default Rules Ondřej Kuželka1, Jesse Davis2 and Steven Schockaert1 1Cardiff University, 2KU Leuven Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-22 07:35:55
5	Belief Revision Theory Structuralist Theory of Science Default Logic Add to Reading List Source URL: fitelson.org Language: English - Date: 2011-01-01 18:48:32
6	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
7	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
8	THE EROTETIC THEORY OF REASONING: Add to Reading List Source URL: www.koralus.net Language: English - Date: 2014-04-05 07:49:18 Mind Mental model Psychology of reasoning Reason Deductive reasoning Inference Default logic Philosophy Sequent Reasoning Science Logic
9	DEFAULTS, CONTEXT, AND KNOWLEDGE: ALTERNATIVES FOR OWL-INDEXED KNOWLEDGE BASES ALAN RECTOR Bio-Health Informatics Group, Department of Computer Science, University of Manchester, Manchester M13 9PL, UK email Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-09-11 01:03:08 Knowledge representation Ontology Information science Reasoning Semantic Web Web Ontology Language Description logic Default logic Knowledge representation and reasoning Science Artificial intelligence Knowledge
10	Simply Logical Ð Chapter 8 p.151 © Peter Flach, 2000 ☞ Default rules are typically true, but may have exceptions default((flies(X):-bird(X))). Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:17 Quantification Function Existential quantification Entailment Logic Mathematics Science

UPDATE