Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

NinaG library [76 articles]

Статьи, недавно добавленные в библиотеку NinaG .
  • Learning by the Process of Elimination
    by Rusins Freivalds, Marek Karpinski, Carl H Smith, Et
    posted to no-tag by NinaG on 2008-05-13 18:28:34 as **
  • Functions computable in the limit by probabilistic machines
    Mathematical Foundations of Computer Science (1975), pp. 77-87.
    by R Freivald
    posted to learning by NinaG on 2008-05-13 17:47:57 as **
  • A Machine-Oriented Logic Based on the Resolution Principle
    J. ACM, Vol. 12, No. 1. (January 1965), pp. 23-41.
    by JA Robinson
    posted to resolution by NinaG on 2008-02-06 16:07:36 as ** along with 1 person kowey
  • Actual truth, possible knowledge
    Topoi, Vol. 13, No. 2. (1994), pp. 101-115.
    by Wlodek Rabinowicz, Krister Segerberg
    posted to epistemology fitchs paradox by NinaG on 2007-11-27 12:40:52 as **
  • A Principled Solution to Fitch's Paradox
    Erkenntnis, Vol. 62, No. 1. (January 2005), pp. 47-69.
    by Igor Douven
    posted to epistemology by NinaG on 2007-11-27 12:37:18 as **
  • What one may come to know
    Analysis, Vol. 64, No. 282. (2004), pp. 95-105.
    by Johan van Benthem
    posted to benthem epistemology van by NinaG on 2007-11-27 12:34:57 as **
  • Learning Words from Sights and Sounds: A Computational Model
    (1999)
    by D Roy
    posted to learning by NinaG on 2007-11-21 15:14:49 as **
  • Wrappers for Feature Subset Selection
    Artificial Intelligence, Vol. 97, No. 1-2. (1997), pp. 273-324.
    by Ron Kohavi, George H John
    posted to learning by NinaG on 2007-11-21 15:13:50 as ** along with 5 people soleil_gurl bigga kutabar gkvas dimatura
  • Text Classification from Labeled and Unlabeled Documents using EM
    Machine Learning, Vol. 39, No. 2/3. (2000), pp. 103-134.
    by Kamal Nigam, Andrew K Mccallum, Sebastian Thrun, Tom M Mitchell
    posted to learning by NinaG on 2007-11-21 15:11:46 as ** along with 8 people ecome kozaki MatMay buescher76 adamchandra jread82 karlmicha ananthrk
  • Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition
    Journal of Artificial Intelligence Research, Vol. 13 (2000), pp. 227-303.
    by Thomas G Dietterich
    posted to learning by NinaG on 2007-11-21 15:11:13 as ** along with 1 person dowlingj
  • Untitled
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Logic Games are Complete for Game Logic
    Studia Logica, Vol. 75 (2003), pp. 183-203.
    by J van Benthem
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Essays in Logical Semantics
    (1986)
    by J van Benthem
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models
    Journal of Philosophical Logic, Vol. 31 (2002), pp. 327-358.
    by J Väänänen
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as ** along with 1 person and 1 group JakubSzymanik GQT
  • Unary Quantifiers in finite Models
    Journal of Logic, Language, and Information, Vol. 6 (1997), pp. 275-304.
    by J Väänänen
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • A theory of the learnable
    (1984), pp. 436-445.
    by LG Valiant
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Identifiability in the Limit of Context-Free Generalized Quantifiers
    Journal of Language and Computation, Vol. 1 (1999), pp. 93-102.
    by Hans J Tiede
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as ** along with 1 person JakubSzymanik
  • Comments on Jaakko Hintikka's Paper ”Quantifiers vs. Quantification Theory”
    Dialectica, Vol. 30 (1976), pp. 67-88.
    by E Stenius
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Ten lectures on probabilistic methods
    (1987)
    by JH Spencer
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Ways of branching quantifiers
    Linguistics and Philosophy, Vol. 13 (1990), pp. 393-442.
    by G Sher
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Branching Imperfect Information. Logic, Language, and Computation
    (2006)
    by M Sevenster
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • On the role of Ramsey Quantifiers in First Order Arithmetic
    Journal of Symbolic Logic, Vol. 47 (1982), pp. 423-435.
    by JH Schmerl, SG Simpson
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Graph Rmsey Theory and the Polynomial Hierarchy
    Journal of Computer and System Sciences, Vol. 62 (2001), pp. 290-322.
    by M Schaefer
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Quantifier Phrases are (at least) Five Ways Ambiguous in Intensional Contexts
    (1980), pp. 1-45.
    by E Saarinen
    edited by F Heny
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • On a Problem of Formal Logic
    Vol. 30 (1929), pp. 338-384.
    by F Ramsey
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • A Mathematical Incompleteness in Peano Arithmetics
    (1977), pp. 1133-1142.
    by J Paris, L Harrington
    edited by J Barwise
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • The Logic of Reliable Inquiry
    (1996)
    by Kevin Kelly
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Systems that Learn
    (1999)
    by Sanjay Jain, Daniel Osherson, James S Royer, Arun Sharma
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Computational Complexity of the Semantics of Some Natural Language Constructions
    Annals of Pure and Applied Logic, Vol. 127 (2004), pp. 219-227.
    by M Mostowski, D Wojtyniak
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Computational Semantics for Monadic Quantifiers
    Journal of applied Non--Classical Logics, Vol. 8 (1998), pp. 107-121.
    by M Mostowski
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Quantifiers Definable by Second Order Means
    (1995), pp. 181-214.
    by M Mostowski
    edited by M Krynicki, M Mostowski, L Szczerba
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Kwantyfikatory rozga\l\kezione a problem formy logicznej
    (1994), pp. 201-242.
    by M Mostowski
    edited by M Omy\la
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Arithmetic with the Henkin quantifier and its generalizations
    Vol. II (1991), pp. 1-25.
    by M Mostowski
    edited by F Gaillard, D Richard
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Compact extensions of L(Q)
    Annals of Mathematical Logic, Vol. 11 (1977), pp. 217-261.
    by M Magidor, JI Malitz
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Quantifiers comprehension in corticobasal degeneration
    Brain and Cognition, Vol. 65 (2006), pp. 250-260.
    by CT Mcmillan, R Clark, P Moore, M Grossman
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Neural basis for generalized quantifiers comprehension
    Neuropsychologia, Vol. 43 (2005), pp. 1729-1737.
    by CT Mcmillan, R Clark, P Moore, C Devita, M Grossman
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Computable quantifiers and logics over finite structures
    (1995), pp. 313-357.
    by J Makowsky, Y Pnueli
    edited by M Krynicki, M Mostowski, L Szczerba
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Ramsey quantifiers in arithmetic
    Vol. 834 (1980), pp. 186-210.
    by A Macintyre
    edited by L Pacholski, J Wierzejewski, AJ Wilkie
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Ramsey theory is needed for solving definability problems of generalized quantifiers
    Vol. 1754 (1999), pp. 121-134.
    by K Luosto
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Ambigous quantifiers
    (1999), pp. 548-565.
    by M Krynicki, M Mostowski
    edited by E Or\lowska
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Henkin Quantifiers
    (1995), pp. 193-263.
    by M Krynicki, M Mostowski
    edited by M Krynicki, M Mostowski, L Szczerba
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Quantifiers, some Problems and Ideas
    (1995), pp. 1-21.
    by M Krynicki, M Mostowski
    edited by M Krynicki, M Mostowski, L Szczerba
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Reducibility Among Combinatorial Problems
    (1972), pp. 85-103.
    by RM Karp
    edited by RE Miller, JW Thatcher
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as ** along with 1 person eporreca
  • On the semantics of branching quantifier sentences
    (2003), pp. 147-151.
    by T Janssen
    edited by Paul Dekker, Robert Rooy
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Independent Friendly Logic as a strategic game
    (2005), pp. 125-130.
    by T Janssen
    edited by Paul Dekker, Michael Franke
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Independent choices and the interpretation of IF--logic
    Journal of Logic, Language, and Information, Vol. 11 (2002), pp. 367-387.
    by T Janssen
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Introduction to Automata Theory, Languages and Computation
    (2000)
    by JE Hopcroft, R Motwani, JD Ullman
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Quantifiers vs. Quantification Theory
    Dialectica, Vol. 27 (1973), pp. 329-358.
    by J Hintikka
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Partially Ordered Quantifiers vs. Partially Ordered Ideas
    Dialectica, Vol. 30 (1976), pp. 89-99.
    by J Hintikka
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
  • Some remarks on infinitely long formulas
    (1961), pp. 167-183.
    by L Henkin
    posted to bibtex-import by NinaG on 2007-11-15 16:43:57 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/NinaG

    Result page: 1 2 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.