Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
951	An Andersonian Deontic Logic with Contextualized Sanctions M. Beirlaen and C. Straßer Centre for Logic and Philosophy of Science Ghent University, Belgium {Mathieu.Beirlaen, [removed]} Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-07 12:41:38 Mathematics Science Mathematical logic Modal logic Logic Deontic logic
952	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:22 Models of computation Admissible rule Modal logic Symbol Lambda calculus Unification Structure Mathematical logic Mathematics Logic
953	Diagramming the Common \| Patricia Reed Diagramming the Common Patricia Reed Lecture, not for citation. April 23, 2014 Add to Reading List Source URL: www.aestheticmanagement.com Language: English - Date: 2014-09-27 09:13:19 Knowledge Modal logic Non-classical logic Philosophical logic Reason Anticipation Interdisciplinary fields Science Logic
954	Effective Multi-Modal Retrieval based on Stacked Auto-Encoders Wei Wang† , Beng Chin Ooi† , Xiaoyan Yang‡ , Dongxiang Zhang† , Yueting Zhuang§ †School of Computing, National University of Singapore, Singapore Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-03-05 22:38:46 Dimension reduction Natural language processing Multivariate statistics Information retrieval
955	Variable force modality in Washo Ryan Bochnak ∼ UC Berkeley This paper contributes to a recent and growing body of literature concerning the analysis of apparently variable force modals across languages (Deal 2011 for Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:11:41 Grammar Grammatical moods Philosophical logic Non-classical logic Linguistic modality Modal verb Epistemic modality Possible world Evidentiality Logic Linguistics Modal logic
956	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
957	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
958	Chapter 1 Abduction of Multiple Explanatory Hypotheses 1 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:43:53 Reasoning Epistemology Charles Sanders Peirce Logical consequence Abductive reasoning Defeasible reasoning Entailment Modal logic Scientific method Logic Science Philosophical logic
959	Distrust and Mistrust for Privatively and Modally qualified Information Channels Giuseppe Primiero (joint work with Laszlo Kosolosky) FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent U Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-27 07:02:53 Accountability Reputation management Behavior Distrust Mistrust Trust Primiero Modal logic Ghent Ethics Sociology Social psychology
960	QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC Konstantine Arkoudas, Selmer Bringsjord Departments of Cognitive and Computer Science, RPI, Troy, NY, USA [removed], [removed] Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:10 Philosophical logic Model theory Deduction Symbol Entailment Structure Interpretation If and only if Modal logic Logic Metalogic Binary operations

UPDATE