JAPLL 2006 | Sciweavers

9

JAPLL
2008

100views more JAPLL 2008»

Substantive and procedural norms in normative multiagent systems

13 years 4 months ago

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

claim paper

Read More »

12

click to vote

JAPLL
2008

78views more JAPLL 2008»

The three bases for the enthymeme: A dialogical theory

13 years 4 months ago

Download www.dougwalton.ca

Douglas Walton

claim paper

Read More »

12

click to vote

JAPLL
2007

104views more JAPLL 2007»

An axiomatization of family resemblance

13 years 4 months ago

Download centria.fct.unl.pt

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

claim paper

Read More »

4

click to vote

JAPLL
2006

68views more JAPLL 2006»

Methods for modalities 3

13 years 4 months ago

Download www.loria.fr

Carlos Areces

claim paper

Read More »

16

click to vote

JAPLL
2006

104views more JAPLL 2006»

A proof-centric approach to mathematical assistants

13 years 4 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

19

click to vote

JAPLL
2006

97views more JAPLL 2006»

Model checking propositional dynamic logic with all extras

13 years 4 months ago

Download www2.tcs.ifi.lmu.de

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

claim paper

Read More »

10

click to vote

JAPLL
2006

90views more JAPLL 2006»

Definability and decidability of binary predicates for time granularity

13 years 4 months ago

Download users.dimi.uniud.it

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...

claim paper

Read More »

14

click to vote

JAPLL
2006

114views more JAPLL 2006»

The monadic second-order logic of graphs XV: On a conjecture by D. Seese

13 years 4 months ago

Download www.labri.fr

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

claim paper

Read More »

14

click to vote

JAPLL
2006

112views more JAPLL 2006»

Intuitionistic hybrid logic

13 years 4 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

7

click to vote

JAPLL
2006

56views more JAPLL 2006»

Towards computer aided mathematics

13 years 4 months ago