851 search results - page 2 / 171 » Inaccessibility in Decision Procedures |
CTRS
1990
13 years 9 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
CONTEXT
2003
Springer
13 years 10 months ago
2003
Springer
Although it seems obvious that decision making is a contextual task, papers dealing with decision making tackle rarely the problem of contextual information management. After a bri...
LOPSTR
1998
Springer
13 years 9 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
CSL
2001
Springer
13 years 9 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
CADE
2006
Springer
14 years 5 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...