![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
8th EPIA 1997: Coimbra, Portugal
- Ernesto Costa, Amílcar Cardoso:
Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings. Lecture Notes in Computer Science 1323, Springer 1997, ISBN 3-540-63586-6
Automated Reasoning and Theorem Proving
- Marc Fuchs:
Flexible Proof-Replay with Heuristics. 1-12 - Matthias Fuchs:
Flexible Re-enactment of Proofs. 13-24 - Dirk Fuchs:
Inference Rights for Controlling Search in Generating Theorem Provers. 25-36
Case Based Reasoning and Machine Learning
- Paulo Gomes, Carlos Bento:
A Retrieval Method for Exploration of a Case Memory. 37-48 - Udo Hahn, Manfred Klenner:
Incremental Concept Evolution Based on Adaptive Feature Weighting. 49-60
Constraints
- Mohamed Ettaouil:
A 0-1 Quadratic Knapsack Problem for Modelizing and Solving the Constaint Satisfaction Problems. 61-72 - Ana Paula Tomás
, Miguel Filgueiras:
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals. 73-84 - Yury V. Smirnov, Manuela M. Veloso:
GenSAT: A Navigational Approach. 85-96 - Pedro Soares, Nuno J. Mamede
:
Timetabling Using Demand Profiles. 97-110
Intelligent Tutoring Systems and Training
- Ruqian Lu, Han Ke, Yinghao Ma, Zhang Weyan, Wang Wenbiao:
Intelligent VR Training. 111-118 - Christophe Choquet, Pierre Tchounikine, Francky Trichet:
Training Strategies and Knowledge Acquisition: Using the same Reflective Tools for Different Purposes. 119-130
Knowledge Representation
- Daniel Pcholczyk:
About the Intended Meaning of a Linguistic Negation. 131-142 - Helena Sofia Andrade N. P. Pinto:
Integration of Inheritance in SNePS. 143-154 - Jirina Vejnarová:
Measures of Uncertainty and Independence Concept in Different Calculi. 155-166
Multi-Agent Systems and Distributed Artificial Intelligence
- Guilherme Bittencourt, Isabel Tonin:
A Multi-Agent Approach to First-Order Logic. 167-178 - Michael da Costa Móra, José Gabriel Pereira Lopes
, Helder Coelho
, Rosa Maria Vicari:
Modelling Dynamic Aspects of Intentions. 179-194 - José Manuel Fonseca, Eugénio Oliveira
, Adolfo Steiger-Garção:
Multi-Agent Negotiation Algorithms for Resources Cost Estimation: A Case Study. 195-206 - Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt:
Parla: A Cooperation Language for Cognitive Multi-Agent Systems. 207-216 - Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes:
Vivid Agents Arguing about Distributed Extended Logic Programs. 217-228
Non-Monotonic Reasoning
- Helmut Prendinger:
Approximate Reasoning. 229-240
Problem Solving
- Henri Farreny:
New Results About Sub-Admissibility for General Families on Heuristic Search Algorithms. 241-254
Qualitative Reasoning
- Martin Takác:
Fixed Point Classification Method for Qualitative Simulation. 255-266
Temporal Reasoning
- Pedro A. de Matos, João P. Martins:
Contextual Logic of Change and the Ramification Problem. 267-278 - Susanne Schacht, Udo Hahn:
Temporal Reasoning about Actor Systems. 279-290
Posters (extended abstracts)
- Nuno Filipe da Fonseca Bastos Gomes:
A CLP Model to the Job Sequencing Problem. 291-296 - Arnulfo Castellanos, Juan Castellanos, Daniel Manrique
, A. Martínez:
A New Approach for Extracting Rules from a Trained Neural Network. 297-302 - Pedro Larrañaga
, Miren J. Gallego, Basilio Sierra, L. Urkola, Maria J. Michelena:
Bayesian Networks, Rule Induction and Logistic Regression in the Prediction of the Survival of Women Suffering from Breast Cancer. 303-308 - Michael T. Cox, Manuela M. Veloso:
Controlling for Unexpected Goals when Planning in a Mixed-Initiative Setting. 309-318 - P. V. S. R. Bhanu Prasad, Deepak Khemani:
Cooperative Memory Structures and Commonsense Knowledge for Planning. 319-324 - Jerônimo Pellegrini, Jacques Wainer:
Diagonalization and Type Rewriting in Clam. 325-330 - Sanjay Poria, Roberto Garigliano:
Granularity for Explanation. 331-336 - Ljubomir Jerinic, Vladan Devedzic, Marijana Lomic, Danijela Radovic:
Object Model of Intelligent Tutoring Shell. 337-342 - Alcino Cunha
, Orlando Belo
:
Resource Allocation on Agent Meta-Societies. 343-348
Invited Talks
- Oskar Dressler:
Diagnostic Information at Your Fingertips! 349-360 - Luís Moniz Pereira, Renwei Li:
Reasoning about Actions with Abductive Logic Programming. 361-388 - Francisco J. Varela:
Dimensions of Embodiments: Possible Futures for Cognitive Science. 389 - Tom M. Mitchell:
Machine Learning Meets Natural Language. 391
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.