1027 search results - page 46 / 206 » Representing and Reasoning with Operational Semantics |
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and re...
95
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
91
Voted
DALT
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we investigate the multiagent planning problem in the presence of cooperative actions and agents, which have their own goals and are willing to cooperate. To this en...
117
Voted
DLOG
2011
14 years 4 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
100
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...