851 search results - page 23 / 171 » Inaccessibility in Decision Procedures |
122
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
148
Voted
FROCOS
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
378
click to vote
LICS
2012
IEEE
13 years 6 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...
125
click to vote
ALDT
2009
Springer
15 years 10 months ago
2009
Springer
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
135
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...