1 option
Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 1919.
- Lecture Notes in Artificial Intelligence ; 1919
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- Computer programming.
- Artificial Intelligence.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Local Subjects:
- Artificial Intelligence.
- Programming Languages, Compilers, Interpreters.
- Mathematical Logic and Formal Languages.
- Programming Techniques.
- Physical Description:
- 1 online resource (XII, 412 pages).
- Edition:
- First edition 2000.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-40006-6
- 9783540400066
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.