Towards Formalizing Statute Law as Default Logic through Automatic Semantic Parsing Marcos Pertierra Northwestern Pritzker School of Law

Source URL: groups.csail.mit.edu

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

Source URL: people.cs.kuleuven.be

Constructing Markov Logic Networks from First-Order Default Rules Ondˇrej Kuˇzelka1 , Jesse Davis2 , and Steven Schockaert1 1 2

Source URL: www.ilp2015.jp

Constructing Markov Logic Networks from First-Order Default Rules Ondřej Kuželka1, Jesse Davis2 and Steven Schockaert1 1Cardiff University, 2KU Leuven

Source URL: www.ilp2015.jp

Belief Revision Theory Structuralist Theory of Science Default Logic

Source URL: fitelson.org

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

Source URL: geog.ucsb.edu

• Logic
• Abstraction
• Philosophy
• Non-classical logic
• Model theory
• Reasoning
• Knowledge representation
• Logic programming
• Default logic
• Description logic
• First-order logic
• Web Ontology Language

On the Parameterized Complexity of Default Logic and Autoepistemic Logic∗ Arne Meier1 , Johannes Schmidt2 , Michael Thomas3,† , and Heribert Vollmer1 2 1

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

THE EROTETIC THEORY OF REASONING:

Source URL: www.koralus.net

• Mind
• Mental model
• Psychology of reasoning
• Reason
• Deductive reasoning
• Inference
• Default logic
• Philosophy
• Sequent
• Reasoning
• Science
• Logic

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

Source URL: www.cs.man.ac.uk

• Knowledge representation
• Ontology
• Information science
• Reasoning
• Semantic Web
• Web Ontology Language
• Description logic
• Default logic
• Knowledge representation and reasoning
• Science
• Artificial intelligence
• Knowledge

Simply Logical Ð Chapter 8 p.151 © Peter Flach, 2000 ☞ Default rules are typically true, but may have exceptions default((flies(X):-bird(X))).

Source URL: www.cs.bris.ac.uk

• Quantification
• Function
• Existential quantification
• Entailment
• Logic
• Mathematics
• Science