3970 search results - page 195 / 794 » A Logic For Causal Reasoning |
DEON
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
IGPL
2008
13 years 9 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
DLOG
2010
13 years 7 months ago
2010
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
LILOG
1989
14 years 1 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
GCC
2003
Springer
14 years 2 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...