<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-12-22 08:14:41Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming |
| Towards Formalizing Statute Law as Default Logic through Automatic Semantic Parsing Marcos Pertierra Northwestern Pritzker School of LawDocID: 1uWvh - View Document |
| 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´ nskiDocID: 1lKYs - View Document |
| Constructing Markov Logic Networks from First-Order Default Rules Ondˇrej Kuˇzelka1 , Jesse Davis2 , and Steven Schockaert1 1 2DocID: 1loUV - View Document |
| Constructing Markov Logic Networks from First-Order Default Rules Ondřej Kuželka1, Jesse Davis2 and Steven Schockaert1 1Cardiff University, 2KU LeuvenDocID: 1kPcr - View Document |
| Belief Revision Theory Structuralist Theory of Science Default LogicDocID: 1kCvP - View Document |