Skip to search formSkip to main contentSemantic Scholar

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

2005

Highly Cited

2005

Feature models are used to specify members of a product-line. Despite years of progress, contemporary tools often provide limited… Expand

Is this relevant?

Highly Cited

2002

Highly Cited

2002

A novel logic program like language, weight constraint rules, is developed for answer set programming purposes. It generalizes… Expand

Is this relevant?

Highly Cited

2000

Highly Cited

2000

Propositional μ-calculus is an extension of the propositional modal logic with the least fixpoint operator. In the paper… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

Planning is a notoriously hard combinatorial search problem. In many interesting domains, current planning algorithms fail to… Expand

Is this relevant?

Highly Cited

1991

Highly Cited

1991

We describe a theory of authentication and a system that implements it. Our theory is based on the notion of principal and a… Expand

Is this relevant?

Highly Cited

1982

Highly Cited

1982

We define a propositional version of the Μ-calculus, and give an exponential-time decision procedure, small model property, and… Expand

Is this relevant?

Highly Cited

1979

Highly Cited

1979

It is the purpose of this note to show that the question of whether a given propositional formula is intuitionistically valid (in… Expand

Is this relevant?

Highly Cited

1977

Highly Cited

1977

The computational complexity of the provability problem in systems of modal propositional logic is investigated. Every problem… Expand

Is this relevant?

Highly Cited

1974

Highly Cited

1974

One of the most important open questions in the field of computational complexity is the question of whether there is a… Expand

Is this relevant?

Highly Cited

1963

Highly Cited

1963

Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The… Expand

Is this relevant?