Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 6, 1995 : proceedings
This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995. The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection p...
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science. Lecture notes in artificial intelligence
990 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Progress in artificial intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, proceedings, Carlos Pinto-Ferreira, Nuno J. Mamede (eds.), Berlin, Springer, 1995, 1 vol. (XIV-487 p.), Lecture notes in computer science, 3-540-60428-6 • Progress in Artificial Intelligence, Texte imprimé, 9783662212745 |
İçindekiler:
- Terminological meta-reasoning by reification and multiple contexts
- A new continuous propositional logic
- Super-polynomial speed-ups in proof length by new tautologies
- Belief revision in non-monotonic reasoning
- A new representation of JTMS
- The retrieval problem in a concept language with number restrictions
- Formalizing local propagation in constraint maintenance systems
- A dependency parser of Korean based on connectionist/symbolic techniques
- A symbiotic approach to arc and path consistency checking
- Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution
- A closer look to artificial learning environments
- Building multi-agent societies from descriptions to systems: Inter-layer translations
- GA/TS: A hybrid approach for job shop scheduling in a production system
- A controlled experiment: Evolution for learning difficult image classification
- Minimal model complexity search
- Characterization of classification algorithms
- Neurons, glia and the borderline between subsymbolic and symbolic processing
- Arguments and defeat in argument-based nonmonotonic reasoning
- A preference semantics for ground nonmonotonic modal logics
- Logical omniscience vs. logical ignorance on a dilemma of epistemic logic
- On the role of splitting and merging past cases for generation of a new solution
- Theorem proving by analogy A compelling example
- Non-atomic actions in the situation calculus
- Planning under uncertainty: A qualitative approach
- Qualitative reasoning under uncertainty
- Systematic construction of qualitative physics-based rules for process diagnostics
- Integrated process supervision: A structured approach to expert control
- Using stochastic grammars to learn robotic tasks
- Constraint categorialgrammars
- A new translation algorithm from lambda calculus into combinatory logic
- Interlocking multi-agent and blackboard architectures
- A model theory for paraconsistent logic programming
- Promoting software reuse through explicit knowledge representations
- Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm
- A non-diffident combinatorial optimization algorithm
- Modelling diagnosis systems with the logic programming
- Agreement: A logical approach to approximate reasoning
- Constructing extensions by resolving a system of linear equations
- Presenting significant information in expert system explanation
- A cognitive model of problem solving with incomplete information
- Filtering software specifications written in natural language
- Parsimonious Diagnosis in SNePS
- Syntactic and semantic filtering in a chart parser
- GA approach to solving Multiple Vehicle Routing Problem
- Multilevel refinement planning in an interval-based temporal logic.