3515 search results - page 220 / 703 » On the semantics of Strategy Logic |
196
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
209
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
200
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
178
Voted
AMAST
2004
Springer
16 years 25 days ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
154
click to vote
DEON
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...