|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 243 occurrences of 190 keywords
|
|
|
Results
Found 578 publication records. Showing 578 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers, pp. 188-194, 2005, Springer, 3-540-32529-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, pp. 90-99, 2009, Springer, 978-3-642-10487-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 516-525, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 323-344, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustBus ![In: Trust, Privacy and Security in Digital Business, 5th International Conference, TrustBus 2008, Turin, Italy, September 4-5, 2008, Proceedings, pp. 118-127, 2008, Springer, 978-3-540-85734-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Spatiotemporal event, Policy connectives, Location hierarchy, RBAC |
63 | Xavier Caicedo |
Implicit connectives of algebraizable logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 155-170, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
implicit and explicit definitions, connectives, quasivarieties, Algebraizable logics |
55 | Vincenzo Cutello, Elisenda Molina, Javier Montero |
Associativeness versus Recursiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 154-159, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Fuzzy Connectives, Associativity |
55 | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
Context logic as modal logic: completeness and parametric inexpressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 123-134, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
contexts, logic, expressivity, structured data |
52 | Kaustuv Chaudhuri |
Focusing Strategies in the Sequent Calculus of Synthetic Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 467-481, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Dai Hasegawa, Rafal Rzepka, Kenji Araki |
Evaluation of Connectives Acquisition in a Humanoid Robot Using Direct Physical Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 664-668, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Charles J. Swift |
Compiling connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 3(6), pp. 345-346, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
44 | Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 322-336, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Aravind K. Joshi |
Towards Discourse Meaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, pp. 8-9, 2007, Springer, 978-3-540-89777-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, SIGDOC 2004, Memphis, Tennessee, USA, October 10-13, 2004, pp. 104-109, 2004, ACM, 1-58113-809-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 189-200, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Xavier Caicedo |
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 50-68, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Claudi Alsina |
As You Like Them: Connectives in Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 2-9, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BlackboxNLP@EMNLP ![In: Proceedings of the 6th BlackboxNLP Workshop: Analyzing and Interpreting Neural Networks for NLP, BlackboxNLP@EMNLP 2023, Singapore, December 7, 2023, pp. 222-232, 2023, Association for Computational Linguistics, 979-8-89176-052-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 23(6), pp. 680-714, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Angelo Ciaramella, Witold Pedrycz, Alfredo Petrosino |
Uninorm Based Fuzzy Network for Tree Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 8th International Workshop, WILF 2009, Palermo, Italy, June 9-12, 2009, Proceedings, pp. 77-84, 2009, Springer, 978-3-642-02281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 295-324, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Applications of Relational Structures as Knowledge Instruments ![In: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers, pp. 162-184, 2006, Springer, 3-540-69223-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2006, 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings, pp. 528-537, 2006, Springer, 3-540-35748-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 12(3), pp. 261-279, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 89-96, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 242-247, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, pp. 275-286, 2008, Springer, 978-3-540-78134-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Paul Blain Levy |
Jumbo lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 444-455, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Valeria de Paiva, Andrea Schalk |
Building Models of Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 164-177, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 3-4, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Stephen D. Brookes |
Semantically Based Axiomatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 312-330, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Lehmann 0001 |
Connectives in Cumulative Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 424-440, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Slawomir Zadrozny, Janusz Kacprzyk |
Bipolar Queries Using Various Interpretations of Logical Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 181-190, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Gaurav Parekh, James M. Keller |
Learning the Fuzzy Connectives of a Multilayer Network Using Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCI ![In: Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 591-596, 2007, IEEE, 1-4244-0703-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings, pp. 1066-1078, 2007, Springer, 978-3-540-73548-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Gregory R. Wheeler |
Two Puzzles Concerning Measures of Uncertainty and the Positive Boolean Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA Workshops ![In: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, pp. 170-180, 2007, Springer, 978-3-540-77000-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Vítezslav Svejdar |
Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(7), pp. 629-630, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Ladislav J. Kohout, Eunjin Kim |
Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 10(4), pp. 299-334, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 357-367, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jérôme Mengin |
Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 452-461, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Ladislav J. Kohout |
Checklist Paradigm Semantics for Fuzzy Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 359-369, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 12(2), pp. 179-200, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(3), pp. 237-283, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(7), pp. 711-716, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 265-280, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 690-692, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 643-652, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Alberto Lluch-Lafuente |
Towards Model Checking Spatial Properties with SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 223-242, 2007, Springer, 978-3-540-73369-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Magdi A. Mohamed, Weimin Xiao |
Q-Aggregates: The smallest universal nonlinear connective operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2119-2124, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
Satisfiability of a Spatial Logic with Tree Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 130-145, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Beloslav Riecan |
Probability Theory on IF Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 290-308, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski |
A New Proposal for Fuzzy Rough Approximations and Gradual Decision Rule Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets II, pp. 319-342, 2004, Springer, 3-540-23990-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 209-224, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Bohdan S. Butkiewicz |
Comparison of Reasoning Methods for Fuzzy Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings, pp. 278-283, 2004, Springer, 3-540-22123-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Philippe Balbiani, Tinko Tinchev |
Line-Based Affine Reasoning in Euclidean Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 474-486, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Salvatore Greco, Masahiro Inuiguchi, Roman Slowinski |
Rough Sets and Gradual Decision Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 156-164, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Fuzzy Logic and Applications, 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers, pp. 148-163, 2003, Springer, 3-540-31019-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | David Toman 0001 |
On Incompleteness of Multi-dimensional First-order Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 99-106, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Didier Galmiche, Daniel Méry |
Connection-Based Proof Search in Propositional BI Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 111-128, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 296-211, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 173-185, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Lefteris M. Kirousis, Phokion G. Kolaitis |
The Complexity of Minimal Satisfiability Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2001, 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001, Proceedings, pp. 407-418, 2001, Springer, 3-540-41695-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings, pp. 215-226, 1998, Springer, 3-540-65082-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan |
Towards a Verification Technique for Large Synchronous Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 109-122, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Reinhard Muskens |
Logical Omniscience and Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 52-64, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic |
22 | Daniel Lehmann 0001 |
Plausibility Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 227-241, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Moshe Y. Vardi |
A Temporal Fixpoint Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 250-259, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, Orlando, Florida, USA, June 2-4, 1982., pp. 51-60, 1982, ACM Press, 978-0-89791-073-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
19 | Vyacheslav Kalnitsky, Valery Vilkov |
Spline Optimization of Soft Connectives in Machine Learning Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 27(1), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Nien-Heng Wu, Shu-Chuan Tseng |
Form and Function of Connectives in Chinese Conversational Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dialogue Discourse ![In: Dialogue Discourse 14(1), pp. 88-124, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Marc Munar, Sebastià Massanet, Daniel Ruiz-Aguilera |
On the cardinality of some families of discrete connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 621, pp. 708-728, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kezban Basibüyük, Deniz Zeyrek |
Usage disambiguation of Turkish discourse connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 57(1), pp. 223-256, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(11), pp. 1992, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Giorgio Sbardolini |
The Logic of Lexical Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(5), pp. 1327-1353, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Marta Cialdea Mayer, Luis Fariñas del Cerro |
Logical connectives for two-state semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 33(3-4), pp. 520-536, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Marc Munar, Sebastià Massanet, Daniel Ruiz-Aguilera |
A review on logical connectives defined on finite chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 462, pp. 108469, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Miguel Ángel Méndez Lucero, Vaishak Belle |
Boolean Connectives and Deep Learning: Three Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compendium of Neurosymbolic Artificial Intelligence ![In: Compendium of Neurosymbolic Artificial Intelligence, pp. 100-113, 2023, IOS Press, 978-1-64368-406-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMining@EMNLP ![In: Proceedings of the 10th Workshop on Argument Mining, ArgMining 2023, Singapore, December 7, 2023, pp. 11-18, 2023, Association for Computational Linguistics, 979-8-89176-050-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society, CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023, 2023, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL ![In: Proceedings of the 24th Meeting of the Special Interest Group on Discourse and Dialogue, SIGDIAL 2023, Prague, Czechia, September 11 - 15, 2023, pp. 21-30, 2023, Association for Computational Linguistics, 979-8-89176-028-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Peter Bourgonje, Sophia Rauh, Karolina Zaczynska |
Toward a Multilingual Connective Database: Aligning German/French Concessive Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KONVENS ![In: Proceedings of the 19th Conference on Natural Language Processing (KONVENS 2023), September 19-21, 2023, Ingolstadt, Germany, pp. 77-84, 2023, Association for Computational Lingustics. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
19 | Nelson Filipe Costa, Yushun Cheng, Thomas Chapados Muermans, Blaise Hanel, Leila Kosseim |
Automatic Identification of Chinese Paired Discourse Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: 17th IEEE International Conference on Semantic Computing, ICSC 2023, Laguna Hills, CA, USA, February 1-3, 2023, pp. 114-117, 2023, IEEE, 978-1-6654-8263-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Kavit Nanavati, Megha Gupta, Balasubramaniam Jayaram |
A Study of Monometrics from Fuzzy Logic Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 657-666, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Stefanos Makariadis, Basil K. Papadopoulos |
Generalization of Fuzzy Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(3), pp. 130, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 110(2), pp. 545-592, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Sara Ayhan |
Uniqueness of logical connectives in a bilateralist setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.00989, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Prajjwal Bhargava, Vincent Ng 0001 |
DiscoSense: Commonsense Reasoning with Discourse Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.12478, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jonathan van Toor |
Pattern connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(7), pp. 1365-1374, 2022. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings, pp. 175-189, 2022, Springer, 978-3-031-15297-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDIAL ![In: Proceedings of the 23rd Annual Meeting of the Special Interest Group on Discourse and Dialogue, SIGDIAL 2022, Edinburgh, UK, 07-09 September 2022., pp. 500-515, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Kavit Nanavati, Balasubramaniam Jayaram |
On the Order-Compatibility of Fuzzy Logic Connectives on the Generated Clifford Poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part I, pp. 714-725, 2022, Springer, 978-3-031-08970-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Prajjwal Bhargava, Vincent Ng 0001 |
DiscoSense: Commonsense Reasoning with Discourse Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, EMNLP 2022, Abu Dhabi, United Arab Emirates, December 7-11, 2022., pp. 10295-10310, 2022, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISY ![In: 20th Jubilee International Symposium on Intelligent Systems and Informatics, SISY 2022, Subotica, Serbia, September 15-17, 2022, pp. 77-82, 2022, IEEE, 978-1-6654-8988-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Emmanuel Chemla, Paul Égré |
From many-valued consequence to many-valued connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(22-S), pp. 5315-5352, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dialogue Discourse ![In: Dialogue Discourse 12(2), pp. 1-37, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prague Bull. Math. Linguistics ![In: Prague Bull. Math. Linguistics 117, pp. 5-26, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Lalchand Pandia, Yan Cong, Allyson Ettinger |
Pragmatic competence of pre-trained language models through the lens of discourse connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.12951, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI (2) ![In: PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part II, pp. 113-126, 2021, Springer, 978-3-030-89362-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 578 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|