8 search results - page 1 / 2 » Problem of restricted interpolation in superintuitionistic a... |
52
Voted
IGPL
2010
14 years 9 months ago
2010
78
Voted
AML
2007
14 years 11 months ago
2007
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition unde...
113
Voted
PLANX
2007
15 years 9 days ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
82
Voted
LOGCOM
2008
14 years 11 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
93
Voted
RWEB
2009
Springer
15 years 5 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...