Logics in Artificial Intelligence (Record no. 36724)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04177nam a22005175i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540706434 |
-- | 978-3-540-70643-4 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.3 |
245 10 - TITLE STATEMENT | |
Title | Logics in Artificial Intelligence |
Sub Title | European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings / |
Statement of responsibility, etc | edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1996. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | X, 426 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Hyper tableaux -- An algorithm for the retrieval of unifiers from discrimination trees -- Building proofs or counterexamples by analogy in a resolution framework -- What you always wanted to know about rigid E-unification -- Labelled proofs for quantified modal logic -- A uniform tableaux method for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal action logic based framework for organization specification and analysis -- McCarthy's idea -- Strong and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes nonmonotonicity monotonous -- Ordering-based representations of rational inference -- Semi-representability of default theories in rational default logic -- A query answering algorithm for Lukaszewicz' general open default theory -- Infinitary default logic for specification of nonmonotonic reasoning -- A system for computing constrained default logic extensions -- The Oz programming model -- An abductive framework for negation in disjunctive logic programming -- Characterizing D-WFS: Confluence and iterated GCWA -- Modules and specifications -- Logic programming with integrity constraints -- Temporal reasoning over linear discrete time -- Similarity saturation for first order linear temporal logic with UNLESS -- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions -- Informational logic for automated reasoning -- Extensions for open default theories via the domain closure assumption -- Revising and updating using a back-up semantics -- A simple signed system for paraconsistent reasoning. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial intelligence. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Artificial Intelligence (incl. Robotics). |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Mathematical Logic and Formal Languages. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Alferes, José Jülio. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Pereira, Luís Moniz. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Orlowska, Ewa. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-61630-6 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1996. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK7430 | http://dx.doi.org/10.1007/3-540-61630-6 | E-BOOKS |