Advances in Artificial Intelligence - SBIA 2008

Advances in Artificial Intelligence - SBIA 2008
Author :
Publisher : Springer Science & Business Media
Total Pages : 304
Release :
ISBN-10 : 9783540881896
ISBN-13 : 3540881891
Rating : 4/5 (96 Downloads)

Synopsis Advances in Artificial Intelligence - SBIA 2008 by : Gerson Zaverucha

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. The 27 revised full papers presented together with 3 invited lectures and 3 tutorials were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning, machine learning and data mining, natural language processing, and robotics.

Advances in Artificial Intelligence -- SBIA 2010

Advances in Artificial Intelligence -- SBIA 2010
Author :
Publisher : Springer
Total Pages : 327
Release :
ISBN-10 : 9783642161384
ISBN-13 : 3642161383
Rating : 4/5 (84 Downloads)

Synopsis Advances in Artificial Intelligence -- SBIA 2010 by : Antonio Carlos da Rocha Costa

This book constitutes the proceedings of the 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010, held in São Bernardo do Campo, Brazil, in October 2010. The 31 papers presented were carefully reviewed and selected from 91 submissions. The topics covered are: ontologies, knowledge representation and reasoning; machine learning; autonomous agents and multiagent systems; natural language processing; planning and scheduling; constraints and search; and logics for AI.

Advances in Artificial Intelligence - SBIA 2012

Advances in Artificial Intelligence - SBIA 2012
Author :
Publisher : Springer
Total Pages : 245
Release :
ISBN-10 : 9783642344596
ISBN-13 : 3642344593
Rating : 4/5 (96 Downloads)

Synopsis Advances in Artificial Intelligence - SBIA 2012 by : Leliane N. Barros

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Artificial Intelligence, SBIA 2012, held in Curitiba, Brazil, in October 2012. The 23 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers cover the following topics: knowledge representation, machine learning, machine learning and computer vision, agent-based and multi-agent systems, robotics and language, as well as constraints.

Advances in Intelligent Data Analysis XX

Advances in Intelligent Data Analysis XX
Author :
Publisher : Springer Nature
Total Pages : 418
Release :
ISBN-10 : 9783031013331
ISBN-13 : 3031013336
Rating : 4/5 (31 Downloads)

Synopsis Advances in Intelligent Data Analysis XX by : Tassadit Bouadi

This book constitutes the proceedings of the 20th International Symposium on Intelligent Data Analysis, IDA 2022, which was held in Rennes, France, during April 20-22, 2022. The 31 papers included in this book were carefully reviewed and selected from 73 submissions. They deal with high quality, novel research in intelligent data analysis.

Progress in Artificial Intelligence

Progress in Artificial Intelligence
Author :
Publisher : Springer
Total Pages : 690
Release :
ISBN-10 : 9783642046865
ISBN-13 : 364204686X
Rating : 4/5 (65 Downloads)

Synopsis Progress in Artificial Intelligence by : Luís Seabra Lopes

This book contains a selection of higher quality and reviewed papers of the 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, held in Aveiro, Portugal, in October 2009. The 55 revised full papers presented were carefully reviewed and selected from a total of 163 submissions. The papers are organized in topical sections on artificial intelligence in transportation and urban mobility (AITUM), artificial life and evolutionary algorithms (ALEA), computational methods in bioinformatics and systems biology (CMBSB), computational logic with applications (COLA), emotional and affective computing (EAC), general artificial intelligence (GAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), muli-agent systems (MASTA) social simulation and modelling (SSM), text mining and application (TEMA) as well as web and network intelligence (WNI).

Human Behavior Understanding in Networked Sensing

Human Behavior Understanding in Networked Sensing
Author :
Publisher : Springer
Total Pages : 463
Release :
ISBN-10 : 9783319108070
ISBN-13 : 3319108077
Rating : 4/5 (70 Downloads)

Synopsis Human Behavior Understanding in Networked Sensing by : Paolo Spagnolo

This book provides a broad overview of both the technical challenges in sensor network development, and the real-world applications of distributed sensing. Important aspects of distributed computing in large-scale networked sensor systems are analyzed in the context of human behavior understanding, including topics on systems design tools and techniques. Additionally, the book examines a varied range of applications. Features: contains valuable contributions from an international selection of leading experts in the field; presents a high-level introduction to the aims and motivations underpinning distributed sensing; describes decision-making algorithms in the presence of complex sensor networks; provides a detailed analysis of the design, implementation, and development of a distributed network of homogeneous or heterogeneous sensors; reviews the application of distributed sensing to human behavior understanding and autonomous intelligent vehicles; includes a helpful glossary and a list of acronyms.

A Proof Theory for Description Logics

A Proof Theory for Description Logics
Author :
Publisher : Springer Science & Business Media
Total Pages : 109
Release :
ISBN-10 : 9781447140023
ISBN-13 : 1447140028
Rating : 4/5 (23 Downloads)

Synopsis A Proof Theory for Description Logics by : Alexandre Rademaker

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge. A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

Advances in Artificial Intelligence - SBIA 2008

Advances in Artificial Intelligence - SBIA 2008
Author :
Publisher : Springer
Total Pages : 304
Release :
ISBN-10 : 9783540881902
ISBN-13 : 3540881905
Rating : 4/5 (02 Downloads)

Synopsis Advances in Artificial Intelligence - SBIA 2008 by : Gerson Zaverucha

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Artificial Intelligence, SBIA 2008, held in Salvador, Brazil, in October 2008. The 27 revised full papers presented together with 3 invited lectures and 3 tutorials were carefully reviewed and selected from 142 submissions. The papers are organized in topical sections on computer vision and pattern recognition, distributed AI: autonomous agents, multi-agent systems and game knowledge representation and reasoning, machine learning and data mining, natural language processing, and robotics.

Advances in Artificial Intelligence -- IBERAMIA 2012

Advances in Artificial Intelligence -- IBERAMIA 2012
Author :
Publisher : Springer
Total Pages : 768
Release :
ISBN-10 : 9783642346545
ISBN-13 : 3642346545
Rating : 4/5 (45 Downloads)

Synopsis Advances in Artificial Intelligence -- IBERAMIA 2012 by : Juan Pavón

This book constitutes the refereed proceedings of the 13th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2012, held in Cartagena de Indias, Colombia, in November 2012. The 75 papers presented were carefully reviewed and selected from 170 submissions. The papers are organized in topical sections on knowledge representation and reasoning, information and knowledge processing, knowledge discovery and data mining, machine learning, bio-inspired computing, fuzzy systems, modelling and simulation, ambient intelligence, multi-agent systems, human-computer interaction, natural language processing, computer vision and robotics, planning and scheduling, AI in education, and knowledge engineering and applications.

Inductive Logic Programming

Inductive Logic Programming
Author :
Publisher : Springer Nature
Total Pages : 190
Release :
ISBN-10 : 9783031492990
ISBN-13 : 3031492994
Rating : 4/5 (90 Downloads)

Synopsis Inductive Logic Programming by : Elena Bellodi

This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches.