Search results for "Disjunctive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Thomas Eiter, Georg Gottlob, Heikki Mannila	Disjunctive Datalog.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Datalog
86	Kewen Wang 0001, Huowang Chen	Abduction, Argumentation and Bi-Disjunctive Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
86	Arcot Rajasekar	Disjunctive Logic Programs and Constrain Processing.	ISMIS	1991	DBLP DOI BibTeX RDF
82	C. A. Johnson	Computing Only Minimal Answers in Disjunctive Deductive Databases.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
82	Jae-Young Chang, Sang-goo Lee	An optimization of disjunctive queries: union-pushdown.	COMPSAC	1997	DBLP DOI BibTeX RDF	disjunctive query optimization, disjunctive predicates, plan generation, union-pushdown, performance analysis, query processing, query optimizers
79	Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You	Unfolding partiality and disjunctions in stable model semantics.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
79	Miguel A. Salido, Federico Barber	Disjunction of Non-binary and Numeric Constraint Satisfaction Problems.	CCIA	2002	DBLP DOI BibTeX RDF	non-binary constraints, Disjunctive constraints, CSPs
77	Yuliya Lierler	cmodels - SAT-Based Disjunctive Answer Set Solver.	LPNMR	2005	DBLP DOI BibTeX RDF
77	Klaus Ambos-Spies, Edgar Busse	Computational Aspects of Disjunctive Sequences.	MFCS	2004	DBLP DOI BibTeX RDF
77	Sergio Greco	Minimal Founded Semantics for Disjunctive Logic Programming.	LPNMR	1999	DBLP DOI BibTeX RDF
77	Hugo Volger	The Semantics of Disjunctive Deductive Databases.	CSL	1989	DBLP DOI BibTeX RDF
75	Kewen Wang 0001, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
68	Jack Minker, Dietmar Seipel	Disjunctive Logic Programming: A Survey and Assessment.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
68	Chitta Baral	Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
68	Guo-Qiang Zhang 0001	Disjunctive Systems and L-Domains.	ICALP	1992	DBLP DOI BibTeX RDF
66	Emilia Oikarinen, Tomi Janhunen	Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.	AIMSA	2008	DBLP DOI BibTeX RDF	Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation
66	Charles Audet, Jean Haddad, Gilles Savard	Disjunctive cuts for continuous linear bilevel programming.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Linear bilevel programming, Disjunctive cuts, Global optimization
59	Sharon Barner, Ishai Rabinovitz	Effcient Symbolic Model Checking of Software Using Partial Disjunctive Partitioning.	CHARME	2003	DBLP DOI BibTeX RDF
59	Thomas Lukasiewicz	Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.	LPNMR	2001	DBLP DOI BibTeX RDF
59	Dietmar Seipel	An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases.	FQAS	1998	DBLP DOI BibTeX RDF
59	Liz Sonenberg, Rodney W. Topor	On Domain Independent Disjunctive Databases.	ICDT	1988	DBLP DOI BibTeX RDF
57	Lewis Ntaimo, Matthew W. Tanner	Computations with disjunctive cuts for two-stage stochastic mixed 0-1 integer programs.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Lift-and-project cuts, Integer programming, Stochastic programming, Disjunctive programming
57	Andreas Behrend	A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases.	ADBIS	2007	DBLP DOI BibTeX RDF	Deductive Databases, View Updating, Disjunctive Datalog
57	Olaf Stursberg, Sebastian Panek	Control of Switched Hybrid Systems Based on Disjunctive Formulations.	HSCC	2002	DBLP DOI BibTeX RDF	Switched Dynamics, Optimal Control, Mixed Integer Programming, Hybrid Automata, Disjunctive Programming
57	Hiroshi Sawada, Shigeru Yamashita, Akira Nagoya	Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions.	DATE	1998	DBLP DOI BibTeX RDF	simple disjunctive decomposition, symmetric variables, multi-level logic circuit, ordered binary decision diagram
52	Egon Balas	Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	sequential convexification, 0-1 programming, disjunctive programming, lift-and-project
50	Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone	Enhancing the Magic-Set Method for Disjunctive Datalog Programs.	ICLP	2004	DBLP DOI BibTeX RDF
50	Jan Friso Groote, Misa Keinänen	Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.	TACAS	2004	DBLP DOI BibTeX RDF
50	Tomi Janhunen, Emilia Oikarinen	Capturing Parallel Circumscription with Disjunctive Logic Programs.	JELIA	2004	DBLP DOI BibTeX RDF
50	Qingyuan Bai, Jun Hong 0001, Michael F. McTear, Hui Wang 0001	Bucket-Based Query Rewriting with Disjunctive Data Source.	Web Intelligence	2004	DBLP DOI BibTeX RDF
50	Katsumi Inoue, Chiaki Sakama	Disjunctive Explanations.	ICLP	2002	DBLP DOI BibTeX RDF
50	Tomi Janhunen	On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.	LPNMR	2001	DBLP DOI BibTeX RDF
50	Rajshekhar Sunderraman	Modeling Negative and Disjunctive Information in Relational Databases.	DEXA	1997	DBLP DOI BibTeX RDF
50	Roberto Giacobazzi, Francesco Ranzato	Compositional Optimization of Disjunctive Abstract Interpretations.	ESOP	1996	DBLP DOI BibTeX RDF
50	Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh	Goal-Directed Query Processing in Disjunctive Logic Databases	PLILP	1995	DBLP DOI BibTeX RDF
50	Thomas Eiter, Georg Gottlob	Complexity Aspects of Various Semantics for Disjunctive Databases.	PODS	1993	DBLP DOI BibTeX RDF
50	José Alberto Fernández, Jack Minker	Semantics of Disjunctive Deductive Databases.	ICDT	1992	DBLP DOI BibTeX RDF
48	Richard Kuntschke, Alfons Kemper	Matching and evaluation of disjunctive predicates for data stream sharing.	CIKM	2006	DBLP DOI BibTeX RDF	data stream sharing, disjunctive predicates, predicate evaluation, predicate matching
48	Kazuhiro Shimizu, Takao Miura	Mining Single Sequence at Once Using Disjunctive Tree Patterns.	HIS	2006	DBLP DOI BibTeX RDF	Disjunctive Tree Pattern, Anti-Monotonicity, Semi-Structured Data
48	Kazuhiro Shimizu, Takao Miura	Disjunctive Sequential Patterns on Single Data Sequence and Its Anti-monotonicity.	MLDM	2005	DBLP DOI BibTeX RDF	Disjunctive Sequence Pattern, Anti-Monotonicity, Single Data Sequence
48	Dusan Guller	Procedural Semantics for Fuzzy Disjunctive Programs.	LPAR	2002	DBLP DOI BibTeX RDF	multivalued logic programming, logic in artificial intelligence, fuzzy logic, knowledge representation and reasoning, model theory, disjunctive logic programming
48	Dietmar Seipel, Ulrich Geske	Cardinality Constraints in Disjunctive Deductive Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF	hyperresolution, constraint logic programming, disjunctive logic programming, cardinality constraints
48	Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner, Michael Steinbrunn	Optimization and Evaluation of Disjunctive Queries.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	disjunctive queries, query evaluation plans, expensive query predicates, bypass processing, query processing, Query optimization
46	Ignacio E. Grossmann	Generalized Disjunctive Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Outer-approximation method, Generalized benders decomposition, Convex hull, Mixed-integer programming, Disjunctive programming, Generalized disjunctive programming
46	Hanif D. Sherali	Disjunctive Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polyhedral annexation, Facial disjunctive program, Nondominated cuts, Tight relaxations, Model reformulation, Mixed integer 0-1 programs, Convex hull, Cutting planes, Facet, Valid inequalities, Disjunctive programming, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs
46	Edward P. F. Chan	A Possible World Semantics for Disjunctive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	ground atom, disjunctive database, generalized closed world assumption, GCWA, disjunctive database rule, DDR, PWS, propositional databases, negative ground literal, co-NP-hard, knowledge based systems, database theory, deductive databases, database semantics, possible world semantics, negative information
45	Rada Chirkova, Chen Li 0001	Materializing views with minimal size to answer queries.	PODS	2003	DBLP DOI BibTeX RDF
45	Egon Balas	Projection and Lifting in Combinatorial Optimization.	Computational Combinatorial Optimization	2001	DBLP DOI BibTeX RDF
45	Dietmar Seipel	An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation Sets.	LPAR	1994	DBLP DOI BibTeX RDF
43	Sangbum Lee, Ignacio E. Grossmann	Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	logic-based programming, global optimization, mixed-integer programming, generalized disjunctive programming
43	Suvrajeet Sen, Julia L. Higle	The C3 Theorem and a D2 Algorithm for Large Scale Stochastic Mixed-Integer Programming: Set Convexification.	Math. Program.	2005	DBLP DOI BibTeX RDF	Stochastic Mixed-Integer Programming, Disjunctive Programming, Cutting Plane Algorithms
43	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	Pushing Goal Derivation in DLP Computations.	LPNMR	1999	DBLP DOI BibTeX RDF	Algorithms, Heuristics, Disjunctive Logic Programming
41	Xiaoping Chen, Jianmin Ji, Fangzhen Lin	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
41	Emilia Oikarinen, Tomi Janhunen	A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.	ICLP	2007	DBLP DOI BibTeX RDF
41	Chao Wang 0001, Zijiang Yang 0006, Franjo Ivancic, Aarti Gupta	Disjunctive image computation for embedded software verification.	DATE	2006	DBLP DOI BibTeX RDF
41	Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001	A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.	TAMC	2006	DBLP DOI BibTeX RDF	double priority, tree method, logic programs
41	Corneliu Popeea, Wei-Ngan Chin	Inferring Disjunctive Postconditions.	ASIAN	2006	DBLP DOI BibTeX RDF
41	Hisayuki Tatsumi, Masahiro Miyakawa, Masao Mukaidono	Upper and Lower Bounds on the Number of Disjunctive Forms.	ISMVL	2006	DBLP DOI BibTeX RDF
41	Joohyung Lee 0002, Vladimir Lifschitz	Loop Formulas for Disjunctive Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
41	Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano	Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.	LPAR	2002	DBLP DOI BibTeX RDF
41	David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran	A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.	ICLP	2002	DBLP DOI BibTeX RDF
41	Miguel A. Salido, Federico Barber	Disjunctive and Continuous Constraint Satisfaction Problems.	CP	2002	DBLP DOI BibTeX RDF
41	Kewen Wang 0001	A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs.	LPNMR	2001	DBLP DOI BibTeX RDF
41	Kewen Wang 0001	A Top-Down Procedure for Disjunctive Well-Founded Semantics.	IJCAR	2001	DBLP DOI BibTeX RDF
41	Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello	Progress Report on the Disjunctive Deductive Database System dlv.	FQAS	1998	DBLP DOI BibTeX RDF
41	Wenjin Lu, Ulrich Furbach	Disjunctive Logic Program = Horn Program + Control Program.	JELIA	1998	DBLP DOI BibTeX RDF
41	Dietmar Seipel	Partial Evidential Stable Models for Disjunctive Deductive Databases.	LPKR	1997	DBLP DOI BibTeX RDF
41	Jia-Huai You, Li-Yan Yuan, Randy Goebel	An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.	FSTTCS	1997	DBLP DOI BibTeX RDF
41	Dongha Shin, Michael L. Hilton	Compilation of Disjunctive Logic Programs Using an Extended WAM.	COMPSAC	1996	DBLP DOI BibTeX RDF
41	Francesco Buccafurri, Nicola Leone, Luigi Palopoli 0001, Pasquale Rullo	Disjunctive Ordered Logic	DEXA	1995	DBLP DOI BibTeX RDF
41	Cristian Papp	A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic Programs.	LPAR	1994	DBLP DOI BibTeX RDF
41	Elsa L. Gunter, Leonid Libkin	OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.	DEXA	1994	DBLP DOI BibTeX RDF
41	Jack Minker, Carolina Ruiz	On Extended Disjunctive Logic Programs.	ISMIS	1993	DBLP DOI BibTeX RDF
41	Rajshekhar Sunderraman	Algebraic Evaluation of Disjunctive Deductive Databases.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
41	Teodor C. Przymusinski	Semantics of Disjunctive Logic Programs and Deductive Databases.	DOOD	1991	DBLP DOI BibTeX RDF
39	Philippe Smets	Belief Functions: The Disjunctive Rule of Combination and the Generalized Bayesian Theorem.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF	Bayes’ theorem, Disjunctive rule of combination, Belief functions
39	Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell	Extending dynamic constraint detection with disjunctive constraints.	WODA	2008	DBLP DOI BibTeX RDF	disjunctive constraint, dynamic constraint inference, behavioral specification
39	Xi-Shun Zhao, Yu-Ping Shen	Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program
39	Ullrich Hustadt, Boris Motik, Ulrike Sattler	Reasoning in Description Logics by a Reduction to Disjunctive Datalog.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Description logics, Data complexity, Disjunctive datalog
39	Sergio Greco	Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Disjunctive databases, optimization, query rewriting
39	Emmanuel Beffara, Vincent Danos	Disjunctive normal forms and local exceptions.	ICFP	2003	DBLP DOI BibTeX RDF	classical realizability, control structures, disjunctive normal forms
39	Sergio Greco, Ester Zumpano	On the rewriting and efficient computation of bound disjunctive datalog queries.	PPDP	2003	DBLP DOI BibTeX RDF	magic-set technique, logic programming, constraints, theory, disjunctive datalog
39	Francesco Buccafurri, Nicola Leone, Pasquale Rullo	Enhancing Disjunctive Datalog by Constraints.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, deductive databases, Nonmonotonic reasoning, disjunctive datalog
39	Bogdan J. Falkowski, Sudha Kannurao	Spectral Theory of Disjunctive Decomposition for Balanced Boolean Functions.	VLSI Design	2000	DBLP DOI BibTeX RDF	Disjunctive decomposition, Balanced Boolean functions, Walsh Transform
39	Tzung-Pei Hong, Shian-Shyong Tseng	Splitting and Merging Version Spaces to Learn Disjunctive Concepts.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Disjunctive concept, incremental learning, merge, split, version space
39	Valeria Bertacco, Maurizio Damiani	The disjunctive decomposition of logic functions.	ICCAD	1997	DBLP DOI BibTeX RDF	disjunctive decomposition, combinational logic optimization
36	Marzena Kryszkiewicz	Compressed Disjunction-Free Pattern Representation versus Essential Pattern Representation.	IDEAL	2009	DBLP DOI BibTeX RDF
36	Thomas Lukasiewicz, Umberto Straccia	Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web.	RR	2007	DBLP DOI BibTeX RDF
36	Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV system for knowledge representation and reasoning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
36	Rajshekhar Sunderraman	Deductive Databases with Conditional Facts.	BNCOD	1993	DBLP DOI BibTeX RDF
36	Gerhard Jäger	Some Contributions to the Logical Analysis of Circumscrition.	CADE	1986	DBLP DOI BibTeX RDF
34	Sumit Gulwani, Florian Zuleger	The reachability-bound problem.	PLDI	2010	DBLP DOI BibTeX RDF	disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions
34	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
34	Elsa Loekito, James Bailey 0001	Using Highly Expressive Contrast Patterns for Classification - Is It Worthwhile?.	PAKDD	2009	DBLP DOI BibTeX RDF	Expressive contrasts, disjunctive emerging patterns, classification, emerging patterns, quantitative association rules
34	Irina Perfilieva	Normal forms in BL and L-sqcup algebras of functions.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Conjunctive and additive normal forms, Extensional functions, algebra, BL-algebra, Universal approximation, Disjunctive
34	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
34	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
34	Meide Zhao, Francis K. H. Quek, Xindong Wu 0001	RIEVL: Recursive Induction Learning in Hand Gesture Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	hand pose recognition, rule-based induction, disjunctive norm form, variable-valued logic, machine learning, feature selection, feature detection, Hand gesture
34	Lawrence Peh, Chi Ping Tsang	Weight Sensitive Boolean Extraction Produces Compact Expressions.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	weight sensitivity, neural network, rule extraction, boolean expression, disjunctive normal form
32	Miroslaw Truszczynski	Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF