Witold - PDFSEARCH.IO - Document Search Engine

Witold
Results: 134

#	Item
61	CAKE: A Computer Aided Knowledge Engineering Technique Patrick Doherty1 and Witold Łukaszewicz Andrzej Szałas2 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:19:59 Infographics Modal logic ISO 216 Aggregate FO Finitary relation Non-standard RAID levels Logic Stationery Diagram
62	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
63	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic
64	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
65	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
66	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
67	On Mutual Understanding among Communicating Agents⋆ Patrick Doherty1, Witold Łukaszewicz1,2 , and Andrzej Szałas1,2 1 Department of Computer Science, University of Link¨oping, Sweden, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:30 Model theory Formal languages First-order logic Predicate logic Function Constructible universe Ontology Characteristic function Golden ratio Logic Mathematics Mathematical logic
68	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
69	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
70	Similarity, Approximations and Vagueness Patrick Doherty1 , Witold Łukaszewicz2 , and Andrzej Szałas1,[removed]Department of Computer Science, University of Linköping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-09 03:43:13 Independence Measure theory Linear algebra Logic Sigma-algebra Probability theory Metalogic Model theory

UPDATE