Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings / José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, eds.
| Author/creator | European Workshop JELIA '96 |
| Other author | Alferes, José Júlio. |
| Other author | Pereira, Luís Moniz. |
| Other author | Orlowska, Ewa. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1996. |
| Description | ix, 416 pages : illustrations ; 24 cm. |
| Supplemental Content | SpringerLink |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Supplemental Content | eBook available for UOIT via SpringerLink. Click link to access |
| Supplemental Content | Connect to Internet resource |
| Subjects |
| Portion of title | JELIA '96 |
| Series | Lecture notes in computer science ; 1126. Lecture notes in artificial intelligence Lecture notes in computer science 1126. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263 |
| Contents | Hyper Tableaux / P. Baumgartner, U. Furbach and I. Niemela -- An Algorithm for Retrieval of Unifiers from Discrimination Trees / H. de Nivelle -- Building Proofs or Counterexamples by Analogy in a Resolution Framework / C. Bourely, G. Defourneaux and N. Peltier -- What you Always Wanted to Know About Rigid E-Unification / A. Degtyarev and A. Voronkov -- Labelled Proofs for Quantified Modal Logic / A. Artosi, P. Benassi, G. Governatori and A. Rotolo -- A Uniform Tableaux Method for Nonmonotonic Modal Logics / F.M. Donini, F. Massacci, D. Nardi and R. Rosati -- Design and Implementation of Diagnostic Strategies Using Modal Logic / P. Frohlich, W. Nejdl and M. Schroeder -- A Modal Action Logic Based Framework for Organization Specification and Analysis / F. Santos and J. Carmo -- McCarthy's Idea / Michael R. Genesereth -- Strong and Explicit Negation in Nonmonotonic Reasoning and Logic Programming / J.J. Alferes, L. Moniz Pereira and T.C. Przymusinski. |
| Abstract | "This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency."--PUBLISHER'S WEBSITE. |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| Genre/form | Conference papers and proceedings. |
| LCCN | 96033379 |
| ISBN | 3540616306 (alk. paper) |
| ISBN | 9783540616306 (alk. paper) |
| Standard identifier# | 9783540616306 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | Q334 .E985 1996 | ✔ Available | Place Hold |