Search results for "connectives"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Angelo Ciaramella, Witold Pedrycz, Roberto Tagliaferri	OR/AND Neurons for Fuzzy Set Connectives Using Ordinal Sums and Genetic Algorithms.	WILF	2005	DBLP DOI BibTeX RDF	Fuzzy Logic Connectives, t-norms (t-conorms), Ordinal Sums, Experiments with Logic Connectives, Genetic Algorithms
85	Yuming Shen, Yuefei Sui, Ju Wang 0005	The Dual Spatial Connectives of Separation Logic.	KSEM	2009	DBLP DOI BibTeX RDF	spatial connectives, dual modalities, modal logic, Separation logic
74	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
63	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
63	Subhendu Aich, Shamik Sural, Arun K. Majumdar	Spatiotemporal Connectives for Security Policy in the Presence of Location Hierarchy.	TrustBus	2008	DBLP DOI BibTeX RDF	Spatiotemporal event, Policy connectives, Location hierarchy, RBAC
63	Xavier Caicedo	Implicit connectives of algebraizable logics.	Stud Logica	2004	DBLP DOI BibTeX RDF	implicit and explicit definitions, connectives, quasivarieties, Algebraizable logics
55	Vincenzo Cutello, Elisenda Molina, Javier Montero	Associativeness versus Recursiveness.	ISMVL	1996	DBLP DOI BibTeX RDF	Fuzzy Connectives, Associativity
55	Cristiano Calcagno, Philippa Gardner, Uri Zarfaty	Context logic as modal logic: completeness and parametric inexpressivity.	POPL	2007	DBLP DOI BibTeX RDF	contexts, logic, expressivity, structured data
52	Kaustuv Chaudhuri	Focusing Strategies in the Sequent Calculus of Synthetic Connectives.	LPAR	2008	DBLP DOI BibTeX RDF
52	Dai Hasegawa, Rafal Rzepka, Kenji Araki	Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
52	Charles J. Swift	Compiling connectives.	Commun. ACM	1960	DBLP DOI BibTeX RDF
44	Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen	Axiomatizing Extended Temporal Logic Fragments Via Instantiation.	ICTAC	2007	DBLP DOI BibTeX RDF
44	Enrique Herrera-Viedma, Antonio Gabriel López-Herrera, Sergio Alonso, Carlos Porcel, Francisco Javier Cabrerizo	A Linguistic Multi-level Weighted Query Language to Represent User Information Needs.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
44	Aravind K. Joshi	Towards Discourse Meaning.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
44	Michell Bruss, Michael J. Albers, Danielle McNamera	Changes in scientific articles over two hundred years: a coh-metrix analysis.	SIGDOC	2004	DBLP DOI BibTeX RDF	historical research, journal articles, computational linguistics
41	Alexis Maciel, Toniann Pitassi	Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives.	LICS	2006	DBLP DOI BibTeX RDF
41	Xavier Caicedo	Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
41	Claudi Alsina	As You Like Them: Connectives in Fuzzy Logic.	ISMVL	1996	DBLP DOI BibTeX RDF
37	Yan Cong, Emmanuele Chersoni, Yu-Yin Hsu, Philippe Blache	Investigating the Effect of Discourse Connectives on Transformer Surprisal: Language Models Understand Connectives, Even So They Are Surprised.	BlackboxNLP@EMNLP	2023	DBLP DOI BibTeX RDF
37	Humberto Bustince Sola, Edurne Barrenechea Tartas, Miguel Pagola	Generation of interval-valued fuzzy and atanassov's intuitionistic fuzzy connectives from fuzzy connectives and from Kalpha operators: Laws for conjunctions and disjunctions, amplitude.	Int. J. Intell. Syst.	2008	DBLP DOI BibTeX RDF
33	Angelo Ciaramella, Witold Pedrycz, Alfredo Petrosino	Uninorm Based Fuzzy Network for Tree Data Structures.	WILF	2009	DBLP DOI BibTeX RDF	Fuzzy Logic Connectives, t-norms (t-conorms), Trees, Graphical Models, Structured Data, Uninorms
33	Sato Kentaro	Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.	Stud Logica	2008	DBLP DOI BibTeX RDF	general semantics of substructural logics, meta deduction relation, deductive filter, Stone’s sheaf representation, site, stalker, meaning of connectives, primeness
33	Anna Maria Radzikowska, Etienne E. Kerre	Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	Information relations, Information operators, Fuzzy logical connectives, Fuzzy sets, Residuated lattices
33	Anna Maria Radzikowska	Rough Approximation Operations Based on IF Sets.	ICAISC	2006	DBLP DOI BibTeX RDF	IF sets, Fuzzy logical connectives, Rough sets, Fuzzy sets, Residuated lattices
33	Katherine Forbes, Eleni Miltsakaki, Rashmi Prasad, Anoop Sarkar, Aravind K. Joshi, Bonnie L. Webber	D-LTAG System: Discourse Parsing with a Lexicalized Tree-Adjoining Grammar.	J. Log. Lang. Inf.	2003	DBLP DOI BibTeX RDF	discourse connectives, discourse parsing, discourse semantics, tree-adjoining grammar, anaphora
33	Noboru Takagi, Y. Nakamura, Kyoichi Nakashima	Set-Valued Functions and Regularity.	ISMVL	1997	DBLP DOI BibTeX RDF	set-valued functions, propositional connectives, n-variable ternary functions, /spl tau/-valued functions, regularity, multivalued logic, ternary logic
33	Hiroaki Kikuchi, Noboru Takagi, Shohachiro Nakanishi, Masao Mukaidono	Uniqueness of Partially Specified Multiple-Valued Kleenean Function.	ISMVL	1995	DBLP DOI BibTeX RDF	partially specified multiple-valued Kleenean function, logic formula, logical connectives, identification problem, fuzzy logic, multivalued logic, uniqueness, necessary and sufficient condition
33	Eleni Miltsakaki, Livio Robaldo, Alan Lee, Aravind K. Joshi	Sense Annotation in the Penn Discourse Treebank.	CICLing	2008	DBLP DOI BibTeX RDF
33	Paul Blain Levy	Jumbo lambda-Calculus.	ICALP (2)	2006	DBLP DOI BibTeX RDF
33	Valeria de Paiva, Andrea Schalk	Building Models of Linear Logic.	AMAST	1998	DBLP DOI BibTeX RDF
33	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	PLILP	1994	DBLP DOI BibTeX RDF
33	Stephen D. Brookes	Semantically Based Axiomatics.	MFPS	1987	DBLP DOI BibTeX RDF
30	Daniel Lehmann 0001	Connectives in Cumulative Logics.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
30	Slawomir Zadrozny, Janusz Kacprzyk	Bipolar Queries Using Various Interpretations of Logical Connectives.	IFSA (1)	2007	DBLP DOI BibTeX RDF
30	Gaurav Parekh, James M. Keller	Learning the Fuzzy Connectives of a Multilayer Network Using Particle Swarm Optimization.	FOCI	2007	DBLP DOI BibTeX RDF
30	Masao Yokota	Towards Intuitive Spatiotemporal Communication Between Human and Ubiquitous Intelligence Based on Mental Image Directed Semantic Theory - A General Theory of Tempo-logical Connectives.	UIC	2007	DBLP DOI BibTeX RDF
30	Gregory R. Wheeler	Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
30	Vítezslav Svejdar	Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics.	Soft Comput.	2006	DBLP DOI BibTeX RDF
30	Ladislav J. Kohout, Eunjin Kim	Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
30	Funda Karaçal	On the Direct Decomposability of Fuzzy Connectives, Negations and Implications Based on T-Norms and T-Conorms on Product Lattices.	Fuzzy Days	2004	DBLP DOI BibTeX RDF
30	Jérôme Mengin	Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach.	JELIA	2004	DBLP DOI BibTeX RDF
22	Ladislav J. Kohout	Checklist Paradigm Semantics for Fuzzy Logics.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Checklist paradigm, GUHA, Exploratory statistical analysis, Semantics of MVL connectives, Observational quantifiers, Logic of approximation, Fuzzy sets, Many-valued logics, Approximate reasoning, Interval computing, Generalized quantifier
22	Enrique Herrera-Viedma, Antonio Gabriel López-Herrera, Sergio Alonso, Juan Manuel Moreno, Francisco Javier Cabrerizo, Carlos Porcel	A computer-supported learning system to help teachers to teach Fuzzy Information Retrieval Systems.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Weighted queries, Fuzzy connectives, Fuzzy Information Retrieval, Education, Teaching
22	Raffaella Bernardi, Anna Szabolcsi	Optionality, Scope, and Licensing: An Application of Partially Ordered Categories.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Boolean connectives, Typed feature structures, Natural language syntax, Polarity items, Partial order, Licensing, Residuation, Galois-connection, Scope, Optionality
22	Vítezslav Svejdar	On the polynomial-space completeness of intuitionistic propositional logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Logical connectives, Intuitionistic logic, Decision problem, Non-classical logics, Kripke models, Polynomial-space
22	Dmitry Zaitsev 0002	A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4.	Stud Logica	2009	DBLP DOI BibTeX RDF	Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
22	Moongee Jeon, Roger Azevedo	Automatic Analyses of Cohesion and Coherence in Human Tutorial Dialogues During Hypermedia: A Comparison among Mental Model Jumpers.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Human Tutorial Dialogue, Human Tutoring, Learning, Hypermedia, Coherence, Cohesion
22	László T. Kóczy, Rita Lovassy	Fuzzy Flip-Flops Revisited.	IFSA (2)	2007	DBLP DOI BibTeX RDF	J-K flip-flop, logical normal forms, IVFS, Fuzzy logic
22	Cati Olmo, Germán Sánchez, Francesc Prats, Núria Agell, Mónica Sánchez	Using Orders of Magnitude and Nominal Variables to Construct Fuzzy Partitions.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
22	Alberto Lluch-Lafuente	Towards Model Checking Spatial Properties with SPIN.	SPIN	2007	DBLP DOI BibTeX RDF
22	Magdi A. Mohamed, Weimin Xiao	Q-Aggregates: The smallest universal nonlinear connective operators.	SMC	2007	DBLP DOI BibTeX RDF
22	Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison	Satisfiability of a Spatial Logic with Tree Variables.	CSL	2007	DBLP DOI BibTeX RDF
22	Beloslav Riecan	Probability Theory on IF Events.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
22	Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski	A New Proposal for Fuzzy Rough Approximations and Gradual Decision Rule Representation.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	modus ponens, rough sets, fuzzy sets, ambiguity, credibility, decision rules, gradual rules
22	Olivier Lhomme	Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints.	CPAIOR	2004	DBLP DOI BibTeX RDF
22	Bohdan S. Butkiewicz	Comparison of Reasoning Methods for Fuzzy Control.	ICAISC	2004	DBLP DOI BibTeX RDF
22	Philippe Balbiani, Tinko Tinchev	Line-Based Affine Reasoning in Euclidean Plane.	JELIA	2004	DBLP DOI BibTeX RDF
22	Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski	Rough Sets and Gradual Decision Rules.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Rough sets, Fuzzy sets, Credibility, Decision rules, Gradual rules
22	Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski	Fuzzy Rough Sets and Multiple-Premise Gradual Decision Rules.	WILF	2003	DBLP DOI BibTeX RDF
22	David Toman 0001	On Incompleteness of Multi-dimensional First-order Temporal Logics.	TIME	2003	DBLP DOI BibTeX RDF
22	Didier Galmiche, Daniel Méry	Connection-Based Proof Search in Propositional BI Logic.	CADE	2002	DBLP DOI BibTeX RDF
22	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	The ForSpec Temporal Logic: A New Temporal Property-Specification Language.	TACAS	2002	DBLP DOI BibTeX RDF
22	Véronique Ventos, Pierre Brézellec, Henry Soldano	Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules.	LPNMR	2001	DBLP DOI BibTeX RDF
22	Lefteris M. Kirousis, Phokion G. Kolaitis	The Complexity of Minimal Satisfiability Problems.	STACS	2001	DBLP DOI BibTeX RDF
22	P. Krisko, Peter Marcincák, Peter Mihók, J. Sabol, Peter Vojtás	Low Retrieval Remote Querying Dialogue with Fuzzy Conceptual, Syntactical and Linguistical Unification.	FQAS	1998	DBLP DOI BibTeX RDF
22	Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan	Towards a Verification Technique for Large Synchronous Circuits.	CAV	1992	DBLP DOI BibTeX RDF
22	Reinhard Muskens	Logical Omniscience and Classical Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic
22	Daniel Lehmann 0001	Plausibility Logic.	CSL	1991	DBLP DOI BibTeX RDF
22	Moshe Y. Vardi	A Temporal Fixpoint Calculus.	POPL	1988	DBLP DOI BibTeX RDF
22	David Maier 0001, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren	Toward Logical Data Independence: A Relational Query Language Without Relations.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
19	Vyacheslav Kalnitsky, Valery Vilkov	Spline Optimization of Soft Connectives in Machine Learning Models.	CLEI Electron. J.	2024	DBLP DOI BibTeX RDF
19	Nien-Heng Wu, Shu-Chuan Tseng	Form and Function of Connectives in Chinese Conversational Speech.	Dialogue Discourse	2023	DBLP DOI BibTeX RDF
19	Marc Munar, Sebastià Massanet, Daniel Ruiz-Aguilera	On the cardinality of some families of discrete connectives.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
19	Kezban Basibüyük, Deniz Zeyrek	Usage disambiguation of Turkish discourse connectives.	Lang. Resour. Evaluation	2023	DBLP DOI BibTeX RDF
19	Eleftherios Makariadis, Stefanos Makariadis, Avrilia Konguetsof, Basil K. Papadopoulos	Generation of Polynomial Automorphisms Appropriate for the Generalization of Fuzzy Connectives.	Symmetry	2023	DBLP DOI BibTeX RDF
19	Giorgio Sbardolini	The Logic of Lexical Connectives.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
19	Marta Cialdea Mayer, Luis Fariñas del Cerro	Logical connectives for two-state semantics.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
19	Marc Munar, Sebastià Massanet, Daniel Ruiz-Aguilera	A review on logical connectives defined on finite chains.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
19	Miguel Ángel Méndez Lucero, Vaishak Belle	Boolean Connectives and Deep Learning: Three Interpretations.	Compendium of Neurosymbolic Artificial Intelligence	2023	DBLP DOI BibTeX RDF
19	Regina Stodden, Laura Kallmeyer, Lea Kawaletz, Heidrun Dorgeloh	Using Masked Language Model Probabilities of Connectives for Stance Detection in English Discourse.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
19	Masoud Jasbi, Natalia Bermudez, Yuhan Zhang, Reka Siro, Kathryn Davidson	Crosslinguistic Consistency in the Interpretation of Logical Connectives: The case of English, Hungarian, Spanish, and Mandarin Chinese.	CogSci	2023	DBLP BibTeX RDF
19	Frances Yung, Merel C. J. Scholman, Ekaterina Lapshinova-Koltunski, Christina Pollkläsener, Vera Demberg	Investigating Explicitation of Discourse Connectives in Translation using Automatic Annotations.	SIGDIAL	2023	DBLP DOI BibTeX RDF
19	Peter Bourgonje, Sophia Rauh, Karolina Zaczynska	Toward a Multilingual Connective Database: Aligning German/French Concessive Connectives.	KONVENS	2023	DBLP BibTeX RDF
19	Nelson Filipe Costa, Yushun Cheng, Thomas Chapados Muermans, Blaise Hanel, Leila Kosseim	Automatic Identification of Chinese Paired Discourse Connectives.	ICSC	2023	DBLP DOI BibTeX RDF
19	Kavit Nanavati, Megha Gupta, Balasubramaniam Jayaram	A Study of Monometrics from Fuzzy Logic Connectives.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
19	Stefanos Makariadis, Basil K. Papadopoulos	Generalization of Fuzzy Connectives.	Axioms	2022	DBLP DOI BibTeX RDF
19	Paolo Pistone, Luca Tranchini, Mattia Petrolo	The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.	Stud Logica	2022	DBLP DOI BibTeX RDF
19	Sara Ayhan	Uniqueness of logical connectives in a bilateralist setting.	CoRR	2022	DBLP DOI BibTeX RDF
19	Prajjwal Bhargava, Vincent Ng 0001	DiscoSense: Commonsense Reasoning with Discourse Connectives.	CoRR	2022	DBLP DOI BibTeX RDF
19	Jonathan van Toor	Pattern connectives.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
19	Naosuke Matsuda, Kento Takagi	What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?	WoLLIC	2022	DBLP DOI BibTeX RDF
19	Symon Jory Stevens-Guille, Aleksandre Maskharashvili, Xintong Li, Michael White 0001	Generating Discourse Connectives with Pre-trained Language Models: Conditioning on Discourse Relations Helps Reconstruct the PDTB.	SIGDIAL	2022	DBLP DOI BibTeX RDF
19	Kavit Nanavati, Balasubramaniam Jayaram	On the Order-Compatibility of Fuzzy Logic Connectives on the Generated Clifford Poset.	IPMU (1)	2022	DBLP DOI BibTeX RDF
19	Prajjwal Bhargava, Vincent Ng 0001	DiscoSense: Commonsense Reasoning with Discourse Connectives.	EMNLP	2022	DBLP DOI BibTeX RDF
19	Luca Sára Pusztaházi, Gábor Csiszár, Michael S. Gashler, Orsolya Csiszár	Parametric activation functions modelling fuzzy connectives for better explainability of neural models.	SISY	2022	DBLP DOI BibTeX RDF
19	Emmanuel Chemla, Paul Égré	From many-valued consequence to many-valued connectives.	Synth.	2021	DBLP DOI BibTeX RDF
19	Lucie Poláková, Jirí Mírovský, Sárka Zikánová, Eva Hajicová	Discourse Relations and Connectives in Higher Text Structure.	Dialogue Discourse	2021	DBLP DOI BibTeX RDF
19	Jirí Mírovský, Pavlína Synková, Lucie Poláková	Extending Coverage of a Lexicon of Discourse Connectives Using Annotation Projection.	Prague Bull. Math. Linguistics	2021	DBLP BibTeX RDF
19	Lalchand Pandia, Yan Cong, Allyson Ettinger	Pragmatic competence of pre-trained language models through the lens of discourse connectives.	CoRR	2021	DBLP BibTeX RDF
19	Congcong Jiang, Tieyun Qian, Zhuang Chen 0002, Kejian Tang, Shaohui Zhan, Tao Zhan	Generating Pseudo Connectives with MLMs for Implicit Discourse Relation Recognition.	PRICAI (2)	2021	DBLP DOI BibTeX RDF