Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science. Lecture notes in artificial intelligence
1919 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logics in artificial intelligence, European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000, proceedings, Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, ... [et al.], eds, 2000, New York, Springer, 1 vol. (XI-406 p.), Lecture notes in computer science, 3-540-41131-3 • Logics in Artificial Intelligence, Texte imprimé, 9783662203910 |
書本目錄:
- 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.