2022 search results - page 76 / 405 » Complexity of Non-Monotonic Logics |
120
click to vote
EEE
2005
IEEE
15 years 6 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
127
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
99
Voted
CORR
2004
Springer
15 years 16 days ago
2004
Springer
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
103
Voted
ISMVL
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper considers quasi-reduced multi-valued decision diagrams with bits (QRMDD( )s) to represent twovalued logic functions. It shows relations between the numbers of nodes in ...