1966 search results - page 33 / 394 » Description Logics and Planning |
160
click to vote
SUM
2009
Springer
15 years 10 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
151
click to vote
IJCAI
2007
15 years 7 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
172
click to vote
IGPL
2007
15 years 6 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
182
Voted
TSMC
2010
15 years 23 days ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
170
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...