2138 search results - page 310 / 428 » Logics for the Relational Syllogistic |
CIA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
ISMVL
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
A core prescription from the knowledge management movement is that the successful management of organizational knowledge will prevent firms from “reinventing the wheel.” Infor...
ICLP
2001
Springer
14 years 1 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...