Circumscription - PDFSEARCH.IO - Document Search Engine

Circumscription
Results: 33

#	Item
11	Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles Andreas Bauer Institut f¨ ur Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-11-17 13:08:20 Logic programming Boolean algebra Non-classical logic Predicate logic Propositional calculus Diagnosis Boolean satisfiability problem Circumscription Mereology Logic Mathematical logic Mathematics
12	Explaining Explanation Closure Patrick Doherty1 and Witold L ukaszewicz2 and Andzrej Szalas2 1 Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:18 Non-classical logic Mathematics Knowledge representation Epistemology Artificial intelligence Frame problem Circumscription Situation calculus Axiom Logic Mathematical logic Logic programming
13	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
14	Elaboration Tolerance through Object-Orientation Joakim Gustafsson and Jonas Kvarnstr¨om Department of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden {joagu,jonkv}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:41 Computing Object Circumscription Inheritance ECO Prolog JavaScript Constructor Software engineering Object-oriented programming Computer programming
15	A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:06 Formal languages Circumscription Logic programming Non-classical logic Conjunctive normal form Atomic formula Well-formed formula First-order logic Logic Mathematical logic Predicate logic
16	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
17	Ecient Reasoning using the Local Closed-World Assumption Patrick Doherty1? , Witold Lukaszewicz2, and Andrzej Szalas2 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:05:06 Mathematical logic Circumscription Closed world assumption Inference Literal Horn clause Function Logic Logic programming Mathematics
18	Embracing Occlusion in Specifying the Indirect Eects of Actions Joakim Gustafsson Department of Computer and Information Science Linkoping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:07:34 Mathematics Knowledge representation Artificial intelligence Epistemology Frame problem Integral transforms Circumscription 8T Constraint algorithm Logic programming Mathematical analysis Science
19	A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:11:00 Generalization Atomic formula Conjunctive normal form Circumscription Logic programming First-order logic Logic Predicate logic Well-formed formula
20	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics