Search results for "negation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Sergio Greco, Ester Zumpano	Querying Inconsistent Databases.	LPAR	2000	DBLP DOI BibTeX RDF
25	Daniel Pacholczyk, Florence Dupin de Saint-Cyr	An Intelligent System Dealing with Complex Nuanced Information within a Statistical Context.	ISMIS	2000	DBLP DOI BibTeX RDF
25	Daniel Pacholczyk	Towards an Intelligent System Dealing with Nuanced Information Expressed in Affirmative or Negative Forms.	ISMIS	1999	DBLP DOI BibTeX RDF
25	Gerhard Brewka, Jürgen Dix	Knowledge Representation with Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
25	Weidong Chen 0005, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
25	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.	J. ACM	1994	DBLP DOI BibTeX RDF	logic programming, deductive databases, nonmonotonic reasoning, operations research
25	Anastasia Analyti, Sakti Pramanik	Declarative Semantics for Contradictory Modular Logic Programs.	ISMIS	1994	DBLP DOI BibTeX RDF
25	Ashish Gupta 0001, Inderpal Singh Mumick, V. S. Subrahmanian	Maintaining Views Incrementally.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF	SQL, Datalog
25	Catriel Beeri, Tova Milo	On the Power of Algebras with Recursion.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
25	Weidong Chen 0005, David Scott Warren	Query Evaluation under the Well Founded Semantics.	PODS	1993	DBLP DOI BibTeX RDF
25	Jan A. Plaza	Fully Declarative Logic Programming.	PLILP	1992	DBLP DOI BibTeX RDF
25	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
25	Evgeny Dantsin	Probabilistic Logic Programs and their Semantics.	RCLP	1991	DBLP DOI BibTeX RDF
24	Ivan Chajda, Miroslav Kolarík	Independence of axiom system of basic algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Basic algebra, Axiom system, Double negation law, Independence
24	Gemma Robles, José M. Méndez	The basic constructive logic for a weak sense of consistency.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Ternary relational semantics, Paraconsistent Logic, Substructural logics, Constructive negation
24	Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe	EVALPSN Based Intelligent Drivers' Model.	KES (2)	2006	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), paraconsistent annotated logic program, intelligent traffic simulation, defeasible deontic reasoning
24	Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki	A Discrete Event Control Based on EVALPSN Stable Model Computation.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control
24	Kazumi Nakamatsu, Seiki Akama, Jair Minoro Abe	An Intelligent Safety Verification Based on a Paraconsistent Logic Program.	KES (2)	2005	DBLP DOI BibTeX RDF	EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), paraconsistent logic program, intelligent control, safety verification
24	Giuseppe Castagna, Alain Frisch	A gentle introduction to semantic subtyping.	PPDP	2005	DBLP DOI BibTeX RDF	negation types, typing, subtyping, intersection, union
24	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
24	Sergei P. Odintsov	On the Representation of N4-Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	N4-lattice, paraconsistent logic, strong negation
24	Nikolaos Galatos, James G. Raftery	Adding Involution to Residuated Structures.	Stud Logica	2004	DBLP DOI BibTeX RDF	mingle, RW, contraction, negation, residuated lattice, Residuation, expansion, involution
24	Mauricio Osorio 0001, Fernando Zacarías Flores	On Updates of Logic Programs: A Properties-Based Approach.	FoIKS	2004	DBLP DOI BibTeX RDF	Nelson logic, Update programs, AGM postulates, Answer set programming, Properties, Strong negation
24	István Forgács	An Exact Array Reference Analysis for Data Flow Testing.	ICSE	1996	DBLP BibTeX RDF	approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization
22	Jörg Pührer, Hans Tompits	Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.	LPNMR	2009	DBLP DOI BibTeX RDF
22	Hiroki Morizumi, Genki Suzuki	Negation-Limited Inverters of Linear Size.	ISAAC	2008	DBLP DOI BibTeX RDF
22	Jörg Pührer, Hans Tompits, Stefan Woltran	Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.	ICLP	2008	DBLP DOI BibTeX RDF
22	Ethan K. Jackson, Wolfram Schulte	Model Generation for Horn Logic with Stratified Negation.	FORTE	2008	DBLP DOI BibTeX RDF
22	Renate A. Schmidt, Dmitry Tishkovsky	Using Tableau to Decide Expressive Description Logics with Role Negation.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
22	Stefan Schleipen, Marco Ragni, Thomas Fangmeier	Negation in Spatial Reasoning.	KI	2007	DBLP DOI BibTeX RDF	Cognitive modeling, Spatial Reasoning, Knowledge Representation and Reasoning
22	Song Zhiwei, Chen Xiaoping	States evolution in Theta(lambda)-learning based on logical MDPs with negation.	SMC	2007	DBLP DOI BibTeX RDF
22	Song Zhiwei, Chen Xiaoping	Unique State and Automatical Action Abstracting Based on Logical MDPs with Negation.	ICNC (2)	2006	DBLP DOI BibTeX RDF
22	Zoran Majkic	Querying with Negation in Data Integration Systems.	IDEAS	2005	DBLP DOI BibTeX RDF
22	Julia Klinger	Local Negation in Concept Graphs.	ICCS	2005	DBLP DOI BibTeX RDF
22	Yisong Wang, Mingyi Zhang 0002	Revision Programs with Explicit Negation.	ICTAC	2004	DBLP DOI BibTeX RDF
22	Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato	A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.	CSL	2004	DBLP DOI BibTeX RDF
22	Alan Nash, Bertram Ludäscher	Processing Unions of Conjunctive Queries with Negation under Limited Access Patterns.	EDBT	2004	DBLP DOI BibTeX RDF
22	Francesco M. Donini, Daniele Nardi, Riccardo Rosati 0001	Description logics of minimal knowledge and negation as failure.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics
22	Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri	Negation as Failure through Abduction: Reasoning about Termination.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
22	Yann Loyer, Nicolas Spyratos	Hypothesis-Founded Semantics for Datalog Programs with Negation.	MFCS	2002	DBLP DOI BibTeX RDF	semantics of logic programs, non-monotonic reasoning, hypothesis
22	Richard A. Frost, Pierre Boulos	An Efficient Compositional Semantics for Natural-Language Database Queries with Arbitrarily-Nested Quantification and Negation.	AI	2002	DBLP DOI BibTeX RDF
22	Svetla Boytcheva, Albena Strupchanska, Galia Angelova	Processing Negation in NL Interfaces to Knowledge Bases.	ICCS	2002	DBLP DOI BibTeX RDF
22	Daniel Pacholczyk, Mohamed Quafafou, Laurent Garcia	Optimistic vs. Pessimistic Interpretation of Linguistic Negation.	AIMSA	2002	DBLP DOI BibTeX RDF
22	Adnan Darwiche	Decomposable negation normal form.	J. ACM	2001	DBLP DOI BibTeX RDF	Boolean functions, satisfiability, propositional logic, model-based diagnosis, knowledge compilation
22	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Equivalences among Aggregate Queries with Negation. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
22	Chandrabose Aravindan	An Abductive Framework for Negation in Disjunctive Logic Programming.	JELIA	1996	DBLP DOI BibTeX RDF
22	Juan José Moreno-Navarro	Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages.	ELP	1996	DBLP DOI BibTeX RDF
22	Terry Gaasterland, Jorge Lobo 0001	Using Semantic Information for Processing Negation and Disjunction in Logic Programs.	ISMIS	1993	DBLP DOI BibTeX RDF
22	Mohamed Tajine	The Negation Elimination from Syntactic Equational Formula is Decidable.	RTA	1993	DBLP DOI BibTeX RDF
22	Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca	ISALOG- : A Deductive Language with Negation for Complex-Object Databases with Hierarchies.	DOOD	1993	DBLP DOI BibTeX RDF
22	Carlo Zaniolo, Natraj Arni, KayLiang Ong	Negation and Aggregates in Recursive Rules: the LDL++ Approach.	DOOD	1993	DBLP DOI BibTeX RDF
22	Maurizio Gabbrielli, Giorgio Levi, Daniele Turi	A Two Steps Semantics for Logic Programs with Negation.	LPAR	1992	DBLP DOI BibTeX RDF
22	Teruhiro Shimura, Jorge Lobo 0001, Tadao Murata	A Petri Net Semantics for Logic Programs with Negation.	SEKE	1992	DBLP DOI BibTeX RDF
22	Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício	Default Theory for Well Founded Semantics with Explicit Negation.	JELIA	1992	DBLP DOI BibTeX RDF
22	Heinrich Herre, David Pearce 0001	Disjunctive Logic Programming, Constructivity and Strong Negation.	JELIA	1992	DBLP DOI BibTeX RDF
22	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
22	Roland N. Bol	Loop Checking and Negation.	JELIA	1990	DBLP DOI BibTeX RDF
22	Allen Van Gelder	The Alternating Fixpoint of Logic Programs with Negation.	PODS	1989	DBLP DOI BibTeX RDF
22	Kenneth A. Ross	A Procedural Semantics for Well Founded Negation in Logic Programs.	PODS	1989	DBLP DOI BibTeX RDF
22	David Pearce 0001, Gerd Wagner 0001	Logic Programming with Strong Negation.	ELP	1989	DBLP DOI BibTeX RDF
22	José Carlos Ferreira Maia Neves	A logic interpreter to handle time and negation in logic data bases.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF	Logic data base, Open world, Prolog, Query-by-example, Time stamping, Assumption, Negative information
17	Michael Meier 0002, Michael Schmidt 0002, Fang Wei 0001, Georg Lausen	Semantic query optimization in the presence of types.	PODS	2010	DBLP DOI BibTeX RDF	constraints, query optimization, types, chase
17	Hiroki Morizumi	Limiting Negations in Formulas.	ICALP (1)	2009	DBLP DOI BibTeX RDF
17	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
17	Yuan Mei, Samuel Madden 0001	ZStream: a cost-based query processor for adaptively detecting composite events.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	optimization, algorithm, streaming, complex event processing
17	Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä	A Module-Based Framework for Multi-language Constraint Modeling.	LPNMR	2009	DBLP DOI BibTeX RDF
17	Marcelo Arenas, Pablo Barceló, Juan L. Reutter	Query languages for data exchange: beyond unions of conjunctive queries.	ICDT	2009	DBLP DOI BibTeX RDF
17	Yanchang Zhao, Huaifeng Zhang, Longbing Cao, Chengqi Zhang, Hans Bohlscheid	Mining Both Positive and Negative Impact-Oriented Sequential Rules from Transactional Data.	PAKDD	2009	DBLP DOI BibTeX RDF	negative sequential rules, sequential pattern mining
17	Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio	A Formal Theory for Modular ERDF Ontologies.	RR	2009	DBLP DOI BibTeX RDF
17	Antoni Torrens	An Approach to Glivenko's Theorem in Algebraizable Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	Glivenko’s Theorem, equivalential deductive system, compatible expansion, algebraic semantics, quasivariety, algebraizable logic
17	József Dombi 0001	Towards a General Class of Operators for Fuzzy Systems.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
17	Luís Moniz Pereira, Alexandre Miguel Pinto	Collaborative vs. Conflicting Learning, Evolution and Argumentation.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
17	Kazumi Nakamatsu	The Paraconsistent Annotated Logic Program EVALPSN and its Application.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
17	Renzo Angles, Claudio Gutierrez 0001	The Expressive Power of SPARQL.	ISWC	2008	DBLP DOI BibTeX RDF
17	Ana Pradera	Uninorms and Non-contradiction.	MDAI	2008	DBLP DOI BibTeX RDF	Non-Contradiction Principle, Aggregation functions, Strong Negations, Uninorms
17	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
17	Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis, Stefanos D. Kollias	Adaptation of Connectionist Weighted Fuzzy Logic Programs with Kripke-Kleene Semantics.	ICANN (1)	2008	DBLP DOI BibTeX RDF
17	Jorma K. Mattila	Possibility Based Modal Semantics for Graded Modifiers.	IFSA (1)	2007	DBLP DOI BibTeX RDF	metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier
17	Jie Wang, Chunnian Liu	Fuzzy Constraint Logic Programming with Answer Set Semantics.	KSEM	2007	DBLP DOI BibTeX RDF	Logic Program, Fuzzy Constraint, Answer Set Semantics
17	Wolfgang Faber 0001, Nicola Leone	On the Complexity of Answer Set Programming with Aggregates.	LPNMR	2007	DBLP DOI BibTeX RDF
17	Riccardo Rosati 0001	The Limits of Querying Ontologies.	ICDT	2007	DBLP DOI BibTeX RDF
17	James Cheney, Alberto Momigliano	Mechanized metatheory model-checking.	PPDP	2007	DBLP DOI BibTeX RDF	counterexample search, model checking, nominal logic
17	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
17	Stéphane Demri, Deepak D'Souza, Régis Gascon	A Decidable Temporal Logic of Repeating Values.	LFCS	2007	DBLP DOI BibTeX RDF
17	Cungen Cao 0001, Yuefei Sui, Yu Sun 0005	Logical Connections of Statements in Ontologies.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
17	Roni Romano, Lior Rokach, Oded Maimon	Cascaded Data Mining Methods for Text Understanding, with medical case study.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
17	Emad Saad	Towards the Computation of Stable Probabilistic Model Semantics.	KI	2006	DBLP DOI BibTeX RDF
17	Roni Romano, Lior Rokach, Oded Maimon	Automatic Discovery of Regular Expression Patterns Representing Negated Findings in Medical Narrative Reports.	NGITS	2006	DBLP DOI BibTeX RDF	Machine Learning, Information Retrieval, Text Classification, Medical Informatics
17	Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones	Haskell Is Not Not ML.	ESOP	2006	DBLP DOI BibTeX RDF
17	Carles Noguera, Francesc Esteva, Joan Gispert	Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Bipartite algebras, Cancellative hoops, disconnected rotation, IMTL-algebras, local algebras, perfect algebras, prelinear semihoops, Wajsberg hoops, filters, many-valued logic, MV-algebras, Algebraizable logics
17	Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner 0001	Stable Model Theory for Extended RDF Ontologies.	ISWC	2005	DBLP DOI BibTeX RDF
17	Sergei P. Odintsov, David Pearce 0001	Routley Semantics for Answer Sets.	LPNMR	2005	DBLP DOI BibTeX RDF
17	Alin Deutsch, Bertram Ludäscher, Alan Nash	Rewriting Queries Using Views with Access Patterns Under Integrity Constraints.	ICDT	2005	DBLP DOI BibTeX RDF
17	Luís Moniz Pereira, Alexandre Miguel Pinto	Revised Stable Models - A Semantics for Logic Programs.	EPIA	2005	DBLP DOI BibTeX RDF
17	Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro	A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
17	Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir	Weighted Answer Sets and Applications in Intelligence Analysis.	LPAR	2004	DBLP DOI BibTeX RDF
17	Patrick Caldon, Eric Martin 0002	Limiting Resolution: From Foundations to Implementation.	ICLP	2004	DBLP DOI BibTeX RDF
17	Alexander Okhotin	The Dual of Concatenation.	MFCS	2004	DBLP DOI BibTeX RDF
17	Zdzislaw Pawlak	Inference Rules and Decision Rules.	ICAISC	2004	DBLP DOI BibTeX RDF
17	Léonard Kwuida	When Is a Concept Algebra Boolean?	ICFCA	2004	DBLP DOI BibTeX RDF