• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 407
Next 10 →

Efficient semantic matching

by Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia , 2004
"... We think of Match as an operator which takes two graph-like structures and produces a mapping between semantically related nodes. We concentrate on classifications with tree structures. In semantic matching, correspondences are discovered by translating the natural language labels of nodes into prop ..."
Abstract - Cited by 855 (68 self) - Add to MetaCart
into propositional formulas, and by codifying matching into a propositional unsatisfiability problem. We distinguish between problems with conjunctive formulas and problems with disjunctive formulas, and present various optimizations. For instance, we propose a linear time algorithm which solves the first class

DISJUNCTION

by unknown authors
"... In this paper I propose a more general framework for tableaux-like first order classical deductions in which bottom-up inferences find a natural place. The result is a new system of proof for classical first order logic with many interesting normal form properties. Restricting myself to classical pr ..."
Abstract - Add to MetaCart
) are in an obvious sense 'elimination ' rules. In general, an elimination rule for a logical con-stant * allows an inference from a formula that has • as principal operator, i.e. an instance of such a rule has a (major) premiss P which has * as principal operator. In an application of such a rule

Learning Decision Lists

by Ronald L. Rivest , 2001
"... This paper introduces a new representation for Boolean functions, called decision lists, and shows that they are efficiently learnable from examples. More precisely, this result is established for \k-DL" { the set of decision lists with conjunctive clauses of size k at each decision. Since k ..."
Abstract - Cited by 427 (0 self) - Add to MetaCart
k-DL properly includes other well-known techniques for representing Boolean functions such as k-CNF (formulae in conjunctive normal form with at most k literals per clause), k-DNF (formulae in disjunctive normal form with at most k literals per term), and decision trees of depth k, our result

A Formulae-as-Types Notion of Control

by Timothy G. Griffin - In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages , 1990
"... The programming language Scheme contains the control construct call/cc that allows access to the current continuation (the current control context). This, in effect, provides Scheme with first-class labels and jumps. We show that the well-known formulae-astypes correspondence, which relates a constr ..."
Abstract - Cited by 294 (0 self) - Add to MetaCart
The programming language Scheme contains the control construct call/cc that allows access to the current continuation (the current control context). This, in effect, provides Scheme with first-class labels and jumps. We show that the well-known formulae-astypes correspondence, which relates a

Loop Formulas for Disjunctive Logic Programs

by Joohyung Lee, Vladimir Lifschitz - In Proc. ICLP-03 , 2003
"... We extend Clark's de nition of a completed program and the de nition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generalizing the Lin/Zhao theorem, shows that answer sets for a disjunctive program can be characterized as the models of its completi ..."
Abstract - Cited by 59 (10 self) - Add to MetaCart
We extend Clark's de nition of a completed program and the de nition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generalizing the Lin/Zhao theorem, shows that answer sets for a disjunctive program can be characterized as the models of its

Automata for the µ-calculus and Related Results

by David Janin, Igor Walukiewicz , 1995
"... The propositional µ-calculus as introduced by Kozen in [4] is considered. The notion of disjunctive formula is defined and it is shown that every formula is semantically equivalent to a disjunctive formula. For these ..."
Abstract - Cited by 14 (3 self) - Add to MetaCart
The propositional µ-calculus as introduced by Kozen in [4] is considered. The notion of disjunctive formula is defined and it is shown that every formula is semantically equivalent to a disjunctive formula. For these

Disjunctive Normal Form for Event-Recording Logic

by Omer L, Ry Nguena Timo
"... Abstract. We consider the semantics equivalence between formulas and formulas in disjunctive normal form. In the settings of the standard µ-calculus, formulas and disjunctive formulas are equivalent. This question is open for timed extensions of the µ-calculus. Sorea has introduced a timed µ-calculu ..."
Abstract - Add to MetaCart
Abstract. We consider the semantics equivalence between formulas and formulas in disjunctive normal form. In the settings of the standard µ-calculus, formulas and disjunctive formulas are equivalent. This question is open for timed extensions of the µ-calculus. Sorea has introduced a timed µ

Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products

by Jonathan Katz, Amit Sahai, Brent Waters
"... Abstract. Predicate encryption is a new paradigm generalizing, among other things, identity-based encryption. In a predicate encryption scheme, secret keys correspond to predicates and ciphertexts are associated with attributes; the secret key SKf corresponding to a predicate f can be used to decryp ..."
Abstract - Cited by 173 (23 self) - Add to MetaCart
, in turn, enables constructions in which predicates correspond to the evaluation of disjunctions, polynomials, CNF/DNF formulae, or threshold predicates (among others). Besides serving as a significant step forward in the theory of predicate encryption, our results lead to a number of applications

On the Computational Cost of Disjunctive Logic Programming: Propositional Case

by Thomas Eiter, Georg Gottlob , 1995
"... This paper addresses complexity issues for important problems arising with disjunctive logic programming. In particular, the complexity of deciding whether a disjunctive logic program is consistent is investigated for a variety of well-known semantics, as well as the complexity of deciding whethe ..."
Abstract - Cited by 141 (26 self) - Add to MetaCart
whether a propositional formula is satised by all models according to a given semantics. We concentrate on nite propositional disjunctive programs with as wells as without integrity constraints, i.e., clauses with empty heads; the problems are located in appropriate slots of the polynomial hierarchy

The Complexity of Minimizing Disjunctive Normal Form Formulas

by Sebastian Lukas, Sebastian Lukas Arne Czort , 1999
"... Contents 1 Introduction 3 2 Preliminaries 6 3 Computing a Minimum DNF 8 4 NP is Enough 11 5 Minimum Term DNF 13 5.2 The hA; Bi-version . . . . . . . . . . . . . . . . . . . . . . . . 17 5.3 Masek's Result . . . . . . . . . . . . . . . . . . . . . . . . . . 18 6 Minimum Length DNF 32 6.1 Length ..."
Abstract - Add to MetaCart
Contents 1 Introduction 3 2 Preliminaries 6 3 Computing a Minimum DNF 8 4 NP is Enough 11 5 Minimum Term DNF 13 5.2 The hA; Bi-version . . . . . . . . . . . . . . . . . . . . . . . . 17 5.3 Masek's Result . . . . . . . . . . . . . . . . . . . . . . . . . . 18 6 Minimum Length DNF 32 6.1 Length vs. Terms . . . . . . . . . . . . . . . . . . . . . . . . . 33 6.2 The A-version . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 6.3 The hA; Bi-version . . . . . . . . . . . . . . . . . . . . . . . . 35 6.4 The full truth-table version . . . . . . . . . . . . . . . . . . . 36 7 Minimum depth DNF 38 7.1 f is a Total Function . . . . . . . . . . . . . . . . . . . . . . . 40 7.2 f is a Partial Function . . . . . . . . . . . . . . . . . . . . . . 42 8 Approximation Hardness 42 8.1 Preserved Solution Values . . . . . . . . . . . . . . . . . . . . 43 8.2 Masek's Reduction . . . . . . . . . . . . . . . . . . . . . . . . 44 8.3 Reductions from X3C . . . . . . . . . . . . . . . . . . . . . . . 4
Next 10 →
Results 1 - 10 of 407
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University