14709 search results - page 406 / 2942 » Semantic feature modelling |
176
click to vote
AIIA
2005
Springer
16 years 13 days ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
166
click to vote
P2P
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper some representative peer-to-peer file sharing applications are compared against two sets of features. The first set describes the semantics of the relevant primiti...
180
click to vote
AAAI
2007
15 years 9 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...
167
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
181
click to vote
ACL
1998
15 years 8 months ago
1998
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A Astructure can be considered as a A-term up to...