Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
121	Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 00:29:12 Mathematics Equations Algorithm Mathematical logic Theoretical computer science Equation solving Abstraction Philosophy of mathematics
122	CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-27 15:26:23 Logic Constraint programming Constraint satisfaction problem Model theory Abstraction Philosophy Constraint satisfaction Satisfiability Algebraic structure
123	Original Paper Human Development 2015;58:218–244 DOI: Eye-Tracking Piaget: Capturing the Emergence of Attentional Anchors in the Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-04 12:57:35 Cognitive science Cognition Psychology Mental processes Neuropsychological assessment Educational psychology Neuropsychology Child development Jean Piaget Attention Genetic epistemology Abstraction
124	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
125	Accidental Urban Abstraction Add to Reading List Source URL: www.geog.bgu.ac.il Language: Hebrew - Date: 2016-02-02 04:03:46
126	Annotating Underquantification Aurelie Herbelot University of Cambridge Cambridge, United Kingdom Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-07-11 04:08:40 Quantification Semantics Logic Linguistics Abstraction Quantifier Logical Form Existential quantification Uniqueness quantification Universal quantification Chess annotation symbols Treebank
127	Categorematic Unreducible Polyadic Quantifiers in Lexical Resource Semantics Frank Richter Goethe Universität Frankfurt a.M. HeadLex 2016, Warsaw Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-24 19:55:04 Quantification Logic Semantics Abstraction Predicate logic Finite model theory Philosophical logic Quantifier Universal quantification FO
128	C:ilesETERMifferpprifferVPBLfinal.wpd Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2007-06-21 18:29:22 Logic Philosophy Abstraction Semantics Supervaluationism Sorites paradox Vagueness Argument Polysyllogism Epistemicism Negation Supposition theory
129	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:31:56 Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology
130	Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-05-24 15:35:25 Mathematics Logic Model theory Abstraction Limit Interpretation IP Bayesian network Static single assignment form Symbol Expected value Linear temporal logic

UPDATE