8 search results - page 1 / 2 » Problem of restricted interpolation in superintuitionistic a... |
IGPL
2010
13 years 3 months ago
2010
AML
2007
13 years 4 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...
PLANX
2007
13 years 6 months 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...
LOGCOM
2008
13 years 4 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...
RWEB
2009
Springer
13 years 11 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...