KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 09.11.2026 auf tolino shine color (4016621130473), tolino vision color (4016621130183) und tolino vision color weiß (4016621131456) online auf thaalia.live, in der Thalia App und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Nicht gültig für Geschenkkarten, Versandkosten und Services. Nur solange der Vorrat reicht.
  • 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

51,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.