SZA - PDFSEARCH.IO - Document Search Engine

SZA
Results: 126

#	Item
51	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
52	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
53	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
54	Declarative PTIME Queries to Relational Databases 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:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
55	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
56	Tolerance Spaces and Approximative Representational Structures Patrick Doherty1 , Witold L ukaszewicz1,2 , and Andrzej Szalas1,2 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-09 03:45:27 Metric geometry Engineering tolerance Metrology Quality Rough set Metric space Function Sheaf Mathematics Topology Topological spaces
57	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
58	Kérelmező eredetileg a gyermeke óvodája ellen élt panasszal, mert a sajátos nevelési igényű gyermek nem kapta meg a szakértői véleményben számára előírt heti három óra gyógypedagógus (logopédiai sza Add to Reading List Source URL: www.egyenlobanasmod.hu Language: Hungarian - Date: 2014-09-02 11:49:00
59	Wystąpienie Prezesa Stowarzyszenia Ryb Łososiowatych Jacka Juchniewicza w Sejmie w dn[removed]na Konferencji “Oczekiwania Rybactwa i Wędkarstwa wobec nowej perspektywy finansowej” Szanowny Panie Marszałku Sza Add to Reading List Source URL: www.ptryb.pl Language: Polish - Date: 2014-08-05 06:43:25
60	hallgatók száma képzés szerint Add to Reading List Source URL: www.bme.hu Language: Hungarian - Date: 2013-12-20 05:49:57

UPDATE