The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Negation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1977 (16) 1979-1984 (19) 1985-1986 (19) 1987-1988 (38) 1989 (31) 1990 (46) 1991 (43) 1992 (39) 1993 (51) 1994 (51) 1995 (32) 1996 (41) 1997 (48) 1998 (40) 1999 (41) 2000 (51) 2001 (51) 2002 (49) 2003 (54) 2004 (78) 2005 (80) 2006 (79) 2007 (69) 2008 (79) 2009 (71) 2010 (59) 2011 (43) 2012 (65) 2013 (38) 2014 (42) 2015 (46) 2016 (49) 2017 (43) 2018 (47) 2019 (69) 2020 (69) 2021 (104) 2022 (64) 2023 (78) 2024 (18)
Publication types (Num. hits)
article(753) book(3) incollection(27) inproceedings(1255) phdthesis(11) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(135) PODS(37) ICLP(36) LPNMR(36) Stud Logica(31) JELIA(28) J. Log. Program.(24) ICDT(23) CogSci(22) ISMIS(22) Notre Dame J. Formal Log.(21) J. ACM(18) Log. J. IGPL(18) Arch. Math. Log.(17) ICCS(17) MFCS(16) More (+10 of total 690)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 785 occurrences of 414 keywords

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