Concepedia

Quantifier Handling

Quantifier Handling is a methodological framework within Satisfiability Modulo Theories that systematically manages quantified formulas in logical reasoning by integrating instantiation techniques and heuristic guidance to enable efficient automated deduction.

295

Publications

18.7K

Citations

455

Authors

245

Institutions

Publications per year

2017–2026

23

Parents

Publications

295

A computational approach to fuzzy quantifiers in natural languages

Lotfi A. Zadeh · Computers & Mathematics with Applications · 1983 · 1.8K citations

, , +14

Simplification by Cooperating Decision Procedures

Greg Nelson, Derek C. Oppen · ACM Transactions on Programming Languages and Systems · 1979 · 901 citations · Full text

, , +16

Quantifier Scope: How labor is Divided Between QR and Choice Functions

Tanya Reinhart · Linguistics and Philosophy · 1997 · 729 citations

, , +11

<b>Logical form: From GB to minimalism.</b> By Norbert Hornstein. Cambridge, MA: Blackwell, 1995. Pp ix, 267.

Daniel L. Everett · Language · 1998 · 671 citations

, , +15

First Order Predicate Logic with Generalized Quantifiers

PERLINDSTRÖM · Theoria · 1966 · 474 citations

, , +9

1–5 of 295

Authors

455

  1. RR
    Ronald R. Yager

    Iona College, United States

    6 publications · 568 citations

    6

    h-index

  2. DV
    Dirk Van Gucht

    Indiana University Bloomington, United States

    4 publications · 132 citations

    4

    h-index

  3. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    4 publications · 495 citations

    4

    h-index

  4. RC
    Richard Crouch

    Palo Alto Research Center, United States

    3 publications · 147 citations

    3

    h-index

  5. JB
    Jean-François Baget

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 450 citations

    3

    h-index

1–5 of 455

Institutions

245

  1. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    17 publications

    751 citations

  2. Stanford University

    Stanford, United States

    9 h-index

    16 publications

    2.8K citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    7 h-index

    9 publications

    787 citations

  4. Iona College

    New Rochelle, United States

    6 h-index

    6 publications

    568 citations

  5. SRI International

    Menlo Park, United States

    6 h-index

    10 publications

    1K citations

  6. University of Warwick

    Coventry, United Kingdom

    4 h-index

    4 publications

    146 citations

  7. Laboratoire Spécification et Vérification

    Cachan, France

    4 h-index

    5 publications

    230 citations

  8. University of Manchester

    Manchester, United Kingdom

    4 h-index

    5 publications

    115 citations

1–8 of 245

Venues

  1. Theoretical Computer Science

    8 publications · 183 citations

    8

    h-index

  2. Studia Logica

    7 publications · 283 citations

    7

    h-index

  3. Fuzzy Sets and Systems

    7 publications · 753 citations

    7

    h-index

  4. Linguistics and Philosophy

    8 publications · 386 citations

    7

    h-index

  5. Journal of Symbolic Computation

    6 publications · 192 citations

    6

    h-index

1–5