AI*IA 99:Advances in Artificial Intelligence 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers /

This book contains the extended versions of 33 papers selected among those originally presented at the Sixth Congress of the Italian Association for Artificial Intelligence (AI*IA). The congress of the AI*IA is the most relevant Italian event in the field of Artificial Intelligence, and has been rec...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Lamma, Evelina (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mello, Paolo (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:1st ed. 2000.
Σειρά:Lecture Notes in Artificial Intelligence ; 1792
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Knowledge Representation
  • Generalized default logic: minimal knowledge, autoepistemic and default reasoning reconciled
  • A Description Logic for Image Retrieval
  • Certainty-factor-like Structures in Bayesian Networks
  • Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks
  • Automated Reasoning
  • Abduction with Negation as Failure for Active and Reactive Rules
  • An Implementation for Abductive Logic Agents
  • Solving the Satisfiability Problem Through Boolean Networks
  • Applying the Davis-Putnam procedure to non-clausal formulas
  • The SAT-Based Approach for Classical Modal Logics
  • Local Search Techniques for Disjunctive Logic Programs
  • Labelled Tableaux for Non-Normal Modal Logics
  • Temporal and Qualitative Reasoning
  • Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
  • TimeNetManager - A Software Tool for Generating Random Temporal Networks
  • A fuzzy extension of Allen's Interval Algebra
  • Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems
  • Machine Learning, Data Mining and Theory Revision
  • Relational Learning: Hard Problems and Phase Transitions
  • A Machine Learning Approach to Web Mining
  • Experiences with a Logic-based Knowledge Discovery Support Environment
  • Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process
  • Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the "Hidden" Activation Functions
  • Natural Language and WWW Interfaces
  • XIG: Generating from Interchange Format using Mixed Representations
  • Natural Language Access to Public Administration Data: the TAMIC-P System
  • On the application of personalization techniques to news servers on the WWW
  • Multi-agent Systems
  • Levels of Delegation and Levels of Adoption as the basis for Adjustable Autonomy
  • Notes on formalizing coordination?
  • Autonomous Spacecraft Resource Management: A Multi-Agent Approach
  • Multi-Agent Scene Interpretation
  • An Algorithm for Recruitment of Agents in Agency Design
  • Perception and Robotics
  • Towards a Conceptual Representation of Actions
  • Cellular Automata based Inverse Perspective Transform as a Tool for Indoor Robot Navigation
  • Planning and Scheduling
  • On Plan Adaptation through Planning Graph Analysis
  • Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach
  • Solving Employee Timetabling Problems by Generalized Local Search.