Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programmi...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| সংস্থা লেখক: | |
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science. Lecture notes in artificial intelligence
478 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | 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 AI, European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings, J. van Eijck (ed.), Berlin, Springer-Verlag, 1991, 1 vol. (IX-561 p.), Lecture notes in computer science, 0-387-53686-8 • Logics in AI, Texte imprimé, 9783662179383 |
সূচিপত্রের সারণি:
- Commonsense entailment: A modal theory of nonmonotonic reasoning
- Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators
- Belief revision and nonmonotonic logic: Two sides of the same coin?
- Two theories of dynamic semantics
- What is a Horn clause in partial logic?
- Semantic interpretation as higher-order deduction
- Action logic and pure induction
- Loop checking and negation
- On generative capacity of the Lambek calculus
- Extending resolution for model construction
- A first order logic of truth, knowledge and belief
- The optimal model of a program with negation
- NM3 A three-valued cumulative non-monotonic formalism
- Constructive matching A methodology for inductive theorem proving
- Deductive inference operations
- A constraint logic approach to modal deduction
- Dynamic semantics and VP-ellipsis
- Systems for knowledge and beliefs
- Awareness, negation and Logical omniscience
- Theoretical circumscription in partial modal logic
- A logical basis for object oriented programming
- A computationally attractive first-order logic of belief
- Polymorphic constructs in natural and programming languages
- The net-clause language A tool for data-driven inference
- The logical compilation of knowledge bases
- Non-monotonic reasoning by monotonic means
- Anaphora and the logic of change
- Towards automatic autoepistemic reasoning
- Towards a connection procedure with built in theories
- On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs
- Towards a formal theory of intentions
- Note on effective constructibility of resolution proof systems
- The logic of objective knowledge and rational belief
- A complete logic forautoepistemic membership
- Doxastic preference logic
- Partial semantics for truth maintenance.