Modal - PDFSEARCH.IO - Document Search Engine

Modal
Results: 2914

#	Item
891	Teacher Expectancy Random-Effects Meta-Analysis and Meta-Regression using Bayes Modal Estimation to Avoid Boundary Estimates Yeojin Chung Kookmin University, Seoul, Korea Add to Reading List Source URL: www.gllamm.org Language: English - Date: 2013-12-31 21:19:28 Maximum likelihood Likelihood function Meta-analysis Empirical Bayes method M-estimator Observed information Point estimation Statistics Estimation theory Restricted maximum likelihood
892	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
893	Symposium Reports AAAI 1992 Fall Symposium Series Reports ■ The American Association for Artificial Add to Reading List Source URL: www.norvig.com Language: English - Date: 2006-05-09 20:14:10 Knowledge Programming paradigms Non-classical logic Reasoning Logic programming Robot Applications of artificial intelligence Modal logic Cyc Artificial intelligence Science Logic
894	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
895	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
896	Modal Proofs as Distributed Programs? (Extended Abstract) Limin Jia and David Walker Princeton University 35 Olden St., Princeton, NJ 08544, USA {ljia,dpw}@cs.princeton.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Proof theory Non-classical logic Logic in computer science Semantics Deduction Natural deduction Modal logic Negation Sequent calculus Logic Mathematical logic Mathematics
897	Social Laws for Multi-Agent Systems: Logic and Games.5cm Lecture 1: Specifying and verifying state-transition models Add to Reading List Source URL: www.nii.ac.jp Language: English* - Date: 2012-02-02 20:36:54 Mathematics Philosophical logic Kripke semantics Model theory Sheaf theory Model checking Temporal logic Agent-based model Economic model Logic Mathematical logic Modal logic
898	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
899	On the Semantics of Linking and Importing in Modular Ontologies Jie Bao1 , Doina Caragea2 , Vasant G Honavar1 1 Artificial Intelligence Research Laboratory, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-20 15:55:35 Information Knowledge representation Knowledge engineering Non-classical logic Ontology Description logic Modal logic Frame language Mereology Science Logic Information science
900	ACM SIGEVO GECCO-2010 Awards ACM SIGEVO GECCO Impact Award Natalio Krasnogor and Jim Smith A Memetic Algorithm with Self-Adaptive Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 13:33:42 Operations research Applied mathematics Artificial intelligence Science Evolutionary computation Evolutionary multi-modal optimization Evolutionary algorithms Mathematical optimization Cybernetics

UPDATE