Term algebra

Known as: Term, Herbrand Universe, Herbrand term 
In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature. For example, in a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Autoepistemic logic is one of the principal formalisms for nonmonotonic reasoning. It extends propositional logic by offering the… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive… (More)
  • figure 2
  • figure 4
  • figure 3
  • figure 9
  • figure 8
Is this relevant?
2003
2003
The paper outlines a semantic ontology as a minimal set of top-level conceptual distinctions underlying natural language… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics with… (More)
  • figure 1
Is this relevant?
1997
1997
Various types of stable models are known in the literature: T-stable (total stable), P-stable ( partial stable, also called three… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
One way to represent a machine learning algorithm's bias over the hypothesis and instance space is as a pair of probability… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
This paper generalizes many-sorted algebra (hereafter, MSA) to order-sorted algebra (hereafter, OSA) by allowing a partial… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The problem of view updates in deductive databases is studied by casting this in a naturally associated abductive framework. It… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Types play an increasingly important role in logic programming, in language design as well as language implementation. We present… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
The notion of iteratively defined functions from and to heterogeneous term algebras is introduced as the solution of a finite set… (More)
Is this relevant?