Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ojeda-Aciego, Manuel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Guzman, Inma P. de (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Brewka, Gerhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pereira, Luis M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1919
• Θέματα: Artificial intelligence.; Programming languages (Electronic computers).; Mathematical logic.; Computer programming.; Artificial Intelligence.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Programming Techniques.

Πίνακας περιεχομένων:

• 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.