Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science. Lecture notes in artificial intelligence
1730 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic programming and nonmonotonic reasoning, 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999, proceedings, Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.), 1999, New York, Springer, 1 vol. (XI-388 p.), Lecture notes in artificial intelligence, 3-540-66749-0 • Logic Programming and Nonmonotonic Reasoning, Texte imprimé, 9783662172056 |
Taula de continguts:
- Contributed Papers
- Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
- Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
- Locally Determined Logic Programs
- Annotated Revision Programs
- Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
- An Argumentation Framework for Reasoning about Actions and Change
- Representing Transition Systems by Logic Programs
- Transformations of Logic Programs Related to Causality and Planning
- From Causal Theories to Logic Programs (Sometimes)
- Monotone Expansion of Updates in Logical Databases
- Updating Extended Logic Programs through Abduction
- LUPS A Language for Updating Logic Programs
- Pushing Goal Derivation in DLP Computations
- Linear Tabulated Resolution for the Well-Founded Semantics
- A Case Study in Using Preference Logic Grammars for Knowledge Representation
- Minimal Founded Semantics for Disjunctive Logic Programming
- On the Role of Negation in Choice Logic Programs
- Default Reasoning via Blocking Sets
- Coherent Well-founded Annotated Logic Programs
- Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
- Extending Disjunctive Logic Programming by T-norms
- Extending the Stable Model Semantics with More Expressive Rules
- Stable Model Semantics of Weight Constraint Rules
- Towards First-Order Nonmonotonic Reasoning
- A Comparison of Sceptical NAF-Free Logic Programming Approaches
- Characterizations of Classes of Programs by Three-Valued Operators
- Invited Talks
- Using LPNMR for Problem Specification and Code Generation
- Answer Set Planning
- World-Modeling vs. World-Axiomatizing
- Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.