Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997. The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving.

Artificial intelligence --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, held in Coimbra, Portugal, in September 2015. The 45 revised full papers presented together with 36  revised short papers were carefully reviewed and selected from a total of 131 submissions. EPIA 2015, following the standard EPIA format, covers a wide range of AI topics as follows: ambient intelligence and affective environments, artificial Intelligence in medicine, artificial intelligence in transportation systems, artificial life and evolutionary algorithms, computational methods in bioinformatics and systems biology, general artificial intelligence, intelligent information systems, intelligent robotics, knowledge discovery and business intelligence, multi-agent systems: theory and applications, social simulation and modelling, text mining and applications.

Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Simulation and Modeling. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Data Mining and Knowledge Discovery. --- Database Management. --- Computer science. --- Database management. --- Data mining. --- Artificial intelligence. --- Computer simulation. --- Computer vision. --- Informatique --- Bases de données --- Exploration de données (Informatique) --- Intelligence artificielle --- Simulation par ordinateur --- Vision par ordinateur --- Gestion --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer graphics. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Science --- Digital techniques --- Artificial Intelligence. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Pattern recognition systems --- Application software. --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Optical equipment

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 19th European Conference on Genetic Programming, EuroGP 2016, held in Porto, Portugal, in March/April 2016 co-located with the Evo*2016 events: EvoCOP, EvoMUSART, and EvoApplications. The 11 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 36 submissions. The wide range of topics in this volume reflects the current state of research in the field. Thus, we see topics as diverse as semantic methods, recursive programs, grammatical methods, coevolution, Cartesian GP, feature selection, metaheuristics, evolvability, and fitness predictors; and applications including image processing, one-class classification, SQL injection attacks, numerical modelling, streaming data classification, creation and optimisation of circuits, multi-class classification, scheduling in manufacturing and wireless networks.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computers. --- Algorithms. --- Computer science --- Artificial intelligence. --- Application software. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Artificial Intelligence (incl. Robotics). --- Computer Applications. --- Discrete Mathematics in Computer Science. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Mathematics. --- Mathematics --- Foundations --- Computer software. --- Computational complexity. --- Artificial Intelligence. --- Software, Computer --- Complexity, Computational --- Computer science—Mathematics. --- Discrete mathematics. --- Theory of Computation. --- Computer and Information Systems Applications. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The use of methodologies of synthesis implemented in computational, robotic or other arti?cial architectures, aiming at the study of life-like processes, is the hallmark of arti?ciallife. This synthetic approachis linked both to scienti?c and technologicaldesiderata.Scienti?cally,itprovidesaglimpseofpossiblebiological architectures beyond the ones provided by nature, which may play a fundam- tal role in the constitution of a lawful science of life. Technologically, it helps us discover solutions for hard engineering problems, non-intuitive to humanly - ased approaches. This close proximity of science and technology, of content and medium, allows for the search of general organizational principles that bring together, much closer than usually thought, life, mind and social systems. In this edition of ECAL, alongside the usual areas that roughly maintained their level of contribution, two areasreceivedparticular attention from resear- ers, having signi?cantly increased their presence: social systems (15 papers) and ecosystems (7 papers). Another issue perhaps worth noting is the number of papers dealing, in one way or another, with the theme of the constitution of meaning. This theme runs acrossvarioussectionsof the proceedings but, to cite onlythe obvious examples, the sections on communication and on social systems total 28 papers. From the original 172 submissions, 38 papers were accepted for oral pres- tation and 82 for poster presentation. They are published in these proceedings without distinction. The conference being of one-track session type, only a few paperscould be acceptedfor oralpresentationand that decisionwasa veryd- cult one.Manypapersacceptedforposter presentationareofveryhighscienti?c standards.

Discrete mathematics --- Mathematical statistics --- Biomathematics. Biometry. Biostatistics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- patroonherkenning --- factoranalyse --- discrete wiskunde --- bio-informatica --- informatica --- biometrie --- KI (kunstmatige intelligentie) --- robots

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In this volume we present the accepted contributions for the 7th European C- ference on Genetic Programming (EuroGP 2004). The conference took place on 5–7 April 2004 in Portugal at the University of Coimbra, in the Department of Mathematics in Pra¸ ca Dom Dinis, located on the hill above the old town. EuroGP is a well-established conference and the sole one exclusively de- ted to Genetic Programming. Previous proceedings have all been published by Springer-Verlag in the LNCS series. EuroGP began as an international wor- hop in Paris, France in 1998 (14–15 April, LNCS 1391). Subsequently the wor- hop was held in G¨ oteborg, Sweden in 1999 (26–27 May, LNCS 1598) and then EuroGP became an annual conference: in 2000 in Edinburgh, UK (15–16 April, LNCS 1802), in 2001 at Lake Como, Italy (18–19 April, LNCS 2038), in 2002 in Kinsale, Ireland (3–5 April, LNCS 2278), and in 2003 in Colchester, UK (14–16 April, LNCS 2610). From the outset, there have always been specialized wor- hops, co-located with EuroGP, focusing on applications of evolutionary al- rithms (LNCS 1468, 1596, 1803, 2037, 2279, and 2611). This year the EvoCOP workshop on combinatorial optimization transformed itself into a conference in its own right, and the two conferences, together with the EvoWorkshops, EvoBIO, EvoIASP, EvoMUSART, EvoSTOC, EvoHOT, and EvoCOMNET, now form one of the largest events dedicated to Evolutionary Computation in Europe.

Computer science. --- Computer software. --- Artificial intelligence. --- Computer Science. --- Computation by Abstract Devices. --- Programming Techniques. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Genetic programming (Computer science) --- Computer Science --- Engineering & Applied Sciences --- Computer programming. --- Computers. --- Algorithms. --- Computer programming --- Genetic algorithms --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Foundations --- Programming