Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th EPIA 1995: Madeira Island, Portugal
- Carlos A. Pinto-Ferreira
, Nuno J. Mamede:
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings. Lecture Notes in Computer Science 990, Springer 1995, ISBN 3-540-60428-6
Automated Reasoning and Theorem Proving
- Klemens Schnattinger, Udo Hahn, Manfred Klenner:
Terminological Meta-Reasoning by Reification and Multiple Contexts. 1-16 - Riccardo Poli, Mark Ryan, Aaron Sloman:
A New Continuous Propositional Logic. 17-28 - Uwe Egly:
Super-Polynomial Speed-Ups in Proof Length by New Tautologies. 29-40
Belief Revision
- José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Belief Revision in Non-Monotonic Reasoning. 40-56 - Truong Quoc Dung:
A New Representation of JTMS. 57-68
Constraint-Based Reasoning
- Aida Vitória, Margarida Mamede, Luís Monteiro:
The Retrieval Problem in a Concept Language with Number Restrictions. 69-82 - Gilles Trombettoni:
Formalizing Local Propagation in Constraint Maintenance Systems. 83-94 - Jong-Hyeok Lee, Gary Geunbae Lee:
A Dependency Parser of Korean Based on Connectionist/ Symbolic Techniques. 95-106 - Pierre Berlandier:
A Symbiotic Approach to Arc and Path Consistency Checking. 107-114
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 - Helder Coelho, Augusto Eusébio, Ernesto Costa:
A Closer Look to Artificial Learning Environments. 129-142 - Helder Coelho, Luis Antunes, Luís Moniz:
Building Multi-Agent Societies from Description to Systems: Inter-Layer Translations. 143-152
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
Machine Learning
- Astro Teller, Manuela M. Veloso:
A Contolled Experiment: Evolution for Learning Difficult Image Classification. 165-176 - Chris McConnell:
Minimal Model Complexity Search. 177-187 - João Gama, Pavel Brazdil:
Characterization of Classification Algorithms. 189-200
Neural Networks
- J. G. (Iain) Wallace, Kevin Bluff:
Neurons, Glia and the Borderline Between Subsymbolic Processing. 201-211
Non-Monotonic Reasoning
- Bart Verheij:
Arguments and Defeat in Argument-Based Nonmonotonic Reasoning. 213-224 - Daniele Nardi, Riccardo Rosati:
A Preference Semantics for Ground Nonmonotonic Modal Logics. 223-235 - Ho Ngoc Duc:
Logical Omniscience vs. Logical Ignorance on a Dilemma of Epistemic Logic. 237-248
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 - Erica Melis:
Theorem Proving by Analogy - A Compelling Example. 261-272 - José Júlio Alferes, Renwei Li, Luís Moniz Pereira:
Non-Atomic Actions in the Situation Calculus. 273-284 - Nikos I. Karacapilidis:
Planning Under Uncertainty: A Qualitative Approach. 285-296
Qualitative Reasoning
- Daniel Pacholczyk:
Qualitative Reasoning Under Uncertainty. 297-309 - Jaques Reifman, Thomas Y. C. Wei:
Systematic Construction of Qualitative Physics-Based Rules for Process Diagnostics. 311-322
Robotics and Control
- Hiok Chai Quek, P. W. Ng, Michel Pasquier:
Integrated Process Supervision: A Structured Approach to Expert Control. 323-334 - Pedro U. Lima, George N. Saridis:
Using Stochastic Grammars to Learn Robotic Tasks. 335-346
Theory of Computation
- Luís Damas, Nelma Moreira:
Constraint Categorial Grammars. 347-358 - Sabine Broda, Luís Damas:
A New Translation Algorithm from Lambda Calculus into Combinatory Logic. 359-370
Posters
- Bernhard Kipper:
Interlocking Multi-Agent and Blackboard Architectures. 371-375 - Carlos Viegas Damásio, Luís Moniz Pereira:
A Model Theory for Paraconsistent Logic Programming. 377-386 - Carmen Fernández-Chamizo, Pedro A. González-Calero, Mercedes Gómez-Albarrán:
Promoting Software Reuse Through Explicit Knowledge Representations. 387-396 - Gildas Cherruel, Bassel Solaiman, Yvon Autret:
Efficient Learning in Multi-Layered Perceptron Using the Grow-And-Learn Algorithm. 397-401 - Gilles Trombettoni, Bertrand Neveu, Pierre Berlandier, María Cristina Riff Rojas, Mouhssine Bouzoubaa:
A Non-Diffident Combinatorial Optimization Algorithm. 403-407 - Iara de Almeida Móra, José Júlio Alferes:
Modelling Diagnosis Systems with the Logic Programming. 409-418 - Luís M. M. Custódio, Carlos A. Pinto-Ferreira:
Agreement: A Logical Approach to Approximate Reasoning. 419-428 - Nadia Messaoudi:
Constructing Extensions by Resolving a System of Linear Equations. 429-433 - Michael Wolverton:
Presenting Significant Information in Expert System Explanation. 435-438 - Nathalie Chaignaud:
A Cognitive Model of Problem Solving with Incomplete Information. 441-445 - Núria Castell, Àngels Hernández:
Filtering Software Specifications Written in Natural Language. 447-455 - Pedro A. de Matos, João P. Martins:
Parsimonious Diagnosis in SNePS. 457-463 - Sayan Bhattacharyya, Steven L. Lytinen:
Syntactic and Semantic Filtering in a Chart Parser. 465-471 - Slavko Krajcar, Davor Skrlec, Branko Pribicevic, Snjezana Blagajac:
GA Approach to Solving Multiple Vehicle Routing Problem. 473-481 - Werner Stephan, Susanne Biundo:
Multilevel Refinement Planning in an Interval-Based Temporal Logic. 483-487
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
