The Resource Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings, Manuel Ojeda-Aciego [and others] (eds)

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings, Manuel Ojeda-Aciego [and others] (eds)

Label
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
Title
Logics in artificial intelligence
Title remainder
European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
Statement of responsibility
Manuel Ojeda-Aciego [and others] (eds)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
  • Q334
  • QA76
LC item number
  • .L64 2000
  • .L4 no.1919
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
Ojeda-Aciego, Manuel
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
1919.
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • système multi-agent
  • traitement langage naturel
  • traitement connaissance
  • logique formelle
  • programmation en logique
  • intelligence artificielle
  • Intelligence artificielle
  • Logique symbolique et mathématique
  • Artificial intelligence
  • Logic, Symbolic and mathematical
  • Kunstmatige intelligentie
  • Logica
  • Intelligence artificielle
  • Logique mathématique
  • Kongress
  • Künstliche Intelligenz
  • Logik
  • Logische Programmierung
  • Logischer Schluss
  • Wissensverarbeitung
Label
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings, Manuel Ojeda-Aciego [and others] (eds)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
'On Being Informed': Update Logics for Knowledge States / J. van Benthem -- Considerations on Updates of Logic Programs / T. Eiter, M. Fink and G. Sabbatini / [et al.] -- The KeY Approach: Integrating Object Oriented Design and Formal Verification / W. Ahrendt, T. Baar and B. Beckert / [et al.] -- Semi-qualitative Reasoning about Distances: A Preliminary Report / H. Sturm, N.-Y. Suzuki and F. Wolter / [et al.] -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs / C. Viegas Damasio and L. Moniz Pereira -- Topo-distance: Measuring the Difference between Spatial Patterns / M. Aiello -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus / A. Frias Delgado and J. A. Jimenez Millan -- Capturing Stationary and Regular Extensions with Reiter's Extensions / T. Janhunen -- Representing the Process Semantics in the Event Calculus / C. Li -- Declarative Formalization of Strategies for Action Selection: Applications to Planning / J. Sierra-Santibanez -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases / O. Arieli -- Acceptance Without Minimality / A. C. Nayak -- Reduction Theorems for Boolean Formulas Using [Delta]-Trees / G. Gutierrez, I. P. de Guzman and J. Martinez / [et al.] -- Simultaneous Rigid Sorted Unification / P. J. Martin and A. Gavilanes -- Partially Adaptive Code Trees / A. Riazanov and A. Voronkov -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments / H. Prakken -- Credulous and Sceptical Argument Games for Preferred Semantics / G. A. W. Vreeswijk and H. Prakken -- A General Approach to Multi-agent Minimal Knowledge / W. van der Hoek, J. Jaspars and E. Thijsse -- A Modal Logic for Network Topologies / R. M. van Eijk, F. S. de Boer and W. van der Hoek / [et al.] -- Avoiding Logical Omniscience by Using Subjective Situations / A. Moreno, U. Cortes and T. Sales -- Multi-agent VSK Logic / M. Wooldridge and A. Lomuscio -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases / T. Eiter and T. Lukasiewicz -- Monodic Epistemic Predicate Logic / H. Sturm, F. Wolter and M. Zakharyaschev -- Updates plus Preferences / J. J. Alferes and L. Moniz Pereira -- A Framework for Belief Update / P. Liberatore -- A Compilation of Brewka and Eiter's Approach to Prioritization / J. P. Delgrande, T. Schaub and H. Tompits -- A Logic for Modeling Decision Making with Dynamic Preferences / M. De Vos and D. Vermeir
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 406 pages
Isbn
9783540411314
Isbn Type
(acid-free paper)
Lccn
00046994
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)45002216
  • (OCoLC)ocm45002216
Label
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings, Manuel Ojeda-Aciego [and others] (eds)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
'On Being Informed': Update Logics for Knowledge States / J. van Benthem -- Considerations on Updates of Logic Programs / T. Eiter, M. Fink and G. Sabbatini / [et al.] -- The KeY Approach: Integrating Object Oriented Design and Formal Verification / W. Ahrendt, T. Baar and B. Beckert / [et al.] -- Semi-qualitative Reasoning about Distances: A Preliminary Report / H. Sturm, N.-Y. Suzuki and F. Wolter / [et al.] -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs / C. Viegas Damasio and L. Moniz Pereira -- Topo-distance: Measuring the Difference between Spatial Patterns / M. Aiello -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus / A. Frias Delgado and J. A. Jimenez Millan -- Capturing Stationary and Regular Extensions with Reiter's Extensions / T. Janhunen -- Representing the Process Semantics in the Event Calculus / C. Li -- Declarative Formalization of Strategies for Action Selection: Applications to Planning / J. Sierra-Santibanez -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases / O. Arieli -- Acceptance Without Minimality / A. C. Nayak -- Reduction Theorems for Boolean Formulas Using [Delta]-Trees / G. Gutierrez, I. P. de Guzman and J. Martinez / [et al.] -- Simultaneous Rigid Sorted Unification / P. J. Martin and A. Gavilanes -- Partially Adaptive Code Trees / A. Riazanov and A. Voronkov -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments / H. Prakken -- Credulous and Sceptical Argument Games for Preferred Semantics / G. A. W. Vreeswijk and H. Prakken -- A General Approach to Multi-agent Minimal Knowledge / W. van der Hoek, J. Jaspars and E. Thijsse -- A Modal Logic for Network Topologies / R. M. van Eijk, F. S. de Boer and W. van der Hoek / [et al.] -- Avoiding Logical Omniscience by Using Subjective Situations / A. Moreno, U. Cortes and T. Sales -- Multi-agent VSK Logic / M. Wooldridge and A. Lomuscio -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases / T. Eiter and T. Lukasiewicz -- Monodic Epistemic Predicate Logic / H. Sturm, F. Wolter and M. Zakharyaschev -- Updates plus Preferences / J. J. Alferes and L. Moniz Pereira -- A Framework for Belief Update / P. Liberatore -- A Compilation of Brewka and Eiter's Approach to Prioritization / J. P. Delgrande, T. Schaub and H. Tompits -- A Logic for Modeling Decision Making with Dynamic Preferences / M. De Vos and D. Vermeir
Dimensions
24 cm.
Dimensions
unknown
Extent
xi, 406 pages
Isbn
9783540411314
Isbn Type
(acid-free paper)
Lccn
00046994
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)45002216
  • (OCoLC)ocm45002216

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...