Inicio > > Ciencias de la computación > Inteligencia artificial > Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

Andrei Voronkov

65,14 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1992
Materia
Inteligencia artificial
ISBN:
9783540557272
65,14 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This volume contains the proceedings of LPAR ’92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR ’92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592.

Artículos relacionados

  • Artificial Cognition Systems
    ...
  • Cross-Disciplinary Applications of Artificial Intelligence and Pattern Recognition
    Vijay Kumar Mago
    The need for intelligent machines in areas such as medical diagnostics, biometric security systems, and image processing motivates researchers to develop and explore new techniques, algorithms, and applications in this evolving field. Cross-Disciplinary Applications of Artificial Intelligence and Pattern Recognition: Advancing Technologies provides a common platform for researc...
  • Emerging Applications of Natural Language Processing
    Over the last few years, the area of Natural Language Processing has drastically grown in recognition, not only within the research and development community, but also with industry professionals. As NLP continues to be discussed and researched, certain areas continue to grow and mature. As a result, the need for advanced research and information is in high demand. Emerging App...
  • Androids, Cyborgs, and Robots in Contemporary Culture and Society
    Steven John Thompson
    Mankind’s dependence on artificial intelligence and robotics is increasing rapidly as technology becomes more advanced. Finding a way to seamlessly intertwine these two worlds will help boost productivity in society and aid in a variety of ways in modern civilization. Androids, Cyborgs, and Robots in Contemporary Culture and Society is an essential scholarly resource that delve...
  • Deep Learning Innovations and Their Convergence With Big Data
    The expansion of digital data has transformed various sectors of business such as healthcare, industrial manufacturing, and transportation. A new way of solving business problems has emerged through the use of machine learning techniques in conjunction with big data analytics. Deep Learning Innovations and Their Convergence With Big Data is a pivotal reference for the latest sc...
  • Computational Psychoanalysis and Formal Bi-Logic Frameworks
    Giuseppe Iurato
    Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unc...

Otros libros del autor

  • Rewriting Techniques and Applications
    Andrei Voronkov
    ThisvolumecontainsthepaperspresentedatRTA2008:19thInternationalC- ference on Rewriting Techniques and Applications held July 15-17th in Hag- berg,AustriaandorganisedbytheResearchInstituteonSymbolicComputation. There were 57 submissions. Each submission was reviewed by at least four Programme Committee members. The committee decided to accept 30 papers...
    Disponible

    156,43 €

  • Automated Deduction - CADE-18
    Andrei Voronkov
    The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence ...
    Disponible

    65,04 €

  • Logic Programming and Automated Reasoning
    Andrei Voronkov
    LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing ...
    Disponible

    65,71 €

  • Logic Programming
    Andrei Voronkov
    This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem ...
    Disponible

    65,12 €