4961 search results - page 330 / 993 » Homomorphism-Homogeneous Relational Structures |
160
click to vote
SLOGICA
1998
15 years 4 months ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
137
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
— This work presents related areas of research, types of data collections that are visualized, technical aspects of generating visualizations, and evaluation methodologies. Exist...
116
click to vote
ORDER
2010
15 years 2 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
149
click to vote
ACL
2010
15 years 2 months ago
2010
The core-adjunct argument distinction is a basic one in the theory of argument structure. The task of distinguishing between the two has strong relations to various basic NLP task...
132
click to vote
ICMI
2010
Springer
15 years 2 months ago
2010
Springer
Quantifying the relationship between group dynamics and group performance is a key issue of increasing group performance. In this paper, we will discuss how group performance is r...