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
Modelling Dynamic Aspects of Intentions. 179-194 - José Manuel Fonseca, Eugénio Oliveira
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 New Approach for Extracting Rules from a Trained Neural Network. 297-302 - Pedro Larrañaga
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
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
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-11-15 19:20 CET 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: