Sciweavers

    JAPLL
    2008
    100views more  JAPLL 2008»
    Substantive and procedural norms in normative multiagent systems
    14 years 3 days ago
    Substantive and procedural norms in normative multiagent systems
    Download  www.di.unito.it
    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 »
    JAPLL
    2008
    78views more  JAPLL 2008»
    The three bases for the enthymeme: A dialogical theory
    14 years 3 days ago
    The three bases for the enthymeme: A dialogical theory
    Download  www.dougwalton.ca
    Douglas Walton
    claim paper
    Read More »
    JAPLL
    2007
    104views more  JAPLL 2007»
    An axiomatization of family resemblance
    14 years 4 days ago
    An axiomatization of family resemblance
    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 »
    JAPLL
    2006
    68views more  JAPLL 2006»
    Methods for modalities 3
    14 years 17 days ago
    Methods for modalities 3
    Download  www.loria.fr
    Carlos Areces
    claim paper
    Read More »
    JAPLL
    2006
    104views more  JAPLL 2006»
    A proof-centric approach to mathematical assistants
    14 years 17 days ago
    A proof-centric approach to mathematical assistants
    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 »
    JAPLL
    2006
    97views more  JAPLL 2006»
    Model checking propositional dynamic logic with all extras
    14 years 17 days ago
    Model checking propositional dynamic logic with all extras
    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 »
    JAPLL
    2006
    90views more  JAPLL 2006»
    Definability and decidability of binary predicates for time granularity
    14 years 17 days ago
    Definability and decidability of binary predicates for time granularity
    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 »
    JAPLL
    2006
    114views more  JAPLL 2006»
    The monadic second-order logic of graphs XV: On a conjecture by D. Seese
    14 years 17 days ago
    The monadic second-order logic of graphs XV: On a conjecture by D. Seese
    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 »
    JAPLL
    2006
    112views more  JAPLL 2006»
    Intuitionistic hybrid logic
    14 years 17 days ago
    Intuitionistic hybrid logic
    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 »
    JAPLL
    2006
    56views more  JAPLL 2006»
    Towards computer aided mathematics
    14 years 17 days ago
    Towards computer aided mathematics
    Download  www.ags.uni-sb.de
    Christoph Benzmüller
    claim paper
    Read More »
    12next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.