Circumscription - PDFSEARCH.IO - Document Search Engine

Circumscription
Results: 33

#	Item
21	Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:07:08 Non-classical logic Science Knowledge representation Model theory Artificial intelligence Frame problem Situation calculus Circumscription Modal logic Logic Mathematical logic Logic programming
22	Linkoping Electronic Articles in Computer and Information Science Vol[removed]): nr 1 Delayed Eects of Actions = Direct Eects + Causal Rules Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:14:28 Data management Transaction processing 8T Schedule Logic Action Circumscription Causality G factor Physics Logic programming Science
23	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
24	Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:59 Predicate logic Model theory Formal languages Circumscription Logic programming Well-formed formula Monadic predicate calculus Atomic formula Function Logic Mathematical logic Mathematics
25	Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer 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:50 Predicate logic Model theory Quantification Formal languages Circumscription Skolem normal form Atomic formula Function Universal quantification Logic Mathematical logic Mathematics
26	Microsoft Word - LERN49Rubric.doc Add to Reading List Source URL: www.mtsac.edu Language: English - Date: 2010-07-06 17:16:08 FO Finite model theory Decision theory Logic programming Computational statistics Dominance-based rough set approach Circumscription Applied mathematics Theoretical computer science Mathematics
27	DBAI Publication List 2001 Institut f¨ ur Informationssysteme Database and Artificial Intelligence Group Technische Universit¨at Wien Favoritenstraße 9-11, A-1040 Vienna, Austria Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2002-02-21 03:37:52 Science Artificial intelligence Georg Gottlob Stable model semantics Circumscription Non-monotonic logic Lecture Notes in Computer Science Cyc Logic programming Non-classical logic Logic
28	DLclog : A Hybrid System Integrating Rules and Description Logics with Circumscription Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Science Artificial intelligence Modal logic Knowledge representation Stable model semantics Description logic Non-monotonic logic Circumscription Logic programming Logic Mathematical logic
29	Taxonomic circumscription of Adenomera martinezi (Bokermann, [removed]Anura: Leptodactylidae: Leptodactylinae) with the recognition of a new cryptic taxon through a bioacoustic approach Add to Reading List Source URL: www.mapress.com Language: English - Date: 2013-08-18 16:47:22 Cryptic species complex Species Science Biology Knowledge Adenomera Leptodactylinae Saci
30	Expanded circumscription of Didiereaceae and its division into three subfamilies Wendy L. APPLEQUIST Add to Reading List Source URL: www.mnhn.fr Language: English - Date: 2006-02-27 05:04:14 Didiereaceae Caryophyllales Succulent plant Ceraria Plant taxonomy Portulacaceae Portulacaria