1996 search results - page 10 / 400 » A decision procedure for linear |
IJCAI
1997
14 years 11 months ago
1997
This paper investigates the evaluation method of decision procedures for multi-modal logic proposed by Giunchiglia and Sebastiani as an adaptation from the evaluation method of Mi...
100
click to vote
SEFM
2006
IEEE
15 years 4 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
EUSFLAT
2007
14 years 11 months ago
2007
We study in this paper the following sequential decision procedure. First, the members of a group show their opinions on all the members, regarding a specific attribute. Taking i...
AIML
1998
14 years 11 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
JAR
2007
14 years 10 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...