Sciweavers

JAPLL
2008
100views more  JAPLL 2008»
13 years 9 months ago
Substantive and procedural norms in normative multiagent systems
Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to...
Guido Boella, Leendert van der Torre
JAPLL
2007
104views more  JAPLL 2007»
13 years 9 months ago
An axiomatization of family resemblance
We invoke concepts from the theory of hypergraphs to give a measure of the closeness of family resemblance, and to make precise the idea of a composite likeness. It is shown that f...
Ray E. Jennings, Dorian X. Nicholson
JAPLL
2006
68views more  JAPLL 2006»
13 years 10 months ago
Methods for modalities 3
Carlos Areces
JAPLL
2006
104views more  JAPLL 2006»
13 years 10 months ago
A proof-centric approach to mathematical assistants
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
Lucas Dixon, Jacques D. Fleuriot
JAPLL
2006
97views more  JAPLL 2006»
13 years 10 months ago
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Martin Lange
JAPLL
2006
90views more  JAPLL 2006»
13 years 10 months ago
Definability and decidability of binary predicates for time granularity
In this paper we study the definability and decidability of binary predicates for time granularity in monadic languages interpreted over finitely and infinitely layered structures...
Massimo Franceschet, Angelo Montanari, Adriano Per...
JAPLL
2006
114views more  JAPLL 2006»
13 years 10 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle
JAPLL
2006
112views more  JAPLL 2006»
13 years 10 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
JAPLL
2006
56views more  JAPLL 2006»
13 years 10 months ago
Towards computer aided mathematics
Christoph Benzmüller