skip to content
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings Preview this item
ClosePreview this item
Checking...

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Author: Manuel Ojeda-Aciego
Publisher: Berlin ; New York : Springer, 2000.
Series: Lecture notes in computer science, 1919.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Conference papers and proceedings
Malaga (2000)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Manuel Ojeda-Aciego
ISBN: 3540411313 9783540411314
OCLC Number: 45002216
Description: xi, 406 pages : illustrations ; 24 cm.
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 / [and others] --
The KeY Approach: Integrating Object Oriented Design and Formal Verification / W. Ahrendt, T. Baar and B. Beckert / [and others] --
Semi-qualitative Reasoning about Distances: A Preliminary Report / H. Sturm, N.-Y. Suzuki and F. Wolter / [and others] --
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.
Series Title: Lecture notes in computer science, 1919.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Manuel Ojeda-Aciego [and others] (eds).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/45002216> # Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "45002216" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/837078107#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/006.3/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/intelligence_artificielle_congres> ; # Intelligence artificielle--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/logischer_schluss> ; # Logischer Schluss
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/logica> ; # Logica
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/wissensverarbeitung> ; # Wissensverarbeitung
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/837078107#Topic/kongress> ; # Kongress
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/207729944> ; # Manuel Ojeda-Aciego
    schema:datePublished "2000" ;
    schema:description "'On Being Informed': Update Logics for Knowledge States / J. van Benthem -- Considerations on Updates of Logic Programs / T. Eiter, M. Fink and G. Sabbatini / [and others] -- The KeY Approach: Integrating Object Oriented Design and Formal Verification / W. Ahrendt, T. Baar and B. Beckert / [and others] -- Semi-qualitative Reasoning about Distances: A Preliminary Report / H. Sturm, N.-Y. Suzuki and F. Wolter / [and others] -- 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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/837078107> ;
    schema:genre "Malaga (2000)"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837078107#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837078107#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:name "Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings"@en ;
    schema:productID "45002216" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/45002216#PublicationEvent/berlin_new_york_springer_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/837078107#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/3-540-40006-0> ;
    schema:url <http://dx.doi.org/10.1007/3-540-40006-0> ;
    schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t1919.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540411314> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA067231> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/45002216> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/45002216> ; # Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/45002216> ; # Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/intelligence_artificielle_congres> # Intelligence artificielle--Congrès
    a schema:Intangible ;
    schema:name "Intelligence artificielle--Congrès"@en ;
    schema:name "Intelligence artificielle--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
    schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    schema:name "Logique symbolique et mathématique--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
    schema:name "Logische Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/logischer_schluss> # Logischer Schluss
    a schema:Intangible ;
    schema:name "Logischer Schluss"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837078107#Topic/wissensverarbeitung> # Wissensverarbeitung
    a schema:Intangible ;
    schema:name "Wissensverarbeitung"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://link.springer.com/10.1007/3-540-40006-0>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t1919.htm>
    rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/207729944> # Manuel Ojeda-Aciego
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Ojeda-Aciego" ;
    schema:givenName "Manuel" ;
    schema:name "Manuel Ojeda-Aciego" ;
    .

<http://worldcat.org/isbn/9783540411314>
    a schema:ProductModel ;
    schema:isbn "3540411313" ;
    schema:isbn "9783540411314" ;
    .

<http://www.worldcat.org/title/-/oclc/45002216>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/45002216> ; # Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
    schema:dateModified "2017-12-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.