# Term algebra

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- ECSQARU
- 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

- POPL
- 2010

We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursiveâ€¦Â (More)

Is this relevant?

2003

2003

- KES
- 2003

The paper outlines a semantic ontology as a minimal set of top-level conceptual distinctions underlying natural languageâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- ACM Trans. Comput. Log.
- 2002

We present description logics of minimal knowledge and negation as failure (MKNF-DLs), which augment description logics withâ€¦Â (More)

Is this relevant?

1997

1997

- J. Comput. Syst. Sci.
- 1997

Various types of stable models are known in the literature: T-stable (total stable), P-stable ( partial stable, also called threeâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- 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

- Theor. Comput. Sci.
- 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

- VLDB
- 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

- ICLP
- 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

- Theor. Comput. Sci.
- 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?