5378 search results - page 105 / 1076 » Base Logics in Argumentation |
185
click to vote
DLOG
2007
15 years 8 months ago
2007
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
147
click to vote
FLAIRS
2004
15 years 7 months ago
2004
In possibility theory, there are two kinds of possibilistic causal networks depending if possibilistic conditioning is based on the minimum or on the product operator. Similarly t...
224
click to vote
HIS
2009
15 years 3 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
144
click to vote
TIME
2008
IEEE
16 years 13 days ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
139
click to vote
CALCO
2007
Springer
16 years 7 days ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...