Search results for "quantifiers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Reiner Hähnle	Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers
94	José Carlos Loureiro Ralha, Célia Ghedini Ralha	Towards a Natural Way of Reasoning.	SBIA	2004	DBLP DOI BibTeX RDF	argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
81	Andrei Voronkov	Logic Programming with Bounded Quantifiers.	RCLP	1991	DBLP DOI BibTeX RDF
80	Richard Zuber	Symmetric and contrapositional quantifiers.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Contaposition of quantifiers, Symmetry of higher order quantifiers
66	Argimiro Arratia, Carlos E. Ortiz	Counting Proportions of Sets: Expressive Power with Almost Order.	LATIN	2006	DBLP DOI BibTeX RDF	Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL
62	Nicole Schweikardt	Arithmetic, first-order logic, and counting quantifiers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic
62	Stefan Ratschan	Convergent approximate solving of first-order constraints by approximate quantifiers.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	constraints, Decision procedures, real numbers, generalized quantifiers
59	Thomas Eiter, Georg Gottlob, Helmut Veith	Generalized Quantifiers in Logic Programs.	ESSLLI	1997	DBLP DOI BibTeX RDF
57	Richard Zuber	More Algebras for Determiners.	LACL	2005	DBLP DOI BibTeX RDF
56	Juha Kontinen, Jakub Szymanik	A Remark on Collective Quantification.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Collective quantification, Lindström quantifiers, Second-order generalized quantifiers, Type-shifting, Computational complexity, Definability
53	Dongping Gao, Jiahong Guo	Cardinal Fuzzy Quantifiers Based on the Framework of Fuzzy Sets.	FSKD (1)	2008	DBLP DOI BibTeX RDF
53	Stefano Guerrini, Patrizia Marzuoli	Commutative Locative Quantifiers for Multiplicative Linear Logic.	ICALP (2)	2006	DBLP DOI BibTeX RDF	Ludics, linear logic, proof nets
53	Nina Gierasimczuk	The Problem of Learning the Semantics of Quantifiers.	TbiLLC	2005	DBLP DOI BibTeX RDF
53	Ingo Glöckner	Fuzzy Quantifiers, Multiple Variable Binding and Branching Quantification.	IFSA	2003	DBLP DOI BibTeX RDF
53	Anil Seth	Sharper Results on the Expressive Power of Generalized Quantifiers.	FSTTCS	1997	DBLP DOI BibTeX RDF
52	Ian Pratt-Hartmann	Complexity of the Two-Variable Fragment with Counting Quantifiers.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	Abstract two-variable fragment, counting quantifiers, complexity, logic
52	Giovanna D'Agostino	Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points.	TbiLLC	2005	DBLP DOI BibTeX RDF	Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus
52	Marcin Mostowski, Konrad Zdanowski	Degrees of logics with Henkin quantifiers in poor vocabularies.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Henkin quantifiers, Degrees of unsolvability
52	Lauri Hella, Juha Nurmonen	Vectorization hierarchies of some graph quantifiers.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Ehrenfeucht-Fraïssé games, Vectorization, Finite model theory, Generalized quantifiers
49	Iain A. Stewart	A Perspective on Lindström Quantifiers and Oracles.	ESSLLI	1997	DBLP DOI BibTeX RDF
47	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and Alternation: A Proper Hierarchy in Higher Order Logics.	FoIKS	2006	DBLP DOI BibTeX RDF
47	H. Khanh Hoang	Choice Construct and Lindström Logics.	CSL	1998	DBLP DOI BibTeX RDF
47	Antonio Badia, Stijn Vansummeren	Non-linear prefixes in query languages.	PODS	2007	DBLP DOI BibTeX RDF	non-linear prefixes, branching, generalized quantifiers, cumulation
47	Mircea-Dan Hernest	Light Functional Interpretation.	CSL	2005	DBLP DOI BibTeX RDF	Program extraction from (classical) proofs, Complexity of extracted programs, Berger’s uniform quantifiers, Functional interpretation, Proof Mining, Proof-Carrying Code
47	David E. Losada, Félix Díaz-Hermida, Alberto Bugarín, Senén Barro	Experiments on using fuzzy quantified sentences in adhoc retrieval.	SAC	2004	DBLP DOI BibTeX RDF	fuzzy quantifiers, Information Retrieval
47	Matthias Ruhl	Counting and Addition Cannot Express Deterministic Transitive Closure.	LICS	1999	DBLP DOI BibTeX RDF	Counting quantifiers, circuit complexity, finite model theory, descriptive complexity theory
46	Lauri Hella, Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Monadic Monotone Strict NP.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Henkin quantifiers, MMSNP, Partially ordered connectives, Constraint satisfaction problems, SNP, Generalized quantifiers
43	Peter Bürgisser, Felipe Cucker	Exotic Quantifiers, Complexity Classes, and Complete Problems.	Found. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 68Q17
43	Juha Kontinen, Heribert Vollmer	On Second-Order Monadic Groupoidal Quantifiers.	WoLLIC	2008	DBLP DOI BibTeX RDF
43	Alessandro Ferrante, Margherita Napoli, Mimmo Parente	CTLModel-Checking with Graded Quantifiers.	ATVA	2008	DBLP DOI BibTeX RDF
43	Peter Bürgisser, Felipe Cucker	Exotic Quantifiers, Complexity Classes, and Complete Problems.	ICALP	2007	DBLP DOI BibTeX RDF
43	Arnon Avron, Anna Zamansky	Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.	LFCS	2007	DBLP DOI BibTeX RDF
43	Dapeng Yin, Min Shao, Peilin Jiang, Fuji Ren, Shingo Kuroiwa	Treatment of Quantifiers in Chinese-Japanese Machine Translation.	ICIC (2)	2006	DBLP DOI BibTeX RDF
43	Alon Altman, Ya'acov Peterzil, Yoad Winter	Scope Dominance with Upward Monotone Quantifiers.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	monotonicity, dominance, scope, generalized quantifier
43	Rohana K. Rajapakse, Angelo Cangelosi, Kenny R. Coventry, Steve Newstead, Alison Bacon	Connectionist Modeling of Linguistic Quantifiers.	ICANN (2)	2005	DBLP DOI BibTeX RDF
43	Tru H. Cao	Generalized Quantifiers and Conceptual Graphs.	ICCS	2001	DBLP DOI BibTeX RDF
43	Ingo Glöckner, Alois C. Knoll	Application of fuzzy quantifiers in image processing: a case study.	KES	1999	DBLP DOI BibTeX RDF
43	Martin Argenius, Andrei Voronkov	Semantics of Constraint Logic Programs with Bounded Quantifiers.	ELP	1996	DBLP DOI BibTeX RDF
43	Marta Bílková	Uniform Interpolation and Propositional Quantifiers in Modal Logics.	Stud Logica	2007	DBLP DOI BibTeX RDF	propositional quantifiers, interpolation, modal logic, sequent calculus
40	Jouko A. Väänänen	Generalized Quantifiers, an Introduction.	ESSLLI	1997	DBLP DOI BibTeX RDF
38	Jan Rauch	Logical Aspects of the Measures of Interestingness of Association Rules.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
38	Byeong Seok Ahn	Some Quantifier Functions From Weighting Functions With Constant Value of Orness.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
38	Flavio Antonio Ferrarotti, Jose Maria Turull Torres	Arity and alternation: a proper hierarchy in higher order logics.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85
38	Dietrich Kuske, Markus Lohrey	First-Order and Counting Theories of omega-Automatic Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
38	Félix Díaz-Hermida, Purificación Cariñena, Alberto Bugarín	Efficient Evaluation of Similarity Quantified Expressions in the Temporal Domain.	SMPS	2006	DBLP DOI BibTeX RDF
38	David Janin, Jerzy Marcinkowski	A Toolkit for First Order Extensions of Monadic Games.	STACS	2001	DBLP DOI BibTeX RDF
38	Antonio Badia	Extending Description Logics with Generalized Quantifikation.	ISMIS	1999	DBLP DOI BibTeX RDF
38	Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López	From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.	MFCS	1996	DBLP DOI BibTeX RDF
38	François Bry	Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
37	Juha Kontinen	A logical characterization of the counting hierarchy.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination
37	Merlijn Sevenster, Tero Tulenheimo	Partially Ordered Connectives and Sum11 on Finite Models.	CiE	2006	DBLP DOI BibTeX RDF	Henkin quantifiers, partially ordered connectives, NP vs. coNP, finite model theory
37	Stefan Gerberding	DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
34	San-Min Wang, Bin Zhao, Peng Wang	A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Fuzzy quantifier, Sugeno’s integral, MTL, Fuzzy logic
34	Anna Zamansky, Arnon Avron	Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.	IJCAR	2006	DBLP DOI BibTeX RDF
34	Ingo Glöckner	Optimal Selection of Proportional Bounding Quantifiers in Linguistic Data Summarization.	SMPS	2006	DBLP DOI BibTeX RDF
34	K. Rustan M. Leino, Madan Musuvathi, Xinming Ou	A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover.	TACAS	2005	DBLP DOI BibTeX RDF
34	Gilad Ben-Avi, Yoad Winter	Scope Dominance with Monotone Quantifiers over Finite Domains.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	under-specification, natural language, inference, Ambiguity, monotonicity, scope, quantifier
34	Luís Caires, Étienne Lozes	Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.	CONCUR	2004	DBLP DOI BibTeX RDF
34	Klaus-Jörn Lange	Some Results on Majority Quantifiers over Words.	CCC	2004	DBLP DOI BibTeX RDF
34	Yunfu Shen	Elimination of algorithmic quantifiers for ordered differential algebra.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	ordered differential algebra, algorithm, quantifier elimination, model theory
34	Leonid Libkin, Limsoon Wong	Unary Quantifiers, Transitive Closure, and Relations of Large Degree.	STACS	1998	DBLP DOI BibTeX RDF
34	Leonid Libkin, Juha Nurmonen	Counting and Locality over Finite Structures: A Survey.	ESSLLI	1997	DBLP DOI BibTeX RDF
34	Gernot Salzer	Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.	CADE	1996	DBLP DOI BibTeX RDF
34	Stan Jefferson, Samuel N. Kamin	Executable Specifications with Quantifiers in the FASE System.	POPL	1986	DBLP DOI BibTeX RDF
34	Jalal Kawash	Tutoring Tool for Formulating Database Queries with Complex Quantifiers.	ITNG	2009	DBLP DOI BibTeX RDF	Database Education, Quantifiers
34	Matías Menni	About N-quantifiers.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	adjoint functors, quantifiers, variable binding
34	Antony Francis Bowers, Patricia M. Hill, Francisco Ibañez	Resolution for Logic Programming with Universal Quantifiers.	PLILP	1997	DBLP DOI BibTeX RDF	Universal quantifiers, specification, logic programming, programming languages, resolution, implication
30	Tharindu Madusanka, Iqra Zahid, Hao Li, Ian Pratt-Hartmann, Riza Batista-Navarro	Not all quantifiers are equal: Probing Transformer-based language models' understanding of generalised quantifiers.	EMNLP	2023	DBLP DOI BibTeX RDF
30	Sarah Dolscheid, Christina Winter, Martina Penke	Counting on Quantifiers: Specific Links between Linguistic Quantifiers and Number Acquisition.	EAPCogSci	2015	DBLP BibTeX RDF
30	Kerkko Luosto	Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.	ESSLLI	1997	DBLP BibTeX RDF
30	Helmut Thiele	On T-Quantifiers and S-Quantifiers.	ISMVL	1994	DBLP DOI BibTeX RDF
28	Trifon Trifonov	Dialectica Interpretation with Fine Computational Control.	CiE	2009	DBLP DOI BibTeX RDF
28	Alessandro Cimatti, Jori Dubrovin, Tommi A. Junttila, Marco Roveri	Structure-aware computation of predicate abstraction.	FMCAD	2009	DBLP DOI BibTeX RDF
28	Thomas Wies, Ruzica Piskac, Viktor Kuncak	Combining Theories with Shared Set Operations.	FroCoS	2009	DBLP DOI BibTeX RDF
28	Yeting Ge, Clark W. Barrett, Cesare Tinelli	Solving Quantified Verification Conditions Using Satisfiability Modulo Theories.	CADE	2007	DBLP DOI BibTeX RDF
28	Tim French 0002	Idempotent Transductions for Modal Logics.	FroCoS	2007	DBLP DOI BibTeX RDF
28	Aless Lasaruk, Thomas Sturm 0001	Weak Integer Quantifier Elimination Beyond the Linear Case.	CASC	2007	DBLP DOI BibTeX RDF
28	Uwe Bubeck, Hans Kleine Büning	Dependency Quantified Horn Formulas: Models and Complexity.	SAT	2006	DBLP DOI BibTeX RDF
28	Pascal Tesson, Denis Thérien	Restricted Two-Variable Sentences, Circuits and Communication Complexity.	ICALP	2005	DBLP DOI BibTeX RDF
28	Uwe Bubeck, Hans Kleine Büning, Xishun Zhao	Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.	SAT	2005	DBLP DOI BibTeX RDF
28	Arnon Avron, Anna Zamansky	Quantification in Non-Deterministic Multi-Valued Structures.	ISMVL	2005	DBLP DOI BibTeX RDF
28	Tim French 0002	Bisimulation Quantified Logics: Undecidability.	FSTTCS	2005	DBLP DOI BibTeX RDF
28	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Term Algebras with Length Function and Bounded Quantifier Alternation.	TPHOLs	2004	DBLP DOI BibTeX RDF
28	Howard Straubing, Denis Thérien	Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
28	Petr Hájek 0001	Relations and GUHA-Style Data Mining II.	RelMiCS	2003	DBLP DOI BibTeX RDF
28	Marco Pistore, Moshe Y. Vardi	The Planning Spectrum - One, Two, Three, Infinity.	LICS	2003	DBLP DOI BibTeX RDF
28	Tru H. Cao	Conceptual Graphs for Modelling and Computing with Generally Quantified Statements.	Modelling with Words	2003	DBLP DOI BibTeX RDF
28	Matthias Galota, Heribert Vollmer	A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem.	CSL	2001	DBLP DOI BibTeX RDF
28	Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer	The Descriptive Complexity Approach to LOGCFL.	STACS	1999	DBLP DOI BibTeX RDF
28	Jerzy Marcinkowski	Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games.	CSL	1999	DBLP DOI BibTeX RDF
28	David Kempe 0001, Arno Schöegge	On the Power of Quantifers in First-Order Algebraic Specification.	CSL	1998	DBLP DOI BibTeX RDF
28	Li Dafa	A Natural Deduction Automated Theorem Proving System.	CADE	1992	DBLP DOI BibTeX RDF
28	Haim Kilov	Guidelines for writing PL/I programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
28	Johan van Benthem, Sujata Ghosh, Fenrong Liu	Modelling simultaneous games in dynamic logic.	Synth.	2008	DBLP DOI BibTeX RDF	Simultaneous games, Game logic, Evaluation games, IF logic, Branching quantifiers, Parallelism
28	Marian Counihan	'if p then q' ... and all that: Logical Elements in Reasoning and Discourse.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Logic, Interpretation, Reasoning, Literacy, Quantifiers
28	Mircea-Dan Hernest, Paulo Oliva	Hybrid Functional Interpretations.	CiE	2008	DBLP DOI BibTeX RDF	Functional interpretations, modified realizability, Dialectica interpretation, program extraction from proofs, uniform quantifiers, linear logic
28	Chris Cornelis, Martine De Cock, Anna Maria Radzikowska	Vaguely Quantified Rough Sets.	RSFDGrC	2007	DBLP DOI BibTeX RDF	vague quantifiers, VPRS model, rough sets, fuzzy sets
28	Esteban Zimányi	Temporal aggregates and temporal universal quantification in standard SQL.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF	temporal aggregates, temporal universal quantifiers, SQL, temporal databases
28	Lauri Hella, Jose Maria Turull Torres	Complete Problems for Higher Order Logics.	CSL	2006	DBLP DOI BibTeX RDF	Lindström Quantifiers, Complete Problems, Higher Order Logics
28	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics