9145 search results - page 141 / 1829 » Description Logic Systems |
155
click to vote
AAAI
2007
15 years 7 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
180
click to vote
IGPL
2010
15 years 3 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
177
click to vote
DALT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this paper, we describe the declarative agent programming language Jadl (JIAC Agent Description Language). Based on threevalued logic, it incorporates ontologies, FIPA...
162
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
147
Voted
LFCS
2009
Springer
15 years 12 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...