# First-order predicate

## Papers overview

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

Review

2017

Review

2017

- 2017

2 A Basic Description Logic 10 2.1 The concept language of the DL ALC 10 2.2 ALC knowledge bases 16 2.2.1 ALC TBoxes 17 2.2.2 ALCâ€¦Â (More)

Is this relevant?

Review

2017

Review

2017

- European Journal of Operational Research
- 2017

This article reviews the design and analysis of simulation experiments. It focusses on analysis via either low-order polynomialâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- AAAI
- 2008

Unifying first-order logic and probability is a long-standi g goal of AI, and in recent years many representations combiningâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- IJCAI
- 2003

âž¤ Inference: combine variable elimination and unification âž£ One step of first-order variable elimination corresponds to anâ€¦Â (More)

Is this relevant?

2003

2003

- J. Log. Algebr. Program.
- 2003

We present an extension of Binary Decision Diagrams BDDs such that they can be used for predicate logic We present a sound andâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- 2001

In this paper, we define a translation of UML class diagrams with OCL constraints into first-order predicate logic. The goal isâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- 1993

We study mobile systems, i.e. systems with a dynamically changing communication topology, from a process algebras point of viewâ€¦Â (More)

Is this relevant?

1984

1984

- J. Comput. Syst. Sci.
- 1984

Some problems concerning the satistiability of first-order predicate calculus formulae in Schonfinkel-Bernays form provide aâ€¦Â (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- J. ACM
- 1976

Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpointâ€¦Â (More)

Is this relevant?

1969

1969

- J. ACM
- 1969

This paper is concerned with the relationship of the termination problem for programs and abstract programs to the validity ofâ€¦Â (More)

Is this relevant?