Search results for "Negation"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Nils Kürbis	Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.	J. Philos. Log.	2015	DBLP DOI BibTeX RDF
13	Vince Bárány, Balder ten Cate, Luc Segoufin	Guarded Negation.	J. ACM	2015	DBLP DOI BibTeX RDF
13	Siyao Guo, Ilan Komargodski	Negation-Limited Formulas.	Electron. Colloquium Comput. Complex.	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.	Program	2015	DBLP DOI BibTeX RDF
13	Michael De, Hitoshi Omori	Classical Negation and Expansions of Belnap-Dunn Logic.	Stud Logica	2015	DBLP DOI BibTeX RDF
13	Noa P. Cruz Díaz	Negation and Speculation Detection in Clinical and Review Texts.	Proces. del Leng. Natural	2015	DBLP BibTeX RDF
13	Étienne Lozes	A Type-Directed Negation Elimination.	FICS	2015	DBLP DOI BibTeX RDF
13	Dov M. Gabbay, Michael Gabbay 0001	The Attack as Intuitionistic Negation.	CoRR	2015	DBLP BibTeX RDF
13	Dov M. Gabbay, Michael Gabbay 0001	The Attack as Strong Negation, Part I.	CoRR	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.	CoRR	2015	DBLP BibTeX RDF
13	Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick	Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.	CoRR	2015	DBLP BibTeX RDF
13	Diederik Aerts, Sandro Sozzo, Tomas Veloz	Quantum Structure of Negation and Conjunction in Human Thought.	CoRR	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.	J. Web Semant.	2015	DBLP DOI BibTeX RDF
13	Vít Puncochár	Weak Negation in Inquisitive Semantics.	J. Log. Lang. Inf.	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.	J. Biomed. Informatics	2015	DBLP DOI BibTeX RDF
13	Ronald R. Yager	On the Maximum Entropy Negation of a Probability Distribution.	IEEE Trans. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
13	Dov M. Gabbay, Michael Gabbay 0001	The attack as strong negation, part I.	Log. J. IGPL	2015	DBLP DOI BibTeX RDF
13	Giovanni Battista Ratti	Negation in Legislation.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
13	Son Thanh Cao	Query-Subquery Nets with Stratified Negation.	ICCSAMA	2015	DBLP DOI BibTeX RDF
13	Frédéric Gilbert	A Lightweight Double-negation Translation.	LPAR (short papers)	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.	Louhi@EMNLP	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.	ECIS	2015	DBLP BibTeX RDF
13	Jianmin Ji	Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head.	KSEM	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.	MICAI (2)	2015	DBLP DOI BibTeX RDF
13	Yonatan Bilu, Daniel Hershcovich, Noam Slonim	Automatic Claim Negation: Why, How and When.	ArgMining@HLT-NAACL	2015	DBLP DOI BibTeX RDF
13	Federico Fancellu, Bonnie L. Webber	Translating Negation: Induction, Search And Model Errors.	SSST@NAACL-HLT	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.	ICIIS	2015	DBLP DOI BibTeX RDF
13	Johan Reitan, Jørgen Faret, Björn Gambäck, Lars Bungum	Negation Scope Detection for Twitter Sentiment Analysis.	WASSA@EMNLP	2015	DBLP DOI BibTeX RDF
13	Stefan Brass	A Framework for Goal-Directed Query Evaluation with Negation.	LPNMR	2015	DBLP DOI BibTeX RDF
13	Mario Alviano, Andreas Pieris	Default Negation for Non-Guarded Existential Rules.	PODS	2015	DBLP DOI BibTeX RDF
13	Ann Nordmeyer, Michael C. Frank	The pragmatics of negation across contexts.	CogSci	2015	DBLP BibTeX RDF
13	Fatemeh Torabi Asr, Vera Demberg	Uniform Surprisal at the Level of Discourse Relations: Negation Markers and Discourse Connective Omission.	ICWS	2015	DBLP BibTeX RDF
13	Nicolas Prollochs, Stefan Feuerriegel, Dirk Neumann 0001	Enhancing Sentiment Analysis of Financial News by Detecting Negation Scopes.	HICSS	2015	DBLP DOI BibTeX RDF
13	Bowei Zou, Guodong Zhou, Qiaoming Zhu	Unsupervised Negation Focus Identification with Word-Topic Graph Model.	EMNLP	2015	DBLP DOI BibTeX RDF
13	Stefan Borgwardt, Veronika Thost	Temporal Query Answering in DL-Lite with Negation.	GCAI	2015	DBLP DOI BibTeX RDF
13	Siyao Guo, Ilan Komargodski	Negation-Limited Formulas.	APPROX-RANDOM	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.	PACLIC	2015	DBLP BibTeX RDF
13	Jinghan Zeng, Yulin Yuan	The Implicit Negation and Counter-Expectation of bai in Mandarin Chinese.	CLSW	2015	DBLP DOI BibTeX RDF
13	Na Mao, Jie Tan	Probabilistic Event Processing with Negation Operators in Cyber Physical Systems.	CyberC	2015	DBLP DOI BibTeX RDF
13	Bowei Zou, Qiaoming Zhu, Guodong Zhou	Negation and Speculation Identification in Chinese Language.	ACL (1)	2015	DBLP DOI BibTeX RDF
13	Rehab M. Duwairi, Mohammad A. Alshboul	Negation-Aware Framework for Sentiment Analysis in Arabic Reviews.	FiCloud	2015	DBLP DOI BibTeX RDF
13	Renate A. Schmidt, Dmitry Tishkovsky	Using tableau to decide description logics with full role negation and identity.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
13	Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou, Ioannis Pachoulakis	Why-provenance information for RDF, rules, and negation.	Ann. Math. Artif. Intell.	2014	DBLP DOI BibTeX RDF
13	Antonio Reyes, Paolo Rosso	On the difficulty of automatically detecting irony: beyond a simple case of negation.	Knowl. Inf. Syst.	2014	DBLP DOI BibTeX RDF
13	Michal Kozak	Strong negation in intuitionistic style sequent systems for residuated lattices.	Math. Log. Q.	2014	DBLP DOI BibTeX RDF
13	Tero Tulenheimo	Classical Negation and Game-Theoretical Semantics.	Notre Dame J. Formal Log.	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.	J. Comput. Syst. Sci.	2014	DBLP DOI BibTeX RDF
13	Deepa Sinha, Ayushi Dhama	Negation switching invariant signed graphs.	Electron. J. Graph Theory Appl.	2014	DBLP DOI BibTeX RDF
13	Tero Tulenheimo	IF Modal Logic and Classical Negation.	Stud Logica	2014	DBLP DOI BibTeX RDF
13	Bettina Fazzinga, Sergio Flesca, Andrea Pugliese 0001	Top- \(k\) Approximate Answers to XPath Queries with Negation.	IEEE Trans. Knowl. Data Eng.	2014	DBLP DOI BibTeX RDF
13	Sandro Sozzo	Conjunction and Negation of Natural Concepts: A Quantum-theoretic Modeling.	CoRR	2014	DBLP BibTeX RDF
13	Martín Hötzel Escardó, Paulo Oliva	The Herbrand Functional Interpretation of the Double Negation Shift.	CoRR	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.	CoRR	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).	CoRR	2014	DBLP BibTeX RDF
13	Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.	CoRR	2014	DBLP BibTeX RDF
13	Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis	Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation.	Theory Pract. Log. Program.	2014	DBLP DOI BibTeX RDF
13	José Luis Castiglioni, Rodolfo Cristian Ertola Biraben	Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
13	Wen Xiong, Yaohong Jin, Zhiying Liu	Chinese Sentiment Analysis Using Appraiser-Degree-Negation Combinations and PSO.	J. Comput.	2014	DBLP BibTeX RDF
13	E. E. Vityaev 0001, V. V. Martinovich	Probabilistic Formal Concepts with Negation.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
13	Ioana Barbantan, Rodica Potolea	Exploiting word meaning for negation identification in electronic health records.	AQTR	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.	Brain Informatics and Health	2014	DBLP DOI BibTeX RDF
13	Ioana Barbantan, Rodica Potolea	Towards Cross Language Morphologic Negation Identification in Electronic Health Records.	MONAMI	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.	Louhi@EACL	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.	ICITCS	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.	TREC	2014	DBLP BibTeX RDF
13	Robert Fink, Dan Olteanu	A dichotomy for non-repeating queries with negation in probabilistic databases.	PODS	2014	DBLP DOI BibTeX RDF
13	Samuel Spevack, Michael J. Spivey, Stephanie Huette	How do we get negation without symbols?	CogSci	2014	DBLP BibTeX RDF
13	Federico Fancellu, Bonnie L. Webber	Applying the semantics of negation to SMT through n-best list re-ranking.	EACL	2014	DBLP DOI BibTeX RDF
13	Michael De, Hitoshi Omori	More on Empirical Negation.	Advances in Modal Logic	2014	DBLP BibTeX RDF
13	Thomas Macaulay Ferguson	Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics.	ISMVL	2014	DBLP DOI BibTeX RDF
13	Bevan Koopman, Guido Zuccon	Understanding negation and family history to improve clinical information retrieval.	SIGIR	2014	DBLP DOI BibTeX RDF
13	Angelos Charalambidis, Panos Rondogiannis	Constructive Negation in Extensional Higher-Order Logic Programming.	KR	2014	DBLP BibTeX RDF
13	Bowei Zou, Guodong Zhou, Qiaoming Zhu	Negation and Speculation Target Identification.	NLPCC	2014	DBLP DOI BibTeX RDF
13	Federico L. G. Faroldi	Denial of Responsibility and Normative Negation.	DEON	2014	DBLP DOI BibTeX RDF
13	Guillaume Munch-Maccagnoni	Formulae-as-types for an involutive negation.	CSL-LICS	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.	HT	2014	DBLP DOI BibTeX RDF
13	Svetlozara Stoytcheva, Dov Cohen, Catherine Blake	Exploring cultural differences in language usage: The case of negation.	ASIST	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.	JFIM	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.	IBERAMIA	2014	DBLP DOI BibTeX RDF
13	Suguru Matsuyoshi, Ryo Otsuki, Fumiyo Fukumoto	Annotating the Focus of Negation in Japanese Text.	LREC	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.	ACL (1)	2014	DBLP DOI BibTeX RDF
13	Bowei Zou, Guodong Zhou, Qiaoming Zhu	Negation Focus Identification with Contextual Discourse Information.	ACL (1)	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.	ACL (1)	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.	J. Assoc. Inf. Sci. Technol.	2013	DBLP DOI BibTeX RDF
13	Simon Kramer 0001	Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders).	IMLA@UNILOG	2013	DBLP DOI BibTeX RDF
13	Stephanie Harves	The Genitive of Negation in Russian.	Lang. Linguistics Compass	2013	DBLP DOI BibTeX RDF
13	Behrouz Bokharaeian, Alberto Díaz 0001, Miguel Ballesteros	Extracting Drug-Drug interaction from text using negation features.	Proces. del Leng. Natural	2013	DBLP BibTeX RDF
13	Michael Bartholomew, Joohyung Lee 0002	A Functional View of Strong Negation in Answer Set Programming.	CoRR	2013	DBLP BibTeX RDF
13	Luc Segoufin, Balder ten Cate	Unary negation.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
13	Raymond T. Ng, V. S. Subrahmanian	Non-monotonic Negation in Probabilistic Deductive Databases	CoRR	2013	DBLP BibTeX RDF
13	Mélanie Boudard, Olivier Hermant	Polarizing Double Negation Translations.	CoRR	2013	DBLP BibTeX RDF
13	Pedro Francisco Valencia Vizcaíno	Relations between ex falso, tertium non datur, and double negation elimination	CoRR	2013	DBLP BibTeX RDF
13	Karl Moritz Hermann, Edward Grefenstette, Phil Blunsom	"Not not bad" is not "bad": A distributional account of negation.	CoRR	2013	DBLP BibTeX RDF
13	Danko Ilik	Double-negation Shift as a constructive principle	CoRR	2013	DBLP BibTeX RDF
13	Joost Vennekens	Negation in the Head of CP-logic Rules.	CoRR	2013	DBLP BibTeX RDF
13	Michiro Kondo	Simple characterization of strict residuated lattices with an involutive negation.	Soft Comput.	2013	DBLP DOI BibTeX RDF
13	Sergio A. Celani	A semantic analysis of some distributive logics with negation.	Reports Math. Log.	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.	J. Adv. Comput. Intell. Intell. Informatics	2013	DBLP DOI BibTeX RDF
13	Edwin D. Mares	Information, Negation, and Paraconsistency.	Paraconsistency: Logic and Applications	2013	DBLP DOI BibTeX RDF
13	Ana Pradera	A Review of the Relationships between Aggregation, Implication and Negation Functions.	AGOP	2013	DBLP DOI BibTeX RDF