Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego [and others] (eds).
Contributor(s): Ojeda-Aciego, ManuelMaterial type: TextSeries: SerienbezeichnungLecture notes in computer science: 1919.; Lecture notes in computer science: Publisher: Berlin ; New York : Springer, 2000Description: 1 online resource (xi, 406 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540400066; 3540400060Subject(s): Artificial intelligence -- Congresses | Logic, Symbolic and mathematical -- Congresses | Computer science | Artificial intelligence | Artificial intelligence | Logic, Symbolic and mathematicalGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedingsDDC classification: 006.3 LOC classification: Q334 | .L64 2000Other classification: 54.72 | O141-532 | TP18-532 | PN 96 | DAT 540f | DAT 700f | SS 4800 Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references and index.
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.
Invited Talks -- 'On Being Informed': Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter's Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter's Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences.