Sciweavers

    JAPLL
    2008
    100views more  JAPLL 2008»
    Substantive and procedural norms in normative multiagent systems
    13 years 12 months 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
    13 years 12 months ago
    The three bases for the enthymeme: A dialogical theory
    Download  www.dougwalton.ca
    Douglas Walton
    claim paper
    Read More »
    JAPLL
    2008
    95views more  JAPLL 2008»
    A note on an extension of PDL
    14 years 13 days ago
    A note on an extension of PDL
    Download  www.fmi.uni-stuttgart.de
    Recently visibly pushdown automata have been extended to so called k-phase multistack visibly pushdown automata (k-MVPAs). On the occasion of introducing kMVPAs, it has been asked...
    Stefan Göller, Dirk Nowotka
    claim paper
    Read More »
    JAPLL
    2008
    121views more  JAPLL 2008»
    Reasoning with prioritized information by iterative aggregation of distance functions
    14 years 13 days ago
    Reasoning with prioritized information by iterative aggregation of distance functions
    Download  www2.mta.ac.il
    We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
    Ofer Arieli
    claim paper
    Read More »
    JAPLL
    2008
    53views more  JAPLL 2008»
    The Philosophy of Computer Science
    14 years 13 days ago
    The Philosophy of Computer Science
    Download  cs.joensuu.fi
    Raymond Turner, Amnon H. Eden
    claim paper
    Read More »
    JAPLL
    2008
    67views more  JAPLL 2008»
    Experimenting with computing
    14 years 13 days ago
    Experimenting with computing
    Download  www.uni-potsdam.de
    Meurig Beynon, Steve Russ
    claim paper
    Read More »
    JAPLL
    2008
    91views more  JAPLL 2008»
    Undoing the effects of action sequences
    14 years 13 days ago
    Undoing the effects of action sequences
    Download  people.sabanciuniv.edu
    In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
    Thomas Eiter, Esra Erdem, Wolfgang Faber
    claim paper
    Read More »
    JAPLL
    2008
    79views more  JAPLL 2008»
    The seven virtues of simple type theory
    14 years 13 days ago
    The seven virtues of simple type theory
    Download  imps.mcmaster.ca
    Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
    William M. Farmer
    claim paper
    Read More »
    JAPLL
    2008
    76views more  JAPLL 2008»
    The many faces of counts-as: A formal analysis of constitutive rules
    14 years 13 days ago
    The many faces of counts-as: A formal analysis of constitutive rules
    Download  staff.science.uva.nl
    Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
    Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
    claim paper
    Read More »
    JAPLL
    2008
    101views more  JAPLL 2008»
    Circle graphs and monadic second-order logic
    14 years 13 days ago
    Circle graphs and monadic second-order logic
    Download  www.labri.fr
    A circle graph is the intersection graph of a set of chords of a circle. If a circle graph is prime for the split (or join) decomposition defined by Cunnigham, it has a unique rep...
    Bruno Courcelle
    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.