Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Horn-satisfiability

Known as: Horn satisfiability, Horn SAT, HORNSAT 
In formal logic, Horn-satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable or not… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
In this paper, we investigate two series of Negative Polarity Items (NPIs) in Dharamsala Tibetan: one series uses the numeral… Expand
2014
2014
We present the results obtained in the OAEI 2014 campaign by our ontology matching system LogMap and its variants: LogMap-C… Expand
  • table 1
  • table 4
  • table 6
  • table 7
  • table 8
2012
2012
First-generation college students enter higher education with deficits, any one of which could prompt them to leave college… Expand
Highly Cited
2010
Highly Cited
2010
We propose low-rank representation (LRR) to segment data drawn from a union of multiple linear (or affine) subspaces. Given a set… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 2
Highly Cited
2010
Highly Cited
2010
Principal component (PCA) and factor analysis (FA) are widely used in animal behaviour research. However, many authors… Expand
  • table 1
2005
2005
New models of schooling are necessary as educational institutions attempt to transition into the digital age. This article is an… Expand
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Highly Cited
1998
Highly Cited
1998
We present global and local algorithms for evaluating minimal fixed points of dependency graphs, a general problem in fixed-point… Expand
Highly Cited
1996
Highly Cited
1996
Abstract The class of generalized satisfiability problems, introduced in 1978 by Schaefer, presents a uniform way of studying the… Expand
  • figure 1
Highly Cited
1984
Highly Cited
1984
New algorithms for deciding whether a (propositional) Horn formula is satisfiable are presented. If the Horn formula A contains K… Expand