2291 search results - page 284 / 459 » Representational Reasoning and Verification |
127
click to vote
DLOG
2010
14 years 10 months ago
2010
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
113
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
116
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
77
Voted
CSCWD
2009
Springer
15 years 7 months ago
2009
Springer
Collaborative design often meets together experts of different domains. Such groups need to share a context but often limited this one is often limited to few elements as common l...
115
Voted
DALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...