Vor Ort
Merkzettel Warenkorb
  • Produktbild: Methodologies for Intelligent Systems
  • Produktbild: Methodologies for Intelligent Systems
Band 689

Methodologies for Intelligent Systems 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1993

Abbildungen

XIV, 662 p.

Herausgeber

Jan Komorowski + weitere

Verlag

Springer Berlin

Seitenzahl

662

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1007 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-56804-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1993

Abbildungen

XIV, 662 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

662

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1007 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-56804-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Methodologies for Intelligent Systems
  • Produktbild: Methodologies for Intelligent Systems
  • On extended disjunctive logic programs.- Model finding strategies in semantically guided instance-based theorem proving.- An expressive three-valued logic with two negations.- Compiling proof search in semantic tableaux.- Short CNF in finitely-valued logics.- Defining variants of default logic: A modal approach.- An admissible heuristic search algorithm.- Building an expert system language interpreter with the rule network technique.- Input-driven control of rule-based expert systems.- Case-based planning for medical diagnosis.- MethoDex: A methodology for Expert Systems development.- Towards intelligent databases.- Combining classification and nonmonotonic inheritance reasoning: A first step.- Mechanical proof systems for logic II, consensus programs and their processing.- The logic of only knowing as a unified framework for non-monotonic reasoning.- Terminological logic involving time and evolution: A preliminary report.- Knowledge management by example.- System reorganization and load balancing of parallel database rule processing.- Using semantic information for processing negation and disjunction in logic programs.- On the interpretation of set-oriented fuzzy quantified queries and their evaluation in a database management system.- Methodologies for knowledge-based software engineering.- Updating logic programs.- Expressing program requirements using refinement lattices.- Finding logical consequences using unskolemization.- Controlled explanation systems.- Signed formulas: A liftable meta-logic for multiple-valued logics.- New design concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-Centered architectures.- Boolean reasoning for decision rules generation.- Upper and lower entropies of belief functions using compatible probability functions.- Reasoning about higher order uncertainty in possibilistic logic.- Approximation methods for knowledge representation systems.- Modelling of industrial systems.- On the satisfiability of symmetrical constrained satisfaction problems.- A logical reconstruction of constraint relaxation hierarchies in logic programming.- A performance evaluation of backtrack-bounded search methods for N-ary constraint networks.- Finite domain consistency techniques: Their combination and application in computer-aided process planning.- Should decision trees be learned from examples or from decision rules?.- Integrating machine-learning techniques in knowledge-based systems verification.- Automatic theorem generation in plane geometry.- Learning simple recursive theories.- The many faces of inductive logic programming.- CONSENSUS: A method for the development of distributed intelligent systems.- Script and frame: Mixed natural language understanding system with default theory.- Constructive matching methodology: Formally creative or Intelligent inductive theorem proving?.- Representing the knowledge used during the Requirement engineering activity with generic structures.- Development of a programming environment for intelligent robotics.- On the complexity of the instance checking problem in concept languages with existential quantification.- Mutual knowledge.- Expressive extensions to inheritance networks.- A connectionist-symbolic cognitive model.- Multi-Context systems as a tool to model temporal evolution.- Systematic assessment of temporal reasoning methods for use in autonomous agents.- GGD: Graph Grammar Developer for features in CAD/CAM.- A knowledge-Based approach to group analysis in automated manufacturing systems.- CENTER: A system architecture for matching design and manufacturing.- Knowledge-based system integration in a concurrent engineering environment.- A reflective strategic problem solving model.- On the learning of rule uncertainties and their integration into probabilistic knowledge bases.- Recognition of functional dependencies in data.- Rough set learning of preferential attitude in multi-criteria decision making.