Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 210,213,918 papers from all fields of science

Search

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…

Highly Cited

2003

Highly Cited

2003

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

Highly Cited

2002

Highly Cited

2002

The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in…

Review

2001

Review

2001

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

Highly Cited

2001

Highly Cited

2001

This paper formalises within first-order logic some common practices in computer science to do with representing and reasoning…

Highly Cited

1997

Highly Cited

1997

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

Highly Cited

1994

Highly Cited

1994

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

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…

Highly Cited

1990

Highly Cited

1990

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

Highly Cited

1979

Highly Cited

1979

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