Buch, Englisch, Band 990, 492 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1560 g
7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings
Buch, Englisch, Band 990, 492 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1560 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-60428-0
Verlag: Springer Berlin Heidelberg
The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.