Search results for "Disjunction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
64	Marzena Kryszkiewicz	Upper Bound on the Length of Generalized Disjunction-Free Patterns.	SSDBM	2004	DBLP DOI BibTeX RDF
53	Roberto Confalonieri 0001, Juan Carlos Nieves, Javier Vázquez-Salceda	Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction.	AI*IA	2009	DBLP DOI BibTeX RDF
53	Makoto Tatsuta	Simple Saturated Sets for Disjunction and Second-Order Existential Quantification.	TLCA	2007	DBLP DOI BibTeX RDF
53	Gilles Trombettoni, Gilles Chabert	Constructive Interval Disjunction.	CP	2007	DBLP DOI BibTeX RDF
47	Antonio Hernández Zavala, Ildar Z. Batyrshin, Imre J. Rudas, Luis A. Villa Vargas, Oscar Camacho Nieto	Parametric Operations for Digital Hardware Implementation of Fuzzy Systems.	MICAI	2009	DBLP DOI BibTeX RDF	digital fuzzy hardware, parametric conjunction, Fuzzy logic, generator, conjunction, disjunction
47	Martin Ralbovský, Tomás Kuchar	Using Disjunctions in Association Mining.	ICDM	2007	DBLP DOI BibTeX RDF	GUHA Method, Ferda, Association Mining, Disjunction
45	Peter Auer, Manfred K. Warmuth	Tracking the Best Disjunction.	FOCS	1995	DBLP DOI BibTeX RDF	best disjunction tracking, deterministic on-line learning algorithm, k-literal disjunctions, worst-case mistake bounds, learning (artificial intelligence), upper bounds, computational linguistics, randomised algorithms, amortized analysis, Winnow
44	Sara Cohen, Yehoshua Sagiv	An incremental algorithm for computing ranked full disjunctions.	PODS	2005	DBLP DOI BibTeX RDF
44	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
42	Marzena Kryszkiewicz	Compressed Disjunction-Free Pattern Representation versus Essential Pattern Representation.	IDEAL	2009	DBLP DOI BibTeX RDF
42	Emanuele Stomeo, Tatiana Kalganova, Cyrille Lambert	Generalized Disjunction Decomposition for the Evolution of Programmable Logic Array Structures.	AHS	2006	DBLP DOI BibTeX RDF
42	Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen	Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.	JELIA	2002	DBLP DOI BibTeX RDF
42	Philippe de Groote	Strong Normalization of Classical Natural Deduction with Disjunction.	TLCA	2001	DBLP DOI BibTeX RDF
42	Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki	Eventuality in LOTOS with a Disjunction Operator.	ASIAN	1998	DBLP DOI BibTeX RDF
36	Lloyd Humberstone	Investigations into a left-structural right-substructural sequent calculus.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Multiplicative disjunction, Fission, Structural rules, Sequent calculus, Substructural logics
36	Ildar Z. Batyrshin, Antonio Hernández Zavala, Oscar Camacho Nieto, Luis A. Villa Vargas	Generalized Fuzzy Operations for Digital Hardware Implementation.	MICAI	2007	DBLP DOI BibTeX RDF	Fuzzy system, digital system, conjunction, disjunction
36	Kosta Dosen, Zoran Petric	Coherent Bicartesian and Sesquicartesian Categories.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
33	Wolfgang Faber 0001, Nicola Leone	On the Complexity of Answer Set Programming with Aggregates.	LPNMR	2007	DBLP DOI BibTeX RDF
33	Willem J. Blok, James G. Raftery	Fragments of R-Mingle.	Stud Logica	2004	DBLP DOI BibTeX RDF	Sugihara algebra, mingle, fragment, RM, relevance logic
33	Davy Van Nieuwenborgh, Dirk Vermeir	Order and Negation as Failure.	ICLP	2003	DBLP DOI BibTeX RDF
33	Yaron Kanza, Yehoshua Sagiv	Computing full disjunctions.	PODS	2003	DBLP DOI BibTeX RDF
33	David Billington, Andrew Rock	Constructive Plausible Logic Is Relatively Consistent.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Knowledge representation, Logic, Common-sense reasoning, Nonmonotonicity
33	Michael Perregaard, Egon Balas	Generating Cuts from Multiple-Term Disjunctions.	IPCO	2001	DBLP DOI BibTeX RDF
33	Rui Da Silva Neves, Eric Raufaste	Polymorphism of Human Judgment under Uncertainty.	ECSQARU	2001	DBLP DOI BibTeX RDF
33	Donald A. Smith, Timothy J. Hickey	Multi-SLD Resolution.	LPAR	1994	DBLP DOI BibTeX RDF
31	E. Patrick Shironoshita, Yves R. Jean-Mary, Ray M. Bradley, Mansur R. Kabuka	semQA: SPARQL with Idempotent Disjunction.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
31	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
31	San-Min Wang, Petr Cintula	Logics with disjunction and proof by cases.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B22, 03B47, 03B52
31	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
31	Matthias Brantner, Norman May, Guido Moerkotte	Unnesting Scalar SQL Queries in the Presence of Disjunction.	ICDE	2007	DBLP DOI BibTeX RDF
31	Wu Chen, Norman Y. Foo, Mingyi Zhang	Forgetting in Logic Programs with Ordered Disjunction.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
31	Marzena Kryszkiewicz	Generalized Disjunction-Free Representation of Frequents Patterns with at Most k Negations.	PAKDD	2006	DBLP DOI BibTeX RDF
31	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	On the complexity of the disjunction property in intuitionistic and modal logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	feasible interpolation, proof-length, modal logic, Intuitionistic logic
31	João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira	A Well-Founded Semantics with Disjunction.	ICLP	2005	DBLP DOI BibTeX RDF
31	Naijun Zhan, Mila E. Majster-Cederbaum	Deriving Non-determinism from Conjunction and Disjunction.	FORTE	2005	DBLP DOI BibTeX RDF	Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism
31	Marzena Kryszkiewicz, Katarzyna Cichon	Support Oriented Discovery of Generalized Disjunction-Free Representation of Frequent Patterns with Negation.	PAKDD	2005	DBLP DOI BibTeX RDF
31	Marzena Kryszkiewicz	Reducing borders of k-disjunction free representations of frequent patterns.	SAC	2004	DBLP DOI BibTeX RDF	data mining, knowledge discovery, frequent patterns, concise representations
31	Athanassios Tzouvaras	The Logic of Multisets Continued: The Case of Disjunction.	Stud Logica	2003	DBLP DOI BibTeX RDF	disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset
31	Frank Neven, Thomas Schwentick	XPath Containment in the Presence of Disjunction, DTDs, and Variables.	ICDT	2003	DBLP BibTeX RDF
31	Olivier Lhomme	An Efficient Filtering Algorithm for Disjunction of Constraints.	CP	2003	DBLP DOI BibTeX RDF
31	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.	LPAR	2002	DBLP DOI BibTeX RDF
31	Marzena Kryszkiewicz, Marcin Gajek	Why to Apply Generalized Disjunction-Free Generators Representation of Frequent Patterns?	ISMIS	2002	DBLP DOI BibTeX RDF
31	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
31	Marzena Kryszkiewicz, Marcin Gajek	Concise Representation of Frequent Patterns Based on Generalized Disjunction-Free Generators.	PAKDD	2002	DBLP DOI BibTeX RDF
25	Jiang Zhan, Shan Wang 0001	ITREKS: Keyword Search over Relational Database by Indexing Tuple Relationship.	DASFAA	2007	DBLP DOI BibTeX RDF	full disjunction, relational database, keyword search
25	Maria Aloni	Expressing Ignorance or Indifference.	TbiLLC	2005	DBLP DOI BibTeX RDF	free choice indefinites, bi-directional optimality theory, disjunction, implicatures
25	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Deductive Databases by Mixed Integer Programming.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	negation and disjunction in deductive databases, minimal models
25	Dana Angluin, Michael Frazier, Leonard Pitt	Learning Conjunctions of Horn Clauses (Extended Abstract)	FOCS	1990	DBLP DOI BibTeX RDF	clauses, Horn clause conjunctions, Horn sentence, disjunction of literals, negated variable, unknown formula, learning algorithm, Boolean formulas, polynomial time complexity, membership queries, equivalence queries
22	Andreas Podelski, Thomas Wies	Counterexample-guided focus.	POPL	2010	DBLP DOI BibTeX RDF	quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement
22	Peter Nightingale	Non-binary quantified CSP: algorithms and modelling.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm
22	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
22	Yasunori Ishihara, Takuji Morimoto, Shougo Shimizu, Kenji Hashimoto, Toru Fujiwara	A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes.	DBPL	2009	DBLP DOI BibTeX RDF
22	James Ostrowski, Jeff T. Linderoth, Fabrizio Rossi, Stefano Smriglio	Constraint Orbital Branching.	IPCO	2008	DBLP DOI BibTeX RDF
22	Hubie Chen, Florent R. Madelaine, Barnaby Martin	Quantified Constraints and Containment Problems.	LICS	2008	DBLP DOI BibTeX RDF
22	San-Min Wang, Bin Zhao, Peng Wang	A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties.	IFSA (2)	2007	DBLP DOI BibTeX RDF	Fuzzy quantifier, Sugeno’s integral, MTL, Fuzzy logic
22	Ying Gao, Jingde Cheng	Operational Semantics for Positive Relevant Logics Without Distribution.	CiE	2007	DBLP DOI BibTeX RDF	Operational semantics, Relevant logics
22	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
22	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon	SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
22	Robert L. Constable, Wojciech Moczydlowski	Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Scott Dick	Toward complex fuzzy logic.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
22	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
22	Ismael Ejarque, Guillermo López-Campos, Michel Herranz, Francisco-Javier Vicente, Fernando Martín-Sánchez	A Bioinformatic Approach to Epigenetic Susceptibility in Non-disjunctional Diseases.	ISBMDA	2005	DBLP DOI BibTeX RDF
22	Alin Deutsch, Bertram Ludäscher, Alan Nash	Rewriting Queries Using Views with Access Patterns Under Integrity Constraints.	ICDT	2005	DBLP DOI BibTeX RDF
22	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
22	Arun K. Pujari, T. Adilakshmi	A Novel Heuristic to Solve IA Network by Convex Approximation and Weights.	PRICAI	2004	DBLP DOI BibTeX RDF
22	Michael Backes 0001, Markus Dürmuth, Rainer Steinwandt	An Algebra for Composing Enterprise Privacy Policies.	ESORICS	2004	DBLP DOI BibTeX RDF
22	Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey	Box Constraint Collections for Adhoc Constraints.	CP	2003	DBLP DOI BibTeX RDF
22	Lujo Bauer, Jarred Ligatti, David Walker 0001	Types and Effects for Non-interfering Program Monitors.	ISSS	2002	DBLP DOI BibTeX RDF
22	Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano	Translating Datalog-Like Optimization Queries into ILOG Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
22	Artur Bykowski, Christophe Rigotti	A condensed representation to find frequent patterns. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
22	John F. Pane, Brad A. Myers	Tabular and Textual Methods for Selecting Objects from a Group.	VL	2000	DBLP DOI BibTeX RDF
22	Ian Horrocks 0001, Lin Padgham, Laura Thomson	Feasibility of Optimised Disjunctive Reasoning for Approximate Matching.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
22	Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino	Disjunctions of Horn Theories and Their Cores.	ISAAC	1998	DBLP DOI BibTeX RDF
22	Donald A. Smith	Why Multi-SLD Beats SLD (Even on a Uniprocessor).	PLILP	1994	DBLP DOI BibTeX RDF
22	Nigel Ward	Adding Specification Constructors to the Refinement Calculus.	FME	1993	DBLP DOI BibTeX RDF
22	Monica D. Barback, Jorge Lobo 0001, James J. Lu	Minimizing Indefinite Information in Disjunctive Deductive Databases.	ICDT	1992	DBLP DOI BibTeX RDF
20	Taishi Kurahashi, Motoki Okuda	Disjunction and existence Properties in Modal Arithmetic.	Rev. Symb. Log.	2024	DBLP DOI BibTeX RDF
20	Katsumasa Ishii	On Harrop disjunction property in intermediate predicate logics.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
20	Pavel Hubácek, Erfan Khaniki, Neil Thapen	TFNP Intersections Through the Lens of Feasible Disjunction.	ITCS	2024	DBLP DOI BibTeX RDF
20	Raffaele Cerulli, Francesca Guerriero, Edoardo Scalzo, Carmine Sorgente	Shortest paths with exclusive-disjunction arc pairs conflicts.	Comput. Oper. Res.	2023	DBLP DOI BibTeX RDF
20	David R. Bickel	Fisher's disjunction as the principle vindicating p-values, confidence intervals, and their generalizations: A frequentist semantics for possibility theory.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
20	André Frochaux, Sarah Kleest-Meißner	Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps.	CoRR	2023	DBLP DOI BibTeX RDF
20	Maria Aloni, Peter van Ormondt	Modified Numerals and Split Disjunction: The First-Order Case.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
20	Casey D. Felton, Masoud Jasbi	Prior Beliefs About the Compatibility of Disjuncts Impact the Exclusivity Implication of Disjunction.	CogSci	2023	DBLP BibTeX RDF
20	André Frochaux, Sarah Kleest-Meißner	Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps.	AMW	2023	DBLP BibTeX RDF
20	Stefan Mengel	No Efficient Disjunction or Conjunction of Switch-Lists.	J. Satisf. Boolean Model. Comput.	2022	DBLP DOI BibTeX RDF
20	Lloyd Humberstone	Idempotent Variations on the Theme of Exclusive Disjunction.	Stud Logica	2022	DBLP DOI BibTeX RDF
20	Haoyu Wang, Yanjing Wang 0001, Yunsong Wang	An Epistemic Interpretation of Tensor Disjunction.	CoRR	2022	DBLP DOI BibTeX RDF
20	Stefan Mengel	No Efficient Disjunction or Conjunction of Switch-Lists.	CoRR	2022	DBLP DOI BibTeX RDF
20	Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis	Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective.	CoRR	2022	DBLP DOI BibTeX RDF
20	Angelos Charalambidis, Christos Nomikos, Panos Rondogiannis	Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
20	Max Gläser, Marc E. Pfetsch	On the Complexity of Finding Shortest Variable Disjunction Branch-and-Bound Proofs.	IPCO	2022	DBLP DOI BibTeX RDF
20	Gabriel Balaban, Eivind Westrum Aabel, Margareth Ribe, Anna Isotta Castrini, Kristina Haugaa, Mary M. Maleckar	Towards an Automated Pipeline to Create Patient Specific 3D LV Geometry Models of Patients with Mitral Annular Disjunction.	CinC	2022	DBLP DOI BibTeX RDF
20	Yanjing Wang 0001, Yunsong Wang, Haoyu Wang	An Epistemic Interpretation of Tensor Disjunction.	AiML	2022	DBLP BibTeX RDF
20	Patrick D. Elliott	Disjunction in a Predictive Theory of Anaphora.	TLLM	2022	DBLP DOI BibTeX RDF
20	Oana Lungu, Anamaria Falaus, Francesca Panzeri	Disjunction in Negative Contexts: A Cross-Linguistic Experimental Study.	J. Semant.	2021	DBLP DOI BibTeX RDF
20	William Roche, Elliott Sober	Disjunction and distality: the hard problem for purely probabilistic causal theories of mental content.	Synth.	2021	DBLP DOI BibTeX RDF
20	Geetha Pavani Pappu, Birendra Biswal, M. V. S. Sairam, Pradyut Kumar Biswal	An exclusive-disjunction-based detection of neovascularisation using multi-scale CNN.	IET Image Process.	2021	DBLP DOI BibTeX RDF
20	Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis	A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction.	CoRR	2021	DBLP BibTeX RDF
20	Jagriti Agrawal, Wayne Chi, Steve A. Chien, Gregg R. Rabideau, Stephen Kuhn, Daniel M. Gaines, Tiago Vaquero, Sarah Bhaskaran	Enabling Limited Resource-Bounded Disjunction in Scheduling.	J. Aerosp. Inf. Syst.	2021	DBLP DOI BibTeX RDF