Closed world assumption - PDFSEARCH.IO - Document Search Engine

Closed world assumption
Results: 13

#	Item
1	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
2	When is Na¨ıve Evaluation Possible? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32n Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:40 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
3	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2013-04-16 03:57:08 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
4	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
5	Open and Closed World Assumptions in Data Exchange Leonid Libkin1 and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:05:50 Computing Database management systems Conjunctive query Closed world assumption Data exchange SQL Null Database Structure Data management Database theory Data
6	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:09 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
7	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Metalogic Well-formed formula Logical connective FO Closed world assumption Logic Mathematical logic Mathematics
8	Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas,* * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:39:09 Philosophical logic Predicate logic Propositional calculus Metalogic First-order logic FO Modal logic Propositional variable Closed world assumption Logic Mathematical logic Model theory
9	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
10	Structure Learning with Hidden Data in Relational Domains - Opening the Closed-World Assumption Add to Reading List Source URL: first-mm.informatik.uni-freiburg.de Language: English - Date: 2013-07-24 09:27:48 Functions and mappings Model theory Ensemble learning Gradient boosting Function Expectation–maximization algorithm Supervised learning First-order logic Regression analysis Statistics Mathematics Machine learning