Sciweavers

    IJCAI
    1993
    113views Artificial Intelligence» more  IJCAI 1993»
    Learning to Coordinate Actions in Multi-Agent-Systems
    13 years 6 months ago
    Learning to Coordinate Actions in Multi-Agent-Systems
    Download  dli.iiit.ac.in
    Gerhard Weiss
    claim paper
    Read More »
    IJCAI
    1993
    93views Artificial Intelligence» more  IJCAI 1993»
    Extending the Resolution Method with Sorts
    13 years 6 months ago
    Extending the Resolution Method with Sorts
    Download  dli.iiit.ac.in
    Christoph Weidenbach
    claim paper
    Read More »
    IJCAI
    1993
    84views Artificial Intelligence» more  IJCAI 1993»
    Epistemic Extension of Propositional Preference Logics
    13 years 6 months ago
    Epistemic Extension of Propositional Preference Logics
    Download  dli.iiit.ac.in
    Jacques Wainer
    claim paper
    Read More »
    IJCAI
    1993
    107views Artificial Intelligence» more  IJCAI 1993»
    Verbal Case Frame Acquisition from Bilingual Corpora
    13 years 6 months ago
    Verbal Case Frame Acquisition from Bilingual Corpora
    Download  nlp.iit.tsukuba.ac.jp
    Takehito Utsuro, Yuji Matsumoto, Makoto Nagao
    claim paper
    Read More »
    IJCAI
    1993
    120views Artificial Intelligence» more  IJCAI 1993»
    Integrating Inductive Neural Network Learning and Explanation-Based Learning
    13 years 6 months ago
    Integrating Inductive Neural Network Learning and Explanation-Based Learning
    Download  www.kddresearch.org
    Sebastian Thrun, Tom M. Mitchell
    claim paper
    Read More »
    IJCAI
    1993
    101views Artificial Intelligence» more  IJCAI 1993»
    A Language for Implementing Arbitrary Logics
    13 years 6 months ago
    A Language for Implementing Arbitrary Logics
    Download  ijcai.org
    SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
    Mark Tarver
    claim paper
    Read More »
    IJCAI
    1993
    123views Artificial Intelligence» more  IJCAI 1993»
    A New Logical framework for Deductive Planning
    13 years 6 months ago
    A New Logical framework for Deductive Planning
    Download  dli.iiit.ac.in
    objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
    Werner Stephan, Susanne Biundo
    claim paper
    Read More »
    IJCAI
    1993
    91views Artificial Intelligence» more  IJCAI 1993»
    A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases
    13 years 6 months ago
    A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases
    Download  dli.iiit.ac.in
    The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
    Suryanarayana M. Sripada
    claim paper
    Read More »
    IJCAI
    1993
    90views Artificial Intelligence» more  IJCAI 1993»
    Incorporating Syntactic Constraints in Recognizing Handwritten Sentences
    13 years 6 months ago
    Incorporating Syntactic Constraints in Recognizing Handwritten Sentences
    Download  www.cedar.buffalo.edu
    The output of handwritten word recognizers (HWR) tends to be very noisy due to various factors. In order to compensate for this behaviour, several choices of the HWR must be initi...
    Rohini K. Srihari, Charlotte M. Baltus
    claim paper
    Read More »
    IJCAI
    1993
    95views Artificial Intelligence» more  IJCAI 1993»
    Quantifying Beliefs by Belief Functions: An Axiomatic Justification
    13 years 6 months ago
    Quantifying Beliefs by Belief Functions: An Axiomatic Justification
    Download  dli.iiit.ac.in
    : We present a set of axioms that justify the use of belief functions to quantify the beliefs held by an agent Y at time t and based on Y's evidential corpus. It is essentiall...
    Philippe Smets
    claim paper
    Read More »
    « first‹ previous…151617181920212223…next ›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.