This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably.
This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of...
A survey of recent work on formal methods of computational lexical semantics, which have had the effect of bringing many linguistic formalisms closer to the knowledge representation languages used in artificial intelligence. It addresses the semantic issues required for natural language analysis.
A survey of recent work on formal methods of computational lexical semantics, which have had the effect of bringing many linguistic formalisms closer ...
Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities, research institutes, and industry are realizing. Logicprogramming languages, specifically Prolog, have turned outto be ideal as prototyping and application developmentlanguages.This volume presents the proceedings of the Second LogicProgramming Summer School, LPSS'92. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming. This volumefocuses onthe relationship between...
Logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of us...
Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial intelligence we can observe rapid growth in the subfield of distributed artificial intelligence (DAI). In particular research on multiagent systems and their potential applications currently attract a lot of interest. This monograph presents recent research and an introductory survey on multiagent systems and some other aspects of DAI. The author describes these systems as composed of intelligent entities, the agents, with intentions, beliefs,...
Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial in...
This volume contains the thoroughly refereed and revised papers accepted for presentation at the IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, held during the International Joint Conference on AI at Sydney, Australia in August 1991. The 14 technical contributions are devoted to several theoretical and applicational aspects of fuzzy logic and fuzzy control; they are presented in sections on theoretical aspects of fuzzy reasoning and fuzzy control, fuzzy neural networks, fuzzy control applications, fuzzy logic planning, and fuzzy circuits. In addition, there is a substantial...
This volume contains the thoroughly refereed and revised papers accepted for presentation at the IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control,...
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program committee, the book contains a survey by E. Vidal. The book is devoted to all those aspects of automatic learning that explicitly focus on principles, theory, and applications of grammars and languages. The papers are organized in sections on formal aspects; language modelling and linguistic applications; stochastic approaches, applications and performance...
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1...
This book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in October 1995. The book presents three invited papers and 31 revised full papers selected from a total 57 submissions, more than half of them coming from abroad. The papers are organized in sections on knowledge representation and automated reasoning, tutoring systems, machine learning, neural networks, distributed artificial intelligence, knowledge acquisition and knowledge bases, and natural language processing.
This book constitutes the refereed proceedings of the 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, held in Campinas, Brazil, in Octo...
This book constitutes the refereed proceedings of the First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1998 conference in Paris, France, in July 1998. The 13 revised full papers presented in the book were selected during a vigorous reviewing process. The book brings together research in distributed artificial intelligence and intelligent robotics. Among the topics addressed are multi-agent collaboration, collective learning, self-organization, artificial life, simulation, mobile robots, robot soccer, human-robot cooperation, etc.
This book constitutes the refereed proceedings of the First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1...
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verita, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leadin...
We present in this volume a collection of revised selected papers from the ISCA Tutorial and Research Workshop on Nonlinear Speech Processing (NO- LISP 2007)held in Paris, France, 22-25May,2007.NOLISP 2007was organized by the University Pierre and Marie Curie (UPMC) with the generous support of ISCA (International Speech Communication Association), EURASIP and the IEEE. NOLISP 2007 was the ?rst follow-on workshop to a series of three e- lier events related to nonlinear speech processing, that were organized within the framework of the European COST action 277 Nonlinear speech processing...
We present in this volume a collection of revised selected papers from the ISCA Tutorial and Research Workshop on Nonlinear Speech Processing (NO- LIS...