Search results for "Negation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Dimiter Vakarelov	Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.	Stud Logica	2006	DBLP DOI BibTeX RDF	intuitionistic negation, dual intuitionistic negation, minimal negation, seminegation, regular negation, Nelson negation, Nelson algebras, twist construction, Kripke semantics
115	Ken Kaneiwa	Description Logics with Contraries, Contradictories, and Subcontraries.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Constructive Description Logic, Terminological Knowledge Representation, Strong Negation, Negative Information
111	Juan José Moreno-Navarro, Susana Muñoz-Hernández	Soundness and Completeness of an "Efficient" Negation for Prolog.	JELIA	2004	DBLP DOI BibTeX RDF	Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation
107	Guoping Du, Hongguang Wang, Jie Shen	Oppositional Logic.	LORI	2009	DBLP DOI BibTeX RDF	oppositional logic, intuitionism, negation, paraconsistent
100	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
88	Michael Beeson, Robert Veroff, Larry Wos	Double-Negation Elimination in Some Propositional Logics.	Stud Logica	2005	DBLP DOI BibTeX RDF
86	Susana Muñoz-Hernández, Juan José Moreno-Navarro	Implementation Results in Classical Constructive Negation.	ICLP	2004	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
86	Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro	Constructive Intensional Negation.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
86	Susana Muñoz-Hernández, Juan José Moreno-Navarro	A Real Implementation for Constructive Negation.	ICLP	2003	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
86	Juan José Moreno-Navarro, Susana Muñoz-Hernández	How to Incorporate Negation in a Prolog Compiler.	PADL	2000	DBLP DOI BibTeX RDF	Semantics of Negation, Implementation of Negation, Global Analysis
85	Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández	Implementing Constructive Intensional Negation.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
80	Seiki Akama	Three-Valued Constructive Logic and Logic Programs.	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
80	Zhenghua Pan	A Logic Description on Different Negation Relation in Knowledge.	ICIC (2)	2008	DBLP DOI BibTeX RDF
80	Tomi Janhunen	On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.	LPNMR	2001	DBLP DOI BibTeX RDF
78	Lifeng Jia, Clement T. Yu, Weiyi Meng	The effect of negation on sentiment analysis and retrieval effectiveness.	CIKM	2009	DBLP DOI BibTeX RDF	candidate scope of negation, scope of negation, sentiment analysis, opinion retrieval, retrieval effectiveness
78	Norihiro Kamide	Gentzen-Type Methods for Bilattice Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Bilattice negation, completeness, sequent calculus, substructural logic, strong negation
71	Kazuo Iwama, Hiroki Morizumi, Jun Tarui	Negation-Limited Complexity of Parity and Inverters.	Algorithmica	2009	DBLP DOI BibTeX RDF	Negation-limited circuit, Parity function, Inversion complexity, Gate elimination, Circuit complexity, Inverter
63	Phan Minh Dung, Paolo Mancarella	Production Systems with Negation as Failure.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	knowledge representation, knowledge-based systems, expert systems, rule-based systems, rule-based processing
63	Michel Parigot	On the Computational Interpretation of Negation.	CSL	2000	DBLP DOI BibTeX RDF
62	Agostinho Almeida	Canonical Extensions and Relational Representations of Lattices with Negation.	Stud Logica	2009	DBLP DOI BibTeX RDF	canonical extension, Lattice, duality, negation
62	Lior Rokach, Roni Romano, Oded Maimon	Negation recognition in medical narrative reports.	Inf. Retr.	2008	DBLP DOI BibTeX RDF	Narrative medical reports, Artificial intelligence, Text classification, Negation, Part-of-speech tagging
62	Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Efficient Negation Using Abstract Interpretation.	LPAR	2001	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
61	Jan A. Plaza	Completeness for Propositional Logic Programs with Negation.	ISMIS	1991	DBLP DOI BibTeX RDF	SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness
55	Marzena Kryszkiewicz	Non-Derivable Item Set and Non-Derivable Literal Set Representations of Patterns Admitting Negation.	DaWaK	2009	DBLP DOI BibTeX RDF
55	Pablo R. Fillottrani, Guillermo Ricardo Simari	Representing Defaults and Negative Information Without Negation-as-Failure.	LPAR	2006	DBLP DOI BibTeX RDF
55	Axel Polleres, Cristina Feier, Andreas Harth	Rules with Contextually Scoped Negation.	ESWC	2006	DBLP DOI BibTeX RDF
55	Klimis Antzakas, Bencie Woll	Head Movements and Negation in Greek Sign Language.	Gesture Workshop	2001	DBLP DOI BibTeX RDF
55	Francesc Esteva, Lluís Godo, Petr Hájek 0001, Mirko Navara	Residuated fuzzy logics with an involutive negation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
55	Dietmar Seipel	An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.	LPAR	1994	DBLP DOI BibTeX RDF
55	François Bry	Negation in Logic Programming: A Formalization in Constructive Logic.	IS/KI	1990	DBLP DOI BibTeX RDF
54	Fabien Schang, Amirouche Moktefi	Depicting Negation in Diagrammatic Logic: Legacy and Prospects.	Diagrams	2008	DBLP DOI BibTeX RDF	bivalence, logical negation, internalization, complementation, dichotomy
54	Lunjin Lu	Implementing type-based constructive negation.	SAC	2007	DBLP DOI BibTeX RDF	logic programs, types, constructive negation
54	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
54	Panos Rondogiannis, William W. Wadge	Minimum model semantics for logic programs with negation-as-failure.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-valued logics, Logic programming, well-founded model, negation-as-failure
50	João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira	Paraconsistent Logic Programs.	JELIA	2002	DBLP DOI BibTeX RDF
49	François Fages, Roberta Gori	Analysis of Normal Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	logic programming, static analysis, interpretation, constructive negation
49	Noboru Takagi, Kyoichi Nakashima, Masao Mukaidono	A Necessary and Sufficient Condition for Lukasiewicz Logic Functions.	ISMVL	1996	DBLP DOI BibTeX RDF	Lukasiewicz logic functions, Lukasiewicz multiple-valued logic, Lukasiewicz implication, logic design, multivalued logic, negation, multiple-valued functions, multiple-valued logic design
46	Kazuo Iwama, Hiroki Morizumi, Jun Tarui	Negation-Limited Complexity of Parity and Inverters.	ISAAC	2006	DBLP DOI BibTeX RDF
46	Emad Saad, Enrico Pontelli	Hybrid Probabilistic Logic Programs with Non-monotonic Negation.	ICLP	2005	DBLP DOI BibTeX RDF
46	Kang Soo Tae, Hee Yong Youn, Gyung-Leen Park	On Negation-Based Conscious Agent.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
46	Taisuke Sato, Yoshitaka Kameya	Negation Elimination for Finite PCFGs.	LOPSTR	2004	DBLP DOI BibTeX RDF
46	Davy Van Nieuwenborgh, Dirk Vermeir	Order and Negation as Failure.	ICLP	2003	DBLP DOI BibTeX RDF
46	Gerd Wagner 0001	Web Rules Need Two Kinds of Negation.	PPSWR	2003	DBLP DOI BibTeX RDF
46	Alberto Momigliano	Elimination of Negation in a Logical Framework.	CSL	2000	DBLP DOI BibTeX RDF
46	Daniel Pacholczyk	A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems.	AIMSA	1998	DBLP DOI BibTeX RDF
46	Daniel Pacholczyk	A New Approach to Linguistic Negation Based upon Compatibility Level and Tolerance Threshold.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
46	Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo	Compilative Constructive Negation in Constraint Logic Programs.	CAAP	1994	DBLP DOI BibTeX RDF
46	Jean-Paul Delahaye, V. Thibau	The Optimal Model of a Program with Negation.	JELIA	1990	DBLP DOI BibTeX RDF
46	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. II.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
46	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. I.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
46	Léonard Kwuida	A Note on Negation: A PCS-Completion of Semilattices.	ICFCA	2006	DBLP DOI BibTeX RDF	pseudocomplement, FCA, negation, semilattices
46	J. Dunn, Chunlai Zhou	Negation in the Context of Gaggle Theory.	Stud Logica	2005	DBLP DOI BibTeX RDF	gaggle theory, perp, compatibility frames, exhaustiveness frames, minimal negation, orthonegation
46	Javier Álvez, Paqui Lucio, Fernando Orejas	Constructive negation by bottom-up computation of literal answers.	SAC	2004	DBLP DOI BibTeX RDF	bottom-up operators, equality constraint solving, implementation, operational semantics, constructive negation
45	Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen	On quantitative measurement of negation in logic programming.	SAC	1996	DBLP DOI BibTeX RDF	least local stratification, negativity, quantitative measurement of negation, LOGIC, negation in logic programming
41	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
41	David Pearce 0001	Answer Sets and Nonmonotonic S4.	ELP	1993	DBLP DOI BibTeX RDF
41	Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin	Correction to "An equivalence between relational database dependencies and a fragment of propositional logic".	J. ACM	1987	DBLP DOI BibTeX RDF
41	Wendy MacCaull, Dimiter Vakarelov	Lattice-Based Paraconsistent Logic.	RelMiCS	2005	DBLP DOI BibTeX RDF	lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics
41	Hedde Zeijlstra	Doubling: The Semantic Driving Force Behind Functional Categories.	TbiLLC	2005	DBLP DOI BibTeX RDF	Diachronic syntax, Flexible syntax, Formal features, Functional projections, Negative Concord, Learnability, Negation, Doubling
40	Shanshan Wang, Zhenghua Pan, Lei Yang	Fuzzy Decision Making Based on Fuzzy Logic with Contradictory Negation, Opposite Negation and Medium Negation.	AICI	2012	DBLP DOI BibTeX RDF
40	Jack Minker, Arcot Rajasekar	Procedural Interpretation of Non-Horn Logic Programs.	CADE	1988	DBLP DOI BibTeX RDF	generalized closed world assumption, non-horn programs, procedural interpretation, support-for-negation, logic programming, negation
38	Marzena Kryszkiewicz, Henryk Rybinski, Katarzyna Cichon	On Concise Representations of Frequent Patterns Admitting Negation.	Advances in Machine Learning II	2010	DBLP DOI BibTeX RDF
38	Pedro Cabalar, David Pearce 0001, Panos Rondogiannis, William W. Wadge	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.	LPNMR	2007	DBLP DOI BibTeX RDF
38	Sébastien Ferré	Negation, Opposition, and Possibility in Logical Concept Analysis.	ICFCA	2006	DBLP DOI BibTeX RDF
38	Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001	Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
38	Marzena Kryszkiewicz, Katarzyna Cichon	Support Oriented Discovery of Generalized Disjunction-Free Representation of Frequent Patterns with Negation.	PAKDD	2005	DBLP DOI BibTeX RDF
38	Barbara Partee, Vladimir Borschev	Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation.	TbiLLC	2005	DBLP DOI BibTeX RDF
38	Léonard Kwuida, Andreja Tepavcevic, Branimir Seselja	Negation in Contextual Logic.	ICCS	2004	DBLP DOI BibTeX RDF
38	Pedro Cabalar	A Rewriting Method for Well-Founded Semantics with Explicit Negation.	ICLP	2002	DBLP DOI BibTeX RDF
38	Panos Rondogiannis, William W. Wadge	An Infinite-Valued Semantics for Logic Programs with Negation.	JELIA	2002	DBLP DOI BibTeX RDF
38	Reinhard Pichler	Negation Elimination from Simple Equational Formulae.	ICALP	2000	DBLP DOI BibTeX RDF
38	Daniel Pacholczyk	An Extension of a Linguistic Negation Model Allowing Us to Deny Nuanced Property Combinations.	ESCQARU	1999	DBLP DOI BibTeX RDF
38	Marina De Vos, Dirk Vermeir	On the Role of Negation in Choice Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF	unfounded sets, game-theory, Logic programming, choice
38	Kazuyuki Amano, Akira Maruoka	A Superpolynomial Lower Bound for a Circuit Computing the Clique Function with At Most (1/6) log log n Negation Gates.	MFCS	1998	DBLP DOI BibTeX RDF
38	Kazumi Nakamatsu, Atsuyuki Suzuki	A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
38	Phokion G. Kolaitis, Christos H. Papadimitriou	Why Not Negation by Fixpoint?	PODS	1988	DBLP DOI BibTeX RDF
37	Victor Felea	On Containment of Conjunctive Queries with Negation.	ADBIS	2009	DBLP DOI BibTeX RDF	maximal sets, cliques in graphs, negation, query containment
37	Koen Maes, Bernard De Baets	Negation and affirmation: the role of involutive negators.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Affirmation, Strict negator, Involutive negator, Coxeter group, Negation, Automorphism
37	Hiroki Morizumi, Jun Tarui	Linear-Size Log-Depth Negation-Limited Inverter for k -Tonic Binary Sequences.	TAMC	2007	DBLP DOI BibTeX RDF	negation-limited circuit, k-tonic, circuit complexity, inverter
37	Sara Cohen, Yehoshua Sagiv, Werner Nutt	Equivalences among aggregate queries with negation.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Aggregation, Datalog, negation, query equivalence
37	Dan Butnariu, Erich-Peter Klement, Radko Mesiar, Mirko Navara	Sufficient triangular norms in many-valued logics with standard negation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Sufficient t-norm, Involutive negation, Admissible function, t-norm-based tribe, Many-valued logic
37	Norihiro Kamide	Quantized Linear Logic, Involutive Quantales and Strong Negation.	Stud Logica	2004	DBLP DOI BibTeX RDF	involutive quantales, quantization principle, linear logic, strong negation
37	John G. Cleary, Lunjin Lu	Constructive Negation Using Typed Existence Properties.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	existence properties, type system, constructive negation
37	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Completeness for Linear Regular Negation Normal Form Inference Systems.	ISMIS	1997	DBLP DOI BibTeX RDF	tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence
37	John Esch, Robert Levinson	In Implementation Model for Contexts and Negation in Conceptual Graphs.	ICCS	1995	DBLP DOI BibTeX RDF	Contexts, Knowledge Representation, Consistency, Retrieval, Inference, Conceptual Graphs, Negation
37	Philippe Balbiani	A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules.	STACS	1991	DBLP DOI BibTeX RDF	logic programming with negation, modal logic, declarative semantics
33	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
33	Daniel Lehmann 0001	Connectives in Cumulative Logics.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
33	Emad Saad, Enrico Pontelli	A new approach to hybrid probabilistic logic programs.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T37
33	Yu Sun 0005, Yuefei Sui	Default Description Logics with Reversing Inference Rules.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
33	Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner 0001	Supporting Open and Closed World Reasoning on the Web.	PPSWR	2006	DBLP DOI BibTeX RDF
33	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	PODS	2005	DBLP DOI BibTeX RDF
33	Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Static analysis in datalog extensions.	J. ACM	2001	DBLP DOI BibTeX RDF	query satisfiability, Abstract interpretation, datalog, query containment
33	Sergio Flesca, Sergio Greco	Rewriting Queries Using Views.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF
33	Dietmar Seipel	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
33	Sergio Flesca, Sergio Greco	Rewriting Queries Using Views.	DEXA	1999	DBLP DOI BibTeX RDF
33	Yuichi Umeda, Hajime Sawamura	Towards an argument-based agent system.	KES	1999	DBLP DOI BibTeX RDF
33	Thomas Eiter, Georg Gottlob, Heikki Mannila	Disjunctive Datalog.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Datalog
33	Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
33	José Júlio Alferes, Luís Moniz Pereira	Contradiction: When Avoidance Equals Removal - Part I.	ELP	1993	DBLP DOI BibTeX RDF