Choose an application

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

Artificial intelligence. Robotics. Simulation. Graphics --- Expert systems (Computer science) --- Expertsystemen (Informatica) --- Kennisrepresentatie (Informatietheorie) --- Knowledge representation (Information theory) --- Langages de programmation (Ordinateurs) --- Programmeertalen (Computers) --- Programming languages (Electronic computers) --- Représentation des connaissances (Théorie de l'information) --- Systèmes experts (Informatique) --- Programming languages (Electronic computers)) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Computer systems --- Soft computing

Choose an application

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

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T´ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of science or engineering is how to devise tests that can provide objective comparisons between alt- native methods. In recent years, competitive engineering challenges have been established to motivate researchers to tackle di?cult problems while providing a framework for the comparison of results. RoboCup was one of the ?rst such competitions and has been a model for the organization of challenges foll- ing sound scienti?c principles. In addition to the competition, the associated symposium provides a forum for researchers to present refereed papers. But, for RoboCup, the symposium has the greater goal of encouraging the exchange of ideas between teams so that the competition, as a whole, progresses from year to year and strengthens its contribution to robotics. One hundred and eighteen papers were submitted to the Symposium. Each paper was reviewed by at least two international referees; 30 papers were - cepted for presentation at the Symposium as full papers and a further 38 were accepted for poster presentation. The quality of the Symposium could not be maintained without the support of the authors and the generous assistance of the referees.

Artificial intelligence. --- Computer communication systems. --- Software engineering. --- User interfaces (Computer systems). --- Optical data processing. --- Control engineering. --- Robotics. --- Mechatronics. --- Artificial Intelligence. --- Computer Communication Networks. --- Software Engineering. --- User Interfaces and Human Computer Interaction. --- Image Processing and Computer Vision. --- Control, Robotics, Mechatronics. --- RoboCup --- Robotics --- Artificial intelligence --- Soccer --- Computer simulation

Choose an application

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

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T´ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of science or engineering is how to devise tests that can provide objective comparisons between alt- native methods. In recent years, competitive engineering challenges have been established to motivate researchers to tackle di?cult problems while providing a framework for the comparison of results. RoboCup was one of the ?rst such competitions and has been a model for the organization of challenges foll- ing sound scienti?c principles. In addition to the competition, the associated symposium provides a forum for researchers to present refereed papers. But, for RoboCup, the symposium has the greater goal of encouraging the exchange of ideas between teams so that the competition, as a whole, progresses from year to year and strengthens its contribution to robotics. One hundred and eighteen papers were submitted to the Symposium. Each paper was reviewed by at least two international referees; 30 papers were - cepted for presentation at the Symposium as full papers and a further 38 were accepted for poster presentation. The quality of the Symposium could not be maintained without the support of the authors and the generous assistance of the referees.

Artificial intelligence. --- Computer communication systems. --- Software engineering. --- User interfaces (Computer systems). --- Optical data processing. --- Control engineering. --- Robotics. --- Mechatronics. --- Artificial Intelligence. --- Computer Communication Networks. --- Software Engineering. --- User Interfaces and Human Computer Interaction. --- Image Processing and Computer Vision. --- Control, Robotics, Mechatronics. --- RoboCup --- Robotics --- Artificial intelligence --- Soccer --- Computer simulation

Choose an application

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

Description Logics are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.

681.3*F4 --- 681.3*H1 --- 681.3*I23 --- Description logics --- Logics, Description --- Knowledge representation (Information theory) --- Predicate (Logic) --- Mathematical logic and formal languages (Theory of computation) --- Models and principles (Information systems) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*H1 Models and principles (Information systems) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Logiques de description --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Description logics - Handbooks, manuals, etc.

Choose an application

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

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T´ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of science or engineering is how to devise tests that can provide objective comparisons between alt- native methods. In recent years, competitive engineering challenges have been established to motivate researchers to tackle di?cult problems while providing a framework for the comparison of results. RoboCup was one of the ?rst such competitions and has been a model for the organization of challenges foll- ing sound scienti?c principles. In addition to the competition, the associated symposium provides a forum for researchers to present refereed papers. But, for RoboCup, the symposium has the greater goal of encouraging the exchange of ideas between teams so that the competition, as a whole, progresses from year to year and strengthens its contribution to robotics. One hundred and eighteen papers were submitted to the Symposium. Each paper was reviewed by at least two international referees; 30 papers were - cepted for presentation at the Symposium as full papers and a further 38 were accepted for poster presentation. The quality of the Symposium could not be maintained without the support of the authors and the generous assistance of the referees.

Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- beeldverwerking --- automatisering --- informatica --- software engineering --- computernetwerken --- robots