You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
This book constitutes the thoroughly refereed post-proceedings of the International Computer Music Modeling and Retrieval Symposium, CMMR 2004, held in Esbjerg, Denmark in May 2004. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Due to the interdisciplinary nature of the area, the papers address a broad variety of topics. The papers are organized in topical sections on pitch and melody detection; rhythm, tempo, and beat; music generation and knowledge; music performance, rendering, and interfaces; music scores and synchronization; synthesis, timbre, and musical playing; music representation and retrieval; and music analysis.
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberally, spanning underpinning theory, tools for reasoning, argumentation, explanation, computational creativity, and pedagogy. Wider applications including secure and trustworthy software, and health care and emergency management. The book starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written by Alan Bundy, which is followed by chapters from leading researchers associated with the group. Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates. It should also be of interest to those researching the history of AI.
This volume is an attempt to capture the essence of the state-of-the-art of intelligent agent technology and to identify the new challenges and opportunities that it is or will be facing. The most important feature of the volume is that it emphasizes a multi-faceted, holistic view of this emerging technology, from its computational foundations ? in terms of models, methodologies, and tools for developing a variety of embodiments of agent-based systems ? to its practical impact on tackling real-world problems.
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved.
This book constitutes the refereed proceedings of the 3rd Asian Semantic Web Conference, ASWC 2008, held in Bankok, Thailand, in December 2008. The 37 revised full papers presented were carefully reviewed and selected from 118 submissions. The papers address the latest results in the research and applications of Semantic Web technologies and cover topics including: scalable reasoning and logic, ontology mapping, ontology modelling and management, ontologies and tags, human language technologies and machine learning, querying, semantic Web services and semantic Web applications.
For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were submitted. Each paper was reviewed by at least three reviewers, and 33 papers were selected for presentation and included in this volume, grouped into parts on type theory, parallel algorithms, term rewriting, logic and constraint logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms, and algorithms and learning theory. Also included in the volume are the five invited papers presented at theconference.
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.
This book constitutes the thoroughly refereed proceedings of the 32nd Annual German Conference on Artificial Intelligence, KI 2009, held in Paderborn, Germany, in September 2009. The 76 revised full papers presented together with 15 posters were carefully reviewed and selected from 126 submissions. The papers are divided in topical sections on planning and scheduling; vision and perception; machine learning and data mining; evolutionary computing; natural language processing; knowledge representation and reasoning; cognition; history and philosophical foundations; AI and engineering; automated reasoning; spatial and temporal reasoning; agents and intelligent virtual environments; experience adn knowledge management; and robotics.
This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri?cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001). This was held 4–7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banqu...