Search results for "Negation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	A. W. Bollen	Counterfactuals, Cotenability and Consistency.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	counterfactuals, logic programming, conditionals, consistency maintenance
32	Arnon Avron	A Non-deterministic View on Non-classical Negations.	Stud Logica	2005	DBLP DOI BibTeX RDF	Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics
32	David Pearce 0001, Agustín Valverde	A First Order Nonmonotonic Extension of Constructive Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	here-and-there logic, equilibrium logic, interpolation, answer set programming, Constructive negation
32	Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie	XDO2: A Deductive Object-Oriented Query Language for XML.	DASFAA	2005	DBLP DOI BibTeX RDF	XML query language, not-predicate negation, fixpoint semantics, deductive rule
32	Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki	Annotated Semantics for Defeasible Deontic Reasoning.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF	defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, annotated logic
32	Fangzhen Lin, Kewen Wang 0001	From Causal Theories to Logic Programs (Sometimes).	LPNMR	1999	DBLP DOI BibTeX RDF	disjunctive logic programs with classical negation, causal theories of actions, situation calculus
32	Robert F. Stärk	Total Correctness of Logic Programs: A Formal Approach.	ELP	1996	DBLP DOI BibTeX RDF	Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure
30	Ilkka Niemelä	Answer Set Programming without Unstratified Negation.	ICLP	2008	DBLP DOI BibTeX RDF
30	Michel Leclère, Marie-Laure Mugnier	An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.	ICCS	2008	DBLP DOI BibTeX RDF
30	Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez	Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.	FLOPS	2008	DBLP DOI BibTeX RDF
30	Jung-Jae Kim 0001, Jong-Chan Park	Extracting contrastive information from negation patterns in biomedical literature.	ACM Trans. Asian Lang. Inf. Process.	2006	DBLP DOI BibTeX RDF	contrastive information, Information extraction, biomedical literature
30	Michel Leclère, Marie-Laure Mugnier	Simple Conceptual Graphs with Atomic Negation and Difference.	ICCS	2006	DBLP DOI BibTeX RDF
30	Takayuki Sato, Kazuyuki Amano, Akira Maruoka	On the Negation-Limited Circuit Complexity of Sorting and Inverting k-tonic Sequences.	COCOON	2006	DBLP DOI BibTeX RDF
30	Carsten Lutz, Dirk Walther 0002	PDL with Negation of Atomic Programs.	IJCAR	2004	DBLP DOI BibTeX RDF
30	Neil V. Murray, Erik Rosenthal	Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.	TABLEAUX	2003	DBLP DOI BibTeX RDF
30	Kazuyuki Amano, Akira Maruoka, Jun Tarui	On the Negation-Limited Circuit Complexity of Merging.	COCOON	1999	DBLP DOI BibTeX RDF
30	Alessandra Di Pierro, Wlodzimierz Drabent	On Negation As Instantiation.	ALP	1996	DBLP DOI BibTeX RDF
30	Sergio Greco, Domenico Saccà, Carlo Zaniolo	DATALOG Queries with Stratified Negation and Choice: from P to DP.	ICDT	1995	DBLP DOI BibTeX RDF
30	Viet Phan Luong	A Mixed Approach to Negation in General Datalog Programs.	DOOD	1995	DBLP DOI BibTeX RDF
30	Marco Schaerf	Negation and Minimality in Non-Horn Databases.	PODS	1993	DBLP DOI BibTeX RDF
30	Chitta Baral	Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
30	Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa	Embedding Negation as Failure into a Model Generation Theorem Prover.	CADE	1992	DBLP DOI BibTeX RDF
30	Robert F. Stärk	Negation-Complete Logic Programs.	CSL	1992	DBLP DOI BibTeX RDF
30	Jean-Louis Lassez, Michael J. Maher, Kim Marriott	Elimination of Negation in Term Algebras.	MFCS	1991	DBLP DOI BibTeX RDF
30	Zhisheng Huang, Karen L. Kwast	Awareness, Negation and Logical Omniscience.	JELIA	1990	DBLP DOI BibTeX RDF
30	Robert A. Kowalski	The Treatment of Negation in Logic Programs for Representing Legislation.	ICAIL	1989	DBLP DOI BibTeX RDF
30	Anthony J. Bonner	Hypothetical Datalog: Negation and Linear Recursion.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
30	Phan Minh Dung, Kanchana Kanchanasut	A Natural Semantics for Logic Programs with Negation.	FSTTCS	1989	DBLP DOI BibTeX RDF
30	Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini	Intensional Negation of Logic Programs: Examples and Implementation Techniques.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
30	Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan 0001, Oded Shmueli, Shalom Tsur	Sets and Negation in a Logic Database Language (LDL1).	PODS	1987	DBLP DOI BibTeX RDF
29	Victor Felea	A New Algorithm for the Containment Problem of Conjunctive Queries with Safe Negation.	DBKDA	2010	DBLP DOI BibTeX RDF	negation, query containment, safeness
29	Uwe Egly, Martina Seidl, Stefan Woltran	A solver for QBFs in negation normal form.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Negation normal form, Solver, QBFs
29	Victor Felea	A Strong Containment Problem for Queries in Conjunctive Form with Negation.	DBKDA	2009	DBLP DOI BibTeX RDF	containment mappings, Conjunctive queries, negation
29	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.	J. ACM	2008	DBLP DOI BibTeX RDF	negation types, Subtyping, higher-order functions, intersection types, union types
29	Gemma Robles	The Basic Constructive Logic for Negation-Consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent logic, Substructural logics, Constructive negation
29	David B. Kemp, Kotagiri Ramamohanarao	Efficient Recursive Aggregation and Negation in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	deductive database systems, EMS-programs, explicitly locally stratified, query evaluation, negation, Aggregate operators
29	Yuke Wang, Carl McCrosky	Negation Trees: A Unified Approach to Boolean Function Complementation.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	complementation algorithms, negation trees, Boolean functions, unate functions
29	Siva Anantharaman, Gilles Richard	A Rewrite Mechanism for Logic Programs with Negation.	RTA	1995	DBLP DOI BibTeX RDF	linear completion, logic program, constraints, rewrite system, negation
29	María José Ramírez, Moreno Falaschi	Conditional Narrowing with Constructive Negation.	ELP	1992	DBLP DOI BibTeX RDF	Equational logic programming, term rewriting systems, narrowing, constructive negation
27	Satoru Niki	Double Negation as Minimal Negation.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
27	Norihiro Kamide	An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.	Logica Universalis	2022	DBLP DOI BibTeX RDF
27	Thinh Hung Truong, Yulia Otmakhova 0001, Timothy Baldwin, Trevor Cohn, Jey Han Lau, Karin Verspoor	Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation.	CoRR	2022	DBLP DOI BibTeX RDF
27	Thinh Hung Truong, Timothy Baldwin, Trevor Cohn, Karin Verspoor	Improving negation detection with negation-focused pre-training.	CoRR	2022	DBLP DOI BibTeX RDF
27	Qianli Zhou, Yong Deng 0001	NPNT: Non-oscillating Process Negation Transformation of mass functions and a negation-based discounting method in information fusion.	Eng. Appl. Artif. Intell.	2022	DBLP DOI BibTeX RDF
27	Thinh Hung Truong, Yulia Otmakhova 0001, Timothy Baldwin, Trevor Cohn, Jey Han Lau, Karin Verspoor	Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation.	AACL/IJCNLP (1)	2022	DBLP BibTeX RDF
27	Daan de Jong, Ayoub Bagheri	The Case of Imperfect Negation Cues: A Two-Step Approach for Automatic Negation Scope Resolution.	NLDB	2022	DBLP DOI BibTeX RDF
27	Thinh Hung Truong, Timothy Baldwin, Trevor Cohn, Karin Verspoor	Improving negation detection with negation-focused pre-training.	NAACL-HLT	2022	DBLP DOI BibTeX RDF
27	J. Felicia Lilian, K. Sundarakantham, S. Mercy Shalinie	Anti-negation method for handling negation words in question answering system.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
27	Elizaveta Sineva, Stefan Grünewald, Annemarie Friedrich, Jonas Kuhn	Negation-Instance Based Evaluation of End-to-End Negation Resolution.	CoRR	2021	DBLP BibTeX RDF
27	Jinquan Sun, Qi Zhang, Yu Wang, Lei Zhang	MedAI at SemEval-2021 Task 10: Negation-aware Pre-training for Source-free Negation Detection Domain Adaptation.	SemEval@ACL/IJCNLP	2021	DBLP DOI BibTeX RDF
27	Anastassia Shaitarova, Fabio Rinaldi 0001	Negation typology and general representation models for cross-lingual zero-shot negation scope resolution in Russian, French, and Spanish.	NAACL-HLT (Student Research Workshop)	2021	DBLP DOI BibTeX RDF
27	Elizaveta Sineva, Stefan Grünewald, Annemarie Friedrich, Jonas Kuhn	Negation-Instance Based Evaluation of End-to-End Negation Resolution.	CoNLL	2021	DBLP DOI BibTeX RDF
27	Oleg Kiselyov	Polynomial Event Semantics: Negation - Negation.	JSAI-isAI Workshops	2020	DBLP DOI BibTeX RDF
27	Salud M. Jiménez Zafra, Mariona Taulé, María Teresa Martín-Valdivia, Luis Alfonso Ureña López, Maria Antònia Martí	SFU ReviewSP-NEG: a Spanish corpus annotated with negation for sentiment analysis. A typology of negation patterns.	Lang. Resour. Evaluation	2018	DBLP DOI BibTeX RDF
27	Mansurul Bhuiyan, Amita Misra, Saurabh Tripathy, Jalal Mahmud, Rama Akkiraju	Don't get Lost in Negation: An Effective Negation Handled Dialogue Acts Prediction Algorithm for Twitter Customer Service Conversations.	CoRR	2018	DBLP BibTeX RDF
27	Clément Dalloux, Vincent Claveau, Natalia Grabar, Claudia Moro 0001	Portée de la négation : détection par apprentissage supervisé en français et portugais brésilien (Negation scope : sequence labeling by supervised learning in French and Brazilian-Portuguese).	CORIA-TALN-RJC (TALN 2)	2018	DBLP BibTeX RDF
27	Jonas R. Becker Arenhart, Ederson Safra Melo	Classical Negation Strikes Back: Why Priest's Attack on Classical Negation Can't Succeed.	Logica Universalis	2017	DBLP DOI BibTeX RDF
27	Clément Dalloux	Détection de l'incertitude et de la négation : un état de l'art (Identifying uncertainty and negation's cues and scope : State of the art One of the goals of our endeavours is to turn a corpus of medical documents into more easily readable structured data).	TALN (RECITAL)	2017	DBLP BibTeX RDF
27	Germán Kruszewski, Denis Paperno, Raffaella Bernardi, Marco Baroni	There Is No Logical Negation Here, But There Are Alternatives: Modeling Conversational Negation with Distributional Semantics.	Comput. Linguistics	2016	DBLP DOI BibTeX RDF
27	Norihiro Kamide	Paraconsistent Double Negation That Can Simulate Classical Negation.	ISMVL	2016	DBLP DOI BibTeX RDF
27	David Buchman, David Poole 0001	Negation Without Negation in Probabilistic Logic Programming.	KR	2016	DBLP BibTeX RDF
27	Chungmin Lee	How Metalinguistic Negation Differs from Descriptive Negation: ERP Evidence.	EAPCogSci	2015	DBLP BibTeX RDF
27	Stephen T. Wu, Timothy A. Miller, James J. Masanz, Matthew Coarr, David Carrell, Scott R. Halgrim, David Harris 0004, Cheryl Clark	Negation's Not Solved: Reconsidering Negation Annotation and Evaluation.	AMIA	2013	DBLP BibTeX RDF
27	Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, Chris Callison-Burch, Nathaniel Wesley Filardo, Christine D. Piatko, Lori S. Levin, Scott Miller	Modality and Negation in SIMT Use of Modality and Negation in Semantically-Informed Syntactic MT.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
27	Jing Ding, Chu-Ren Huang	Negation and Double-Negation of Chinese Oppositeness.	CLSW	2012	DBLP DOI BibTeX RDF
27	Lei Zhang 0037	Analyse automatique d'opinion : problématique de l'intensité et de la négation pour l'application à un corpus journalistique. (Automatic opinion analysis: issue of intensity and negation in a newspaper corpus).		2012	RDF
27	Norihiro Kamide, Ken Kaneiwa	Paraconsistent Negation and Classical Negation in Computation Tree Logic.	ICAART (1)	2010	DBLP BibTeX RDF
27	Khalil Ben Mohamed	Traitement de requêtes conjonctives avec négation : algorithmes et expérimentations. (Processing of Conjunctive Queries with Negation: Algorithms and Experiments).		2010	RDF
27	Ira Goldstein, Özlem Uzuner	Does negation really matter?	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
27	Veronika Vincze	Speculation and negation annotation in natural language texts: what the case of BioScope might (not) reveal.	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
27	Eduard H. Hovy	Negation and modality in distributional semantics.	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
27	Michael Wiegand, Alexandra Balahur, Benjamin Roth 0001, Dietrich Klakow, Andrés Montoyo	A survey on the role of negation in sentiment analysis.	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
27	Isaac G. Councill, Ryan T. McDonald, Leonid Velikovich	What's great and what's not: learning to classify the scope of negation for improved sentiment analysis.	NeSp-NLP@ACL	2010	DBLP BibTeX RDF
27	Jay Halcomb, Adam Pease	On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).	Answer Set Programming	2001	DBLP BibTeX RDF
27	Paul Ruet, François Fages	Combining Explicit Negation and Negation by Failure Via Belnap's Logic.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
27	Dov M. Gabbay, Heinrich Wansing	What is Negation in a System? Negation in Structured Consequence Relations.	Logic, Action, and Information	1996	DBLP BibTeX RDF
27	Tibor Kiss	Modals and the Scope of Negation, On the Treatment of Optionality in HPSG, Some Properties of Negation in German.	IWBS Report	1991	RDF
27	Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi	Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.	ICLP	1991	DBLP BibTeX RDF
27	David Pearce 0001	Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs.	Nonclassical Logics and Information Processing	1990	DBLP DOI BibTeX RDF
27	Didier Ladret	Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?!	SPLT	1989	DBLP BibTeX RDF
27	Mark Wallace 0001	Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases.	SLP	1987	DBLP BibTeX RDF
25	Emad Saad	Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics.	SUM	2009	DBLP DOI BibTeX RDF
25	M. Andrew Moshier, Daniela Petrisan	A Duality Theorem for Real C* Algebras.	CALCO	2009	DBLP DOI BibTeX RDF
25	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner	Answer Set Programming: A Primer.	Reasoning Web	2009	DBLP DOI BibTeX RDF
25	Satoshi Kobayashi	A New Translation for Semi-classical Theories - Backtracking without CPS.	FLOPS	2008	DBLP DOI BibTeX RDF
25	Carlo Meghini, Nicolas Spyratos	Computing Intensions of Digital Library Collections.	ICFCA	2007	DBLP DOI BibTeX RDF
25	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs.	PADL	2006	DBLP DOI BibTeX RDF
25	Wojciech Dzik, Ewa Orlowska, Clint J. van Alten	Relational Representation Theorems for General Lattices with Negations.	RelMiCS	2006	DBLP DOI BibTeX RDF
25	Kim Solin	On Two Dually Nondeterministic Refinement Algebras.	RelMiCS	2006	DBLP DOI BibTeX RDF
25	Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis	Well-Founded Semantics for Boolean Grammars.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
25	Emad Saad	Incomplete Knowledge in Hybrid Probabilistic Logic Programs.	JELIA	2006	DBLP DOI BibTeX RDF
25	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Normal Forms for Knowledge Compilation.	ISMIS	2005	DBLP DOI BibTeX RDF
25	Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri	On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.	SAC	2004	DBLP DOI BibTeX RDF	deductive and logic databases, expressive power of query languages, search and optimization queries, datalog
25	Gianluigi Greco, Sergio Greco, Ester Zumpano	A Logical Framework for Querying and Repairing Inconsistent Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	consistent queries, disjunctive databases, repair and prioritized constraints, Inconsistent database, database repairs
25	Shao Chin Sung, Keisuke Tanaka	Limiting Negations in Bounded-Depth Circuits: An Extension of Markov's Theorem.	ISAAC	2003	DBLP DOI BibTeX RDF
25	Alberto Pettorossi, Maurizio Proietti	Program Derivation = Rules + Strategies.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
25	Yann Loyer, Umberto Straccia	The Well-Founded Semantics in Normal Logic Programs with Uncertainty.	FLOPS	2002	DBLP DOI BibTeX RDF
25	Francisco Javier López-Fraguas, Jaime Sánchez-Hernández	Narrowing Failure in Functional Logic Programming.	FLOPS	2002	DBLP DOI BibTeX RDF
25	Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano	Translating Datalog-Like Optimization Queries into ILOG Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
25	Ken Kaneiwa, Satoshi Tojo	An Order-Sorted Resolution with Implicitly Negative Sorts.	ICLP	2001	DBLP DOI BibTeX RDF