• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI
    3. Artificiell intelligens

    Fundamentals of Artificial Intelligence Research

    International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings

    AvPhilippe Jorrand,Jozef Kelemen

    Häftad, Engelska, 1991

    Del i serien Lecture Notes in Computer Science

    557 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This volume contains 6 invited lectures and 13 submittedcontributions to the scientific programme of theinternational workshop Fundamentals of ArtificialIntelligence Research, FAIR '91, held at Smolenice Castle,Czechoslovakia, September 8-12, 1991, under the sponsorshipof the European Coordinating Committee for ArtificialIntelligence, ECCAI. FAIR'91, the first of an intendedseries of international workshops, addresses issues whichbelong to the theoretical foundations of artificialintelligence considered as a discipline focused on concisetheoretical description of some aspects of intelligence bytoolsand methods adopted from mathematics, logic, andtheoretical computer science. The intended goal of the FAIRworkshops is to provide a forum for the exchange of ideasand results in a domain where theoretical models play anessential role. It is felt that such theoretical studies,their development and their relations to AI experiments andapplications have to be promoted in the AI researchcommunity.

    Produktinformation

    • Utgivningsdatum:1991-08-28
    • Mått:155 x 233 x 15 mm
    • Vikt:417 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:260
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540545071

    Utforska kategorier

    • Artificiell intelligens inom Data och IT

    Innehållsförteckning

    • User-oriented theorem proving with the ATINF graphic proof editor.- A modal analysis of possibility theory.- Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper.- Relational proof systems for some AI logics.- Formal grammars and cognitive architectures.- Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines.- A semantic characterization of disjunctive relations.- Execution of defeasible temporal clauses for building preferred models.- On the phenomenon of flattening “flexible prediction” concept hierarchy.- Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints.- An approach to data-driven learning.- Extending abduction from propositional to first-order logic.- Building in equational theories into the connection method.- Logical fiberings and polycontextural systems.- Automated deduction with associative commutative operators.- Towards a lattice of knowledge representation systems.- Inconsistencies handling: nonmonotonic and paraconsistent reasoning.- An approach to structural synthesis of data processing programs.- Negation as failure and intuitionistic three-valued logic.- Symbolic Computation and Artificial Intelligence.
    Hoppa över listan

    Du kanske också är intresserad av

    Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel, Wolfgang Bibel, Philippe Jorrand - Fundamentals of Artificial Intelligence, Häftad

    Fundamentals of Artificial Intelligence

    Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel, Wolfgang Bibel, Philippe Jorrand

    Häftad, 1986

    557 kr

    SGURE SGUREV P JORRAND, Philippe Jorrand, Vassil Sgurev - Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference, Inbunden

    Artificial Intelligence: Methodology, Systems, Applications (Aimsa '94) - Proceedings Of The 6th International Conference

    SGURE SGUREV P JORRAND, Philippe Jorrand, Vassil Sgurev

    Inbunden, 1994

    2 365 kr

    Takayasu Ito, Albert R. Meyer - Theoretical Aspects of Computer Software, Häftad

    Theoretical Aspects of Computer Software

    Takayasu Ito, Albert R. Meyer

    Häftad, 1991

    1 107 kr

    Alica Kelemenova, Jozef Kelemen - Computation, Cooperation, and Life, E-bok

    Computation, Cooperation, and Life

    Alica Kelemenova, Jozef Kelemen

    E-bok
    2011

    710 kr

    Balazs Horvath - Are Policy Variables Exogenous?, Häftad
    Del 364

    Are Policy Variables Exogenous?

    Balazs Horvath

    Häftad, 1991

    557 kr

    Gheorghe Paun, Jozef Kelemen, Jurgen Dassow, Erzsebet Csuhaj-Varju - Grammar Systems, E-bok

    Grammar Systems

    Gheorghe Paun, Jozef Kelemen, Jurgen Dassow, Erzsebet Csuhaj-Varju

    E-bok
    2018

    829 kr

    Jozef Kelemen, Jan Romportl, Eva Zackova - Beyond Artificial Intelligence, Häftad
    Del 4

    Beyond Artificial Intelligence

    Jozef Kelemen, Jan Romportl, Eva Zackova

    Häftad, 2014

    1 107 kr

    Josef Gruber - Econometric Decision Models, Häftad

    Econometric Decision Models

    Josef Gruber

    Häftad, 1991

    557 kr

    Jürgen Dassow, Jozef Kelemen - Aspects and Prospects of Theoretical Computer Science, Häftad

    Aspects and Prospects of Theoretical Computer Science

    Jürgen Dassow, Jozef Kelemen

    Häftad, 1990

    557 kr

    Norbert Hoerster - Abtreibung im säkularen Staat, Häftad

    Abtreibung im säkularen Staat

    Norbert Hoerster

    Häftad, 1991

    224 kr