2386 search results - page 135 / 478 » Representing and Reasoning with Preferences |
DEON
2004
Springer
15 years 3 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
EURODAC
1990
IEEE
15 years 2 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...
DLOG
2008
15 years 9 days ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
DALT
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...