Metalogic - PDFSEARCH.IO - Document Search Engine

Metalogic
Results: 681

#	Item
271	Game-Theoretic Question Selection for Tests Yuqian Li and Vincent Conitzer Department of Computer Science Duke University {yuqian, conitzer}@cs.duke.edu Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2013-08-09 16:28:51 Statistical theory Deduction Entailment Logical consequence Metalogic Logic Statistics Estimation theory
272	From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-07-15 03:25:29 Temporal logic Metalogic FO Model theory Interpretation IP Theoretical computer science Logic Linear temporal logic
273	PDF Document Add to Reading List Source URL: www.metalogic.be - Date: 2014-12-03 08:59:24
274	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic
275	False-name-proof Matching Taiki Todo Vincent Conitzer Department of Computer Science Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2013-02-10 15:39:51 Logical consequence Metalogic Philosophical logic Mechanism design Logic Deduction Entailment
276	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
277	Minimally Supervised Method for Multilingual Paraphrase Extraction from Definition Sentences on the Web Yulan Yan∗ Chikara Hashimoto‡ Kentaro Torisawa§ Takao Kawai¶ Jun’ichi Kazamak Stijn De Saeger∗∗ ∗ ‡ Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-05-18 12:41:37 Mathematical logic Logical syntax Metalogic Computational linguistics Philosophical logic Sentence Part-of-speech tagging Natural language processing Recursion Logic Linguistics Science
278	Outline of a Theory of Strongly Semantic Information L. Floridi Sub-Faculty of Philosophy and Computing Laboratory University of Oxford Wolfson College Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:14 Structure Measure Temporal single-system interpretation Logic Metaphilosophy Sigma-algebra Mathematics Metalogic Model theory
279	CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Model theory Formal systems Proof theory Interpretation Philosophy of mind Theory First-order logic Axiom Structure Logic Mathematical logic Metalogic
280	Math.comput.sci[removed]), 355–378 c 2008 Birkh¨ auser Verlag Basel/Switzerland[removed]-24, published online December 5, 2008 DOI[removed]s11786[removed] Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Mathematics Interpretation Structure Symbol Linear temporal logic Golden ratio base Model theory Metalogic Logic

UPDATE