Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

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

2006

Highly Cited

2006

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

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

Highly Cited

2002

Highly Cited

2002

Product line models are used to drive the generation of requirements for single systems in the product line. They are difficult… Expand

Review

2001

Review

2001

From the Publisher:
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of… Expand

Highly Cited

1997

Highly Cited

1997

We identify the computational complexity of the satisfiability problem for FO2, the fragment of first-order logic consisting of… Expand

Highly Cited

1996

Highly Cited

1996

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

Highly Cited

1994

Highly Cited

1994

Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent… Expand

Highly Cited

1993

Highly Cited

1993

Abstract To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common… Expand

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

Highly Cited

1972

Highly Cited

1972

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