心胸开阔
发表于 2025-3-23 12:08:17
Tara Athan,Guido Governatori,Monica Palmirani,Adrian Paschke,Adam Wynerei dem die Stimmberechtigten über die Vorlage abstimmen können. Über die Annahme oder Ablehnung einer Vorlage entscheidet nicht allein die Mehrheit der Abstimmenden: Dar-über hinaus ist in der Regel ein Zustimmungsquorum als weiteres Kriterium vorgesehen: d.h. die Mehrheit der Abstimmenden muss glei
micturition
发表于 2025-3-23 14:31:31
Benjamin N. Grosof,Michael Kifer,Paul Fodorerenden Mehrparteiendemokratien, die schon vor 1990 existiert hatten (v.a. Botswana und Mauritius). Andere Länder hingegen erlebten (zwischenzeitliche) Zusammenbrüche der Demokratie (z.B. Gambia, Niger, Nigeria) oder das Abgleiten in Bürgerkriege (z.B. Burundi, Zaïre/D.R. Kongo, Somalia, Sierra Leon
召集
发表于 2025-3-23 21:21:37
http://reply.papertrans.cn/83/8225/822487/822487_13.png
思想灵活
发表于 2025-3-23 23:29:21
Higher-Order Modal Logics: Automation and Applications,roblems. Moreover, also meta reasoning about the embedded modal logics becomes possible. Finally, we illustrate how our approach can be useful for reasoning with web logics and expressive ontologies, and we also sketch a possible solution for handling inconsistent data.
intellect
发表于 2025-3-24 03:01:15
Recommender Systems and Linked Open Data,availability of such data is for sure an opportunity to feed personalized information access tools such as recommender systems. We present an overview on recommender systems and we sketch how to use . to build a new generation of semantics-aware recommendation engines.
收养
发表于 2025-3-24 06:49:02
All About Fuzzy Description Logics and Applications,uctured fuzzy knowledge. Fuzzy knowledge comes into play whenever one has to deal with concepts for which membership is a matter of degree (e.g., the degree of illness is a function of, among others, the body temperature). Specifically, we address the case of the fuzzy variants of conceptual languag
separate
发表于 2025-3-24 11:39:23
Higher-Order Modal Logics: Automation and Applications,gher-order logic by systematically lifting the types of propositions, making them depend on a new atomic type for possible worlds. This approach allows several well-established automated and interactive reasoning tools for classical higher-order logic to be applied also to modal higher-order logic p
Injunction
发表于 2025-3-24 18:00:42
http://reply.papertrans.cn/83/8225/822487/822487_18.png
共栖
发表于 2025-3-24 22:47:36
Recommender Systems and Linked Open Data,ore recent . (.) initiative, a vast amount of RDF data have been published in freely accessible datasets connected with each other to form the so called . cloud. As of today, we have tons of RDF data available in the Web of Data, but only a few applications really exploit their potential power. The
Arthropathy
发表于 2025-3-25 01:30:34
PSOA RuleML: Integrated Object-Relational Data and Rules, predicate application (atom) to be without or with an Object IDentifier (OID) – typed by the predicate as its class – and, orthogonally, the predicate’s arguments to be positional, slotted, or combined. This enables six uses of atoms, which are systematically developed employing examples in present