Sciweavers

    IJCAI
    1993
    115views Artificial Intelligence» more  IJCAI 1993»
    A Tractable Class of Abduction Problems
    14 years 23 days ago
    A Tractable Class of Abduction Problems
    Download  dli.iiit.ac.in
    literal: Let p be a proposition. Then p and -p are literals. clause: A clause is a disjunction of literals. Horn Clause: A Horn Clause is a clause in which there is at most one po...
    Kave Eshghi
    claim paper
    Read More »
    IJCAI
    1993
    67views Artificial Intelligence» more  IJCAI 1993»
    Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools
    14 years 23 days ago
    Specification and Generation of Custom-Tailored Knowledge-Acquisition Tools
    Download  dli.iiit.ac.in
    Henrik Eriksson
    claim paper
    Read More »
    IJCAI
    1993
    78views Artificial Intelligence» more  IJCAI 1993»
    Multi-Agent Planning as a Dynamic Search for Social Consensus
    14 years 23 days ago
    Multi-Agent Planning as a Dynamic Search for Social Consensus
    Download  dli.iiit.ac.in
    Eithan Ephrati, Jeffrey S. Rosenschein
    claim paper
    Read More »
    IJCAI
    1993
    93views Artificial Intelligence» more  IJCAI 1993»
    The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
    14 years 23 days ago
    The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
    Download  dli.iiit.ac.in
    We consider the computational complexity of evaluating nested counterfactuals over a propositional knowledge base. Counterfactual implication models a statement "if p, then q...
    Thomas Eiter, Georg Gottlob
    claim paper
    Read More »
    IJCAI
    1993
    110views Artificial Intelligence» more  IJCAI 1993»
    Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds
    14 years 23 days ago
    Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds
    Download  www.cim.mcgill.ca
    This paper describes a technique whereby an autonomous agent such as a mobile robot can explore an unknown environment and make a topologicalmapofit. It is assumedthat the environ...
    Gregory Dudek, Paul Freedman, Souad Hadjres
    claim paper
    Read More »
    IJCAI
    1993
    69views Artificial Intelligence» more  IJCAI 1993»
    Situation Recognition: Representation and Algorithms
    14 years 23 days ago
    Situation Recognition: Representation and Algorithms
    Download  dli.iiit.ac.in
    The situation recognition system, to which this paper is devoted, receives as input a stream of time-stamped events; it performs recognition of instances of occurring situations, ...
    Christophe Dousson, Paul Gaborit, Malik Ghallab
    claim paper
    Read More »
    IJCAI
    1993
    176views Artificial Intelligence» more  IJCAI 1993»
    An Approach to Analyzing the Need for Meta-Level Communication
    14 years 23 days ago
    An Approach to Analyzing the Need for Meta-Level Communication
    Download  dli.iiit.ac.in
    This paper presents an analysis of static and dynamic organizational structures for naturally distributed, homogeneous, cooperative problem solving environments, exemplified by di...
    Keith Decker, Victor R. Lesser
    claim paper
    Read More »
    IJCAI
    1993
    109views Artificial Intelligence» more  IJCAI 1993»
    Logical Specification of Real-Time Granular Systems in an Object Oriented Language
    14 years 23 days ago
    Logical Specification of Real-Time Granular Systems in an Object Oriented Language
    Download  ijcai.org
    Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
    claim paper
    Read More »
    IJCAI
    1993
    74views Artificial Intelligence» more  IJCAI 1993»
    Proving Theorems in a Multi-Source Environment
    14 years 23 days ago
    Proving Theorems in a Multi-Source Environment
    Download  dli.iiit.ac.in
    Laurence Cholvy
    claim paper
    Read More »
    IJCAI
    1993
    103views Artificial Intelligence» more  IJCAI 1993»
    Liveness and Fairness Properties in Multi-Agent Systems
    14 years 23 days ago
    Liveness and Fairness Properties in Multi-Agent Systems
    Download  dli.iiit.ac.in
    Hans-Dieter Burkhard
    claim paper
    Read More »
    « first‹ previous123456789next ›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.