7. EPIA 1995: Madeira Island, Portugal

@proceedings{DBLP:conf/epia/1995,
  editor    = {Carlos A. Pinto-Ferreira and
               Nuno J. Mamede},
  title     = {Progress in Artificial Intelligence, 7th Portuguese Conference
               on Artificial Intelligence, EPIA '95, Funchal, Madeira Island,
               Portugal, October 3-6, 1995, Proceedings},
  booktitle = {EPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {990},
  year      = {1995},
  isbn      = {3-540-60428-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Automated Reasoning and Theorem Proving

• Klemens Schnattinger, Udo Hahn, Manfred Klenner: Terminological Meta-Reasoning by Reification and Multiple Contexts. 1-16 BibTeX
• Riccardo Poli, Mark Ryan, Aaron Sloman: A New Continuous Propositional Logic. 17-28 BibTeX
• Uwe Egly: Super-Polynomial Speed-Ups in Proof Length by New Tautologies. 29-40 BibTeX

Belief Revision

• José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski: Belief Revision in Non-Monotonic Reasoning. 40-56 BibTeX
• Truong Quoc Dung: A New Representation of JTMS. 57-68 BibTeX

Constraint-Based Reasoning

• Aida Vitória, Margarida Mamede, Luís Monteiro: The Retrieval Problem in a Concept Language with Number Restrictions. 69-82 BibTeX
• Gilles Trombettoni: Formalizing Local Propagation in Constraint Maintenance Systems. 83-94 BibTeX
• Jong-Hyeok Lee, Gary Geunbae Lee: A Dependency Parser of Korean Based on Connectionist/ Symbolic Techniques. 95-106 BibTeX
• Pierre Berlandier: A Symbiotic Approach to Arc and Path Consistency Checking. 107-114 BibTeX

Distributed Artificial Intelligence

• Graça Gaspar, Helder Coelho: Where Do Intensions Come from?: A Framework for Goals and Intensions Adoption, Derivation and Evolution. 115-127 BibTeX
• Helder Coelho, Augusto Eusébio, Ernesto Costa: A Closer Look to Artificial Learning Environments. 129-142 BibTeX
• Helder Coelho, Luis Antunes, Luís Moniz: Building Multi-Agent Societies from Description to Systems: Inter-Layer Translations. 143-152 BibTeX

Genetic Algorithms

• José Ramón Zubizarreta Aizpuru, Javier Arrieta Usunáriz: GA/TS: A Hybrid Approach for Job Shop Scheduling in a Production System. 153-164 BibTeX

Machine Learning

• Astro Teller, Manuela M. Veloso: A Contolled Experiment: Evolution for Learning Difficult Image Classification. 165-176 BibTeX
• Chris McConnell: Minimal Model Complexity Search. 177-187 BibTeX
• João Gama, Pavel Brazdil: Characterization of Classification Algorithms. 189-200 BibTeX

Neural Networks

• J. G. (Iain) Wallace, Kevin Bluff: Neurons, Glia and the Borderline Between Subsymbolic Processing. 201-211 BibTeX

Non-Monotonic Reasoning

• Bart Verheij: Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. 213-224 BibTeX
• Daniele Nardi, Riccardo Rosati: A Preference Semantics for Ground Nonmonotonic Modal Logics. 223-235 BibTeX
• Ho Ngoc Duc: Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic. 237-248 BibTeX

Planning and Case-Based Reasoning

• Carlos Bento, Penousal Machado, Ernesto Costa: On the Role of Splitting and Merging Past Cases for Generation of a New Solution. 249-260 BibTeX
• Erica Melis: Theorem Proving by Analogy - A Compelling Example. 261-272 BibTeX
• José Júlio Alferes, Renwei Li, Luís Moniz Pereira: Non-Atomic Actions in the Situation Calculus. 273-284 BibTeX
• Nikos I. Karacapilidis: Planning Under Uncertainty: A Qualitative Approach. 285-296 BibTeX

Qualitative Reasoning

• Daniel Pacholczyk: Qualitative Reasoning Under Uncertainty. 297-309 BibTeX
• Jaques Reifman, Thomas Y. C. Wei: Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics. 311-322 BibTeX

Robotics and Control

• Hiok Chai Quek, P. W. Ng, Michel Pasquier: Integrated Process Supervision: A Structured Approach to Expert Control. 323-334 BibTeX
• Pedro U. Lima, George N. Saridis: Using Stochastic Grammars to Learn Robotic Tasks. 335-346 BibTeX

Theory of Computation

• Luís Damas, Nelma Moreira: Constraint Categorial Grammars. 347-358 BibTeX
• Sabine Broda, Luís Damas: A New Translation Algorithm from Lambda Calculus into Combinatory Logic. 359-370 BibTeX

Posters

• Bernhard Kipper: Interlocking Multi-Agent and Blackboard Architectures. 371-375 BibTeX
• Carlos Viegas Damásio, Luís Moniz Pereira: A Model Theory for Paraconsistent Logic Programming. 377-386 BibTeX
• Carmen Fernández-Chamizo, Pedro A. González-Calero, Mercedes Gómez-Albarrán: Promoting Software Reuse Through Explicit Knowledge Representations. 387-396 BibTeX
• Gildas Cherruel, Bassel Solaiman, Yvon Autret: Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm. 397-401 BibTeX
• Gilles Trombettoni, Bertrand Neveu, Pierre Berlandier, María Cristina Riff Rojas, Mouhssine Bouzoubaa: A Non-Diffident Combinatorial Optimization Algorithm. 403-407 BibTeX
• Iara de Almeida Móra, José Júlio Alferes: Modelling Diagnosis Systems with the Logic Programming. 409-418 BibTeX
• Luís M. M. Custódio, Carlos A. Pinto-Ferreira: Agreement: A Logical Approach to Approximate Reasoning. 419-428 BibTeX
• Nadia Messaoudi: Constructing Extensions by Resolving a System of Linear Equations. 429-433 BibTeX
• Michael Wolverton: Presenting Significant Information in Expert System Explanation. 435-438 BibTeX
• Nathalie Chaignaud: A Cognitive Model of Problem Solving with Incomplete Information. 441-445 BibTeX
• Núria Castell, Àngels Hernández: Filtering Software Specifications Written in Natural Language. 447-455 BibTeX
• Pedro A. de Matos, João P. Martins: Parsimonious Diagnosis in SNePS. 457-463 BibTeX
• Sayan Bhattacharyya, Steven L. Lytinen: Syntactic and Semantic Filtering in a Chart Parser. 465-471 BibTeX
• Slavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac: GA Approach to Solving Multiple Vehicle Routing Problem. 473-481 BibTeX
• Werner Stephan, Susanne Biundo: Multilevel Refinement Planning in an Interval-Based Temporal Logic. 483-487 BibTeX