972 search results - page 79 / 195 » Reasoning with Conditional Time-Intervals |
113
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We consider two-player zero-sum games on graphs. On the basis of the information available to the players these games can be classified as follows: (a) partial-observation (both p...
99
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
125
Voted
DLOG
2010
15 years 23 days ago
2010
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
357
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
108
Voted
LICS
1992
IEEE
15 years 6 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...