Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Nils Kürbis |
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 44(6), pp. 713-727, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Vince Bárány, Balder ten Cate, Luc Segoufin |
Guarded Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 62(3), pp. 22:1-22:26, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Siyao Guo, Ilan Komargodski |
Negation-Limited Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR15, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Andreas Vlachidis, Douglas Tudhope |
Negation detection and word sense disambiguation in digital archaeology reports for the purposes of semantic annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program ![In: Program 49(2), pp. 118-134, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Michael De, Hitoshi Omori |
Classical Negation and Expansions of Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(4), pp. 825-851, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Noa P. Cruz Díaz |
Negation and Speculation Detection in Clinical and Review Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proces. del Leng. Natural ![In: Proces. del Leng. Natural 54, pp. 107-110, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Étienne Lozes |
A Type-Directed Negation Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 132-142, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Dov M. Gabbay, Michael Gabbay 0001 |
The Attack as Intuitionistic Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.00077, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Dov M. Gabbay, Michael Gabbay 0001 |
The Attack as Strong Negation, Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.03266, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Kathryn Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller |
Use of Modality and Negation in Semantically-Informed Syntactic MT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.01682, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick |
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.06246, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Diederik Aerts, Sandro Sozzo, Tomas Veloz |
Quantum Structure of Negation and Conjunction in Human Thought. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.04260, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Egor V. Kostylev |
Queries with negation and inequalities over lightweight ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 35, pp. 184-202, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Vít Puncochár |
Weak Negation in Inquisitive Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 24(3), pp. 323-355, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Saeed Mehrabi 0003, Anand Krishnan, Sunghwan Sohn, Alexandra M. Roch, Heidi Schmidt, Joe Kesterson, Chris Beesley, Paul R. Dexter, C. Max Schmidt, Hongfang Liu, Mathew J. Palakal |
DEEPEN: A negation detection system for clinical text incorporating dependency relation into NegEx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 54, pp. 213-219, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ronald R. Yager |
On the Maximum Entropy Negation of a Probability Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 23(5), pp. 1899-1902, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Dov M. Gabbay, Michael Gabbay 0001 |
The attack as strong negation, part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 23(6), pp. 881-941, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Giovanni Battista Ratti |
Negation in Legislation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic in the Theory and Practice of Lawmaking ![In: Logic in the Theory and Practice of Lawmaking, pp. 137-157, 2015, Springer, 978-3-319-19574-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Son Thanh Cao |
Query-Subquery Nets with Stratified Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSAMA ![In: Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015, pp. 355-366, 2015, Springer, 978-3-319-17995-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Frédéric Gilbert |
A Lightweight Double-negation Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (short papers) ![In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015., pp. 81-93, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Alyaa Alfalahi, Maria Skeppstedt, Rickard Ahlbom, Roza Baskalayci, Aron Henriksson, Lars Asker, Carita Paradis, Andreas Kerren |
Expanding a dictionary of marker words for uncertainty and negation using distributional semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Louhi@EMNLP ![In: Proceedings of the Sixth International Workshop on Health Text Mining and Information Analysis, Louhi@EMNLP 2015, Lisbon, Portugal, September 17, 2015, pp. 90-96, 2015, Association for Computational Linguistics, 978-1-941643-32-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Sebastian Olbrich, Ulrich Frank, Dirk Hovorka, Frantz Rowe |
Trust, but Verify! The Value of Replication and Negation in IS Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 23rd European Conference on Information Systems, ECIS 2015, Münster, Germany, May 26-29, 2015, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Jianmin Ji |
Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings, pp. 147-153, 2015, Springer, 978-3-319-25158-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Sofía N. Galicia-Haro, Alonso Palomino Garibay, Jonathan Gallegos-Acosta, Alexander F. Gelbukh |
Analysis of Negation Cues for Semantic Orientation Classification of Reviews in Spanish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (2) ![In: Advances in Artificial Intelligence and Its Applications - 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015. Proceedings, Part II, pp. 105-120, 2015, Springer, 978-3-319-27100-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Yonatan Bilu, Daniel Hershcovich, Noam Slonim |
Automatic Claim Negation: Why, How and When. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMining@HLT-NAACL ![In: Proceedings of the 2nd Workshop on Argumentation Mining, ArgMining@HLT-NAACL 2015, June 4, 2015, Denver, Colorado, USA, pp. 84-93, 2015, The Association for Computational Linguistics, 978-1-941643-34-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Federico Fancellu, Bonnie L. Webber |
Translating Negation: Induction, Search And Model Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSST@NAACL-HLT ![In: Proceedings of the Ninth Workshop on Syntax, Semantics and Structure in Statistical Translation, SSST@NAACL-HLT 2015, Denver, Colorado, USA, 4 June 2015, pp. 21-29, 2015, Association for Computational Linguistics, 978-1-941643-41-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | G. Tharshini, H. G. C. P. Dinesh, G. M. R. I. Godaliyadda, M. P. B. Ekanayake |
A robust expression negation algorithm for accurate face recognition for limited training data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 10th IEEE International Conference on Industrial and Information Systems, ICIIS 2015, Peradeniya, Sri Lanka, December 18-20, 2015, pp. 384-389, 2015, IEEE, 978-1-5090-1741-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Johan Reitan, Jørgen Faret, Björn Gambäck, Lars Bungum |
Negation Scope Detection for Twitter Sentiment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASSA@EMNLP ![In: Proceedings of the 6th Workshop on Computational Approaches to Subjectivity, Sentiment and Social Media Analysis, WASSA@EMNLP 2015, 17 September 2015, Lisbon, Portugal, pp. 99-108, 2015, The Association for Computer Linguistics, 978-1-941643-32-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Brass |
A Framework for Goal-Directed Query Evaluation with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, pp. 151-157, 2015, Springer, 978-3-319-23263-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Mario Alviano, Andreas Pieris |
Default Negation for Non-Guarded Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015, pp. 79-90, 2015, ACM, 978-1-4503-2757-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ann Nordmeyer, Michael C. Frank |
The pragmatics of negation across contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015, Pasadena, California, USA, July 22-25, 2015, 2015, cognitivesciencesociety.org, 978-0-9911967-2-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Fatemeh Torabi Asr, Vera Demberg |
Uniform Surprisal at the Level of Discourse Relations: Negation Markers and Discourse Connective Omission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the 11th International Conference on Computational Semantics, IWCS 2015, 15-17 April, 2015, Queen Mary University of London, London, UK, pp. 118-128, 2015, The Association for Computer Linguistics, 978-1-941643-33-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Nicolas Prollochs, Stefan Feuerriegel, Dirk Neumann 0001 |
Enhancing Sentiment Analysis of Financial News by Detecting Negation Scopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 48th Hawaii International Conference on System Sciences, HICSS 2015, Kauai, Hawaii, USA, January 5-8, 2015, pp. 959-968, 2015, IEEE Computer Society, 978-1-4799-7367-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Bowei Zou, Guodong Zhou, Qiaoming Zhu |
Unsupervised Negation Focus Identification with Word-Topic Graph Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, EMNLP 2015, Lisbon, Portugal, September 17-21, 2015, pp. 1632-1636, 2015, The Association for Computational Linguistics, 978-1-941643-32-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Stefan Borgwardt, Veronika Thost |
Temporal Query Answering in DL-Lite with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCAI ![In: Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015, pp. 51-65, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Siyao Guo, Ilan Komargodski |
Negation-Limited Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA, pp. 850-866, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-89-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Junta Mizuno, Canasai Kruengkrai, Kiyonori Ohtake, Chikara Hashimoto, Kentaro Torisawa, Julien Kloetzer, Kentaro Inui |
Recognizing Complex Negation on Twitter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 29th Pacific Asia Conference on Language, Information and Computation, PACLIC 29, Shanghai, China, October 30 - November 1, 2015, 2015, ACL. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Jinghan Zeng, Yulin Yuan |
The Implicit Negation and Counter-Expectation of bai in Mandarin Chinese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLSW ![In: Chinese Lexical Semantics - 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers, pp. 47-61, 2015, Springer, 978-3-319-27193-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Na Mao, Jie Tan |
Probabilistic Event Processing with Negation Operators in Cyber Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyberC ![In: 2015 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2015, Xi'an, China, September 17-19, 2015, pp. 120-126, 2015, IEEE Computer Society, 978-1-4673-9200-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Bowei Zou, Qiaoming Zhu, Guodong Zhou |
Negation and Speculation Identification in Chinese Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing of the Asian Federation of Natural Language Processing, ACL 2015, July 26-31, 2015, Beijing, China, Volume 1: Long Papers, pp. 656-665, 2015, The Association for Computer Linguistics, 978-1-941643-72-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Rehab M. Duwairi, Mohammad A. Alshboul |
Negation-Aware Framework for Sentiment Analysis in Arabic Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FiCloud ![In: 3rd International Conference on Future Internet of Things and Cloud, FiCloud 2015, Rome, Italy, August 24-26, 2015, pp. 731-735, 2015, IEEE Computer Society, 978-1-4673-8103-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Renate A. Schmidt, Dmitry Tishkovsky |
Using tableau to decide description logics with full role negation and identity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 15(1), pp. 7:1-7:31, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis |
Why-provenance information for RDF, rules, and negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 70(3), pp. 221-277, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Antonio Reyes, Paolo Rosso |
On the difficulty of automatically detecting irony: beyond a simple case of negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 40(3), pp. 595-614, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michal Kozak |
Strong negation in intuitionistic style sequent systems for residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 60(4-5), pp. 319-334, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Tero Tulenheimo |
Classical Negation and Game-Theoretical Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 55(4), pp. 469-498, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Santiago Figueira, Daniel Gorín, Rafael Grimson |
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 80(6), pp. 1102-1118, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Deepa Sinha, Ayushi Dhama |
Negation switching invariant signed graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Graph Theory Appl. ![In: Electron. J. Graph Theory Appl. 2(1), pp. 32-41, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Tero Tulenheimo |
IF Modal Logic and Classical Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 102(1), pp. 41-66, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Bettina Fazzinga, Sergio Flesca, Andrea Pugliese 0001 |
Top- \(k\) Approximate Answers to XPath Queries with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 26(10), pp. 2561-2573, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sandro Sozzo |
Conjunction and Negation of Natural Concepts: A Quantum-theoretic Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.2358, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Martín Hötzel Escardó, Paulo Oliva |
The Herbrand Functional Interpretation of the Double Negation Shift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4353, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher |
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.1071, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Martin Slota, Martin Baláz, João Leite 0001 |
On Strong and Default Negation in Logic Program Updates (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.6784, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis |
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.3792, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis |
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 14(4-5), pp. 725-737, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | José Luis Castiglioni, Rodolfo Cristian Ertola Biraben |
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 22(2), pp. 268-273, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Wen Xiong, Yaohong Jin, Zhiying Liu |
Chinese Sentiment Analysis Using Appraiser-Degree-Negation Combinations and PSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. ![In: J. Comput. 9(6), pp. 1410-1417, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | E. E. Vityaev 0001, V. V. Martinovich |
Probabilistic Formal Concepts with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, pp. 385-399, 2014, Springer, 978-3-662-46822-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ioana Barbantan, Rodica Potolea |
Exploiting word meaning for negation identification in electronic health records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AQTR ![In: IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2014, Cluj-Napoca, Romania, May 22-24, 2014, pp. 1-7, 2014, IEEE, 978-1-4799-3731-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Costumero, Federico López 0001, Consuelo Gonzalo-Martín, Marta Millán, Ernestina Menasalvas |
An Approach to Detect Negation on Medical Documents in Spanish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain Informatics and Health ![In: Brain Informatics and Health - International Conference, BIH 2014, Warsaw, Poland, August 11-14, 2014, Proceedings, pp. 366-375, 2014, Springer, 978-3-319-09890-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ioana Barbantan, Rodica Potolea |
Towards Cross Language Morphologic Negation Identification in Electronic Health Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MONAMI ![In: Mobile Networks and Management - 6th International Conference, MONAMI 2014, Würzburg, Germany, September 22-24, 2014, Revised Selected Papers, pp. 417-430, 2014, Springer, 978-3-319-16291-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Cecilia Engel Thomas, Peter Bjødstrup Jensen, Thomas Werge, Søren Brunak |
Negation scope and spelling variation for text-mining of Danish electronic patient records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Louhi@EACL ![In: Proceedings of the 5th International Workshop on Health Text Mining and Information Analysis, Louhi@EACL 2014, Gothenburg, Sweden, April 27, 2014, pp. 64-68, 2014, Association for Computational Linguistics, 978-1-937284-90-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Young Cheul Kim, Jongik Kim, Hyung-Ju Cho, Tae-Sun Chung |
Efficient Method for Processing Consecutive Events over Streams with a Negation Link. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITCS ![In: 2014 International Conference on IT Convergence and Security, 10.1109/ICITCS.2014, Beijing, China, October 28-30, 2014, pp. 1-4, 2014, IEEE Computer Society, 978-1-4799-6541-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Christopher Wing, Hui Yang 0001 |
Query Refinement: Negation Detection and Proximity Learning Georgetown at TREC 2014 Clinical Decision Support Track. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of The Twenty-Third Text REtrieval Conference, TREC 2014, Gaithersburg, Maryland, USA, November 19-21, 2014, 2014, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Robert Fink, Dan Olteanu |
A dichotomy for non-repeating queries with negation in probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, pp. 144-155, 2014, ACM, 978-1-4503-2375-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Samuel Spevack, Michael J. Spivey, Stephanie Huette |
How do we get negation without symbols? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Federico Fancellu, Bonnie L. Webber |
Applying the semantics of negation to SMT through n-best list re-ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2014, April 26-30, 2014, Gothenburg, Sweden, pp. 598-606, 2014, The Association for Computer Linguistics, 978-1-937284-78-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michael De, Hitoshi Omori |
More on Empirical Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 10, invited and contributed papers from the tenth conference on `Advances in Modal Logic,` held in Groningen, The Netherlands, August 5-8, 2014, pp. 114-133, 2014, College Publications, 978-1-84890-151-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Thomas Macaulay Ferguson |
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014, pp. 121-127, 2014, IEEE Computer Society, 978-1-4799-3534-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Bevan Koopman, Guido Zuccon |
Understanding negation and family history to improve clinical information retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: The 37th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR '14, Gold Coast , QLD, Australia - July 06 - 11, 2014, pp. 971-974, 2014, ACM, 978-1-4503-2257-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Angelos Charalambidis, Panos Rondogiannis |
Constructive Negation in Extensional Higher-Order Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, AAAI Press, 978-1-57735-657-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Bowei Zou, Guodong Zhou, Qiaoming Zhu |
Negation and Speculation Target Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLPCC ![In: Natural Language Processing and Chinese Computing - Third CCF Conference, NLPCC 2014, Shenzhen, China, December 5-9, 2014. Proceedings, pp. 34-45, 2014, Springer, 978-3-662-45923-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Federico L. G. Faroldi |
Denial of Responsibility and Normative Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings, pp. 81-94, 2014, Springer, 978-3-319-08614-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Guillaume Munch-Maccagnoni |
Formulae-as-types for an involutive negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 70:1-70:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jiliang Tang, Xia Hu 0001, Huan Liu 0001 |
Is distrust the negation of trust?: the value of distrust in social media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HT ![In: 25th ACM Conference on Hypertext and Social Media, HT '14, Santiago, Chile, September 1-4, 2014, pp. 148-157, 2014, ACM, 978-1-4503-2954-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Svetlozara Stoytcheva, Dov Cohen, Catherine Blake |
Exploring cultural differences in language usage: The case of negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Connecting Collections, Cultures, and Communities - Proceedings of the 77th ASIS&T Annual Meeting, ASIST 2014, Seattle, WA, USA, October 31 - November 5, 2014, pp. 1-4, 2014, Wiley. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Nicolas Garcelon, Rémi Salomon, Anita Burgun |
Enrichissement sémantique associé à la détection de la négation et des antécédents familiaux dans un entrepôt de données hospitalier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFIM ![In: Actes des / Proceedings of 15es Journées francophones d'informatique médicale co-organisées avec / co-located with 2e Congrès National d'Informatique Médicale (CNIM 2014), Fes, Morocco, June 12th-13th, 2014., pp. 83-93, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Martin Slota, Martin Baláz, João Leite 0001 |
On Supporting Strong and Default Negation in Answer-Set Program Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings, pp. 41-53, 2014, Springer, 978-3-319-12026-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Suguru Matsuyoshi, Ryo Otsuki, Fumiyo Fukumoto |
Annotating the Focus of Negation in Japanese Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Ninth International Conference on Language Resources and Evaluation, LREC 2014, Reykjavik, Iceland, May 26-31, 2014., pp. 1743-1750, 2014, European Language Resources Association (ELRA). The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Xiaodan Zhu 0001, Hongyu Guo, Saif M. Mohammad, Svetlana Kiritchenko |
An Empirical Study on the Effect of Negation Words on Sentiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 1: Long Papers, pp. 304-313, 2014, The Association for Computer Linguistics, 978-1-937284-72-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Bowei Zou, Guodong Zhou, Qiaoming Zhu |
Negation Focus Identification with Contextual Discourse Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 1: Long Papers, pp. 522-530, 2014, The Association for Computer Linguistics, 978-1-937284-72-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Woodley Packard, Emily M. Bender, Jonathon Read, Stephan Oepen, Rebecca Dridan |
Simple Negation Scope Resolution through Deep Parsing: A Semantic Solution to a Semantic Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 1: Long Papers, pp. 69-78, 2014, The Association for Computer Linguistics, 978-1-937284-72-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jorge Carrillo de Albornoz, Laura Plaza |
An emotion-based model of negation, intensifiers, and modality for polarity and intensity classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 64(8), pp. 1618-1633, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Simon Kramer 0001 |
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMLA@UNILOG ![In: Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013, pp. 47-70, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Stephanie Harves |
The Genitive of Negation in Russian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 7(12), pp. 647-662, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Behrouz Bokharaeian, Alberto Díaz 0001, Miguel Ballesteros |
Extracting Drug-Drug interaction from text using negation features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proces. del Leng. Natural ![In: Proces. del Leng. Natural 51, pp. 49-56, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Michael Bartholomew, Joohyung Lee 0002 |
A Functional View of Strong Negation in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.6130, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Luc Segoufin, Balder ten Cate |
Unary negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(3), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Raymond T. Ng, V. S. Subrahmanian |
Non-monotonic Negation in Probabilistic Deductive Databases ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.5735, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Mélanie Boudard, Olivier Hermant |
Polarizing Double Negation Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.5420, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Pedro Francisco Valencia Vizcaíno |
Relations between ex falso, tertium non datur, and double negation elimination ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.0272, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Karl Moritz Hermann, Edward Grefenstette, Phil Blunsom |
"Not not bad" is not "bad": A distributional account of negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.2158, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Danko Ilik |
Double-negation Shift as a constructive principle ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.5089, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Joost Vennekens |
Negation in the Head of CP-logic Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.6156, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Michiro Kondo |
Simple characterization of strict residuated lattices with an involutive negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 17(1), pp. 39-44, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Sergio A. Celani |
A semantic analysis of some distributive logics with negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 48, pp. 81-100, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Kiyoshi Moritaka, Tomonori Kawano |
Use of Colored Reflectors for Negation or Highlighting of Scanned Color Information on Film-Based CIELAB-Coded Optical Logic Gate Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 17(6), pp. 799-804, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Edwin D. Mares |
Information, Negation, and Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paraconsistency: Logic and Applications ![In: Paraconsistency: Logic and Applications, pp. 43-55, 2013, Springer, 978-94-007-4437-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Ana Pradera |
A Review of the Relationships between Aggregation, Implication and Negation Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGOP ![In: Aggregation Functions in Theory and in Practise - Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, AGOP 2013, Pamplona, Spain, July 16-20, 2013, pp. 31-36, 2013, Springer, 978-3-642-39164-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|