Sciweavers

    376 search results - page 64 / 76
    » Agent Logics as Program Logics: Grounding KARO
    Sort
    View
    JLP
    2007
    159views more  JLP 2007»
    Reasoning about interaction protocols for customizing web service selection and composition
    13 years 8 months ago
    Reasoning about interaction protocols for customizing web service selection and composition
    Download  www.di.unito.it
    This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
    Matteo Baldoni, Cristina Baroglio, Alberto Martell...
    claim paper
    Read More »
    IJCAI
    2003
    186views Artificial Intelligence» more  IJCAI 2003»
    The Concurrent, Continuous FLUX
    13 years 10 months ago
    The Concurrent, Continuous FLUX
    Download  dli.iiit.ac.in
    FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
    Yves Martins
    claim paper
    Read More »
    AAAI
    2008
    162views Intelligent Agents» more  AAAI 2008»
    Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
    13 years 11 months ago
    Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions
    Download  www.public.asu.edu
    One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
    Chitta Baral, Juraj Dzifcak, Tran Cao Son
    claim paper
    Read More »
    SAC
    1994
    ACM
    104views Applied Computing» more  SAC 1994»
    Extending a parallel CLP language to support the development of multi-agent systems
    14 years 20 days ago
    Extending a parallel CLP language to support the development of multi-agent systems
    Download  www.cs.iastate.edu
    An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
    Panagiotis Stamatopoulos, Dimitris Margaritis, Con...
    claim paper
    Read More »
    GLOBAL
    2003
    Springer
    423views Artificial Intelligence» more  GLOBAL 2003»
    The Klaim Project: Theory and Practice
    14 years 1 months ago
    The Klaim Project: Theory and Practice
    Download  www.disi.unige.it
    Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
    Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
    claim paper
    Read More »
    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.