Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

Highly Cited

2008

Highly Cited

2008

Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining… Expand

Is this relevant?

Highly Cited

2006

Highly Cited

2006

We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A… Expand

Is this relevant?

Highly Cited

2003

Highly Cited

2003

Context simplifies and enriches human-human interaction. However, enhancing human-computer interaction through the use of context… Expand

Is this relevant?

Highly Cited

2003

Highly Cited

2003

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic… Expand

Is this relevant?

Highly Cited

1998

Highly Cited

1998

Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order… Expand

Is this relevant?

Highly Cited

1990

Highly Cited

1990

This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to… Expand

Is this relevant?

Highly Cited

1990

Highly Cited

1990

The notion of a recognizable set of finite graphs is introduced. Every set of finite graphs, that is definable in monadic second… Expand

Is this relevant?

Highly Cited

1979

Highly Cited

1979

Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal… Expand

Is this relevant?

Highly Cited

1976

Highly Cited

1976

Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint… Expand

Is this relevant?

Highly Cited

1972

Highly Cited

1972

USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC.

Is this relevant?