Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
931	Deontic Reasoning on the Basis of Consistency Considerations Christian Straßer∗ Aleks Knoks† Joke Meheus∗ ∗ Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-02-10 02:46:24 Deduction Deontic logic Entailment Sheaf Interpretation Logic Modal logic Philosophical logic
932	A Unifying Framework for Reasoning about Normative Conflicts Mathieu Beirlaen∗ Abstract First, two context-dependent desiderata are presented for Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 04:38:36 Modal logic Philosophy of law Non-classical logic Philosophical logic Philosophy of language Deontic logic Paraconsistent logic Norm Rights Logic Mathematical logic Philosophy
933	Top-k Most Incremental Location Selection with Capacity Constraint Yu Sun1 , Jin Huang2 , Yueguo Chen3 , Xiaoyong Du1,3 , and Rui Zhang2 1 School of Information, Renmin University of China, Beijing, China Add to Reading List Source URL: www.ruizhang.info Language: English - Date: 2012-11-11 20:44:43 Science Information retrieval Discrete geometry Data mining Nearest neighbor search R* tree K-d tree Modal logic Spatial database Information science Mathematics R-tree
934	Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe Primiero Online p Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-03-03 10:07:20 Modal logic Semantics Model theory Branches of philosophy Epistemic modal logic Common knowledge Kripke semantics Modal operator Trust Logic Mathematical logic Philosophical logic
935	Aftermath & Antimath (antiscience fiction) Add to Reading List Source URL: www.gallup.unm.edu Language: English - Date: 2012-04-19 18:33:09 Philosophical logic Non-classical logic Mathematical logic Axiology Modal logic Function Mathematical proof Type theory Mathematics Logic Knowledge
936	Part of Speech Tagging from a Logical Point of View Torbjorn Lager1 and Joakim Nivre2 1 Uppsala University, Department of Linguistics, [removed] Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 2003-08-18 05:17:07 Knowledge Part-of-speech tagging Brill tagger Hidden Markov model Constraint Grammar Inference Viterbi algorithm Ontology Modal logic Science Markov models Logic
937	[removed], [removed] Epistemic Containment Revisited Harris Constantinou (UCL; University of Leeds), Hans Van de Koot (UCL) Synopsis. We suggest a revision of Von Fintel & Iatridou’s[removed]Ep Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:05 Philosophical logic Modal logic Computing QP Software Logic Non-classical logic
938	Which Style of Reasoning to Choose in the Face of Conflicting Information?∗ Joke Meheus Christian Straßer Peter Verd´ee Centre for Logic and Philosophy of Science University of Ghent, Belgium {Joke.Meheus,Christian.S Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-06-04 07:55:54 Knowledge representation Logic programming Default logic Defeasible reasoning Modal logic Entailment Nixon diamond Paraconsistent logic Logic Non-classical logic Philosophical logic
939	Proceedings of the 2003 Conference on New Interfaces for Musical Expression (NIME-03), Montreal, Canada Real-time Adaptive Control of Modal Synthesis Reynald Hoskinson Kees van den Doel Add to Reading List Source URL: www.music.mcgill.ca Language: English - Date: 2003-05-20 15:14:27 Science Electronic musical instruments Neural networks Computational linguistics User interface techniques Synthesizer MIDI Speech synthesis Computer music Music Computational neuroscience Sound
940	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction

UPDATE