Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93 Torino, Italy, October 26–28, 1993 Proceedings [1 ed.] 3540572929, 9783540572923
This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Itali
240 35 4MB
English Pages 343 [348] Year 1993
Table of contents :
Proving formulas through reduction to decidable classes....Pages 1-10
Building and executing proof strategies in a formal metatheory....Pages 11-22
Computing 3-valued stable models by using the ATMS....Pages 23-34
Abstract properties for the choice provability relation in nonmonotonic logics....Pages 35-40
Characterizing prime implicants as projective spaces....Pages 41-46
EFH-Soar: Modeling education in highly interactive microworlds....Pages 47-58
Foundations for interaction: The dependence theory....Pages 59-64
Letter spirit: An architecture for creativity in a microdomain....Pages 65-70
New systems for extracting 3-D shape information from images....Pages 71-83
Projecting sub-symbolic onto symbolic representations in artificial neural networks....Pages 84-89
Integrating the symbolic and the sub-symbolic level in sonar-based navigation....Pages 90-95
Randomness, imitation or reason explain agents' behaviour into an artificial stock market?....Pages 96-101
Neural networks for constraint satisfaction....Pages 102-107
Reasoning with individuals in concept languages....Pages 108-119
A family of temporal terminological logics....Pages 120-131
Logic programming and autoepistemic logics: New relations and complexity results....Pages 132-141
Inferring in lego-land: an architecture for the integration of heterogeneous inference modules....Pages 142-153
MAP — a language for the modelling of Multi-Agent systems....Pages 154-159
Developing co-operating legal knowledge based systems....Pages 160-165
Negation as a specializing operator....Pages 166-177
Constructing refinement operators by decomposing logical implication....Pages 178-189
Learning relations: Basing top-down methods on inverse resolution....Pages 190-201
Complexity of the CFP, a method for Classification based on Feature Partitioning....Pages 202-207
Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing....Pages 208-217
Learning relations using genetic algorithms....Pages 218-229
Evolutionary learning for relaxation labeling processes....Pages 230-241
Increasing cohesion in automatically generated natural language texts....Pages 242-253
Production of cooperative answers on the basis of partial knowledge in information-seeking dialogues....Pages 254-265
Coping with modifiers in a restricted domain....Pages 266-271
Explanation strategies in a tutoring system....Pages 272-277
Maintaining consistency in quantitative temporal constraint networks for planning and scheduling....Pages 278-289
Making an autonomous robot plan temporally constrained maintenance operations....Pages 290-301
A generative constraint formalism for configuration problems....Pages 302-313
Selecting observation time in the monitoring and interpretation of time-varying data....Pages 314-325
Spatial reasoning in a holey world....Pages 326-336
Proving formulas through reduction to decidable classes....Pages 1-10
Building and executing proof strategies in a formal metatheory....Pages 11-22
Computing 3-valued stable models by using the ATMS....Pages 23-34
Abstract properties for the choice provability relation in nonmonotonic logics....Pages 35-40
Characterizing prime implicants as projective spaces....Pages 41-46
EFH-Soar: Modeling education in highly interactive microworlds....Pages 47-58
Foundations for interaction: The dependence theory....Pages 59-64
Letter spirit: An architecture for creativity in a microdomain....Pages 65-70
New systems for extracting 3-D shape information from images....Pages 71-83
Projecting sub-symbolic onto symbolic representations in artificial neural networks....Pages 84-89
Integrating the symbolic and the sub-symbolic level in sonar-based navigation....Pages 90-95
Randomness, imitation or reason explain agents' behaviour into an artificial stock market?....Pages 96-101
Neural networks for constraint satisfaction....Pages 102-107
Reasoning with individuals in concept languages....Pages 108-119
A family of temporal terminological logics....Pages 120-131
Logic programming and autoepistemic logics: New relations and complexity results....Pages 132-141
Inferring in lego-land: an architecture for the integration of heterogeneous inference modules....Pages 142-153
MAP — a language for the modelling of Multi-Agent systems....Pages 154-159
Developing co-operating legal knowledge based systems....Pages 160-165
Negation as a specializing operator....Pages 166-177
Constructing refinement operators by decomposing logical implication....Pages 178-189
Learning relations: Basing top-down methods on inverse resolution....Pages 190-201
Complexity of the CFP, a method for Classification based on Feature Partitioning....Pages 202-207
Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing....Pages 208-217
Learning relations using genetic algorithms....Pages 218-229
Evolutionary learning for relaxation labeling processes....Pages 230-241
Increasing cohesion in automatically generated natural language texts....Pages 242-253
Production of cooperative answers on the basis of partial knowledge in information-seeking dialogues....Pages 254-265
Coping with modifiers in a restricted domain....Pages 266-271
Explanation strategies in a tutoring system....Pages 272-277
Maintaining consistency in quantitative temporal constraint networks for planning and scheduling....Pages 278-289
Making an autonomous robot plan temporally constrained maintenance operations....Pages 290-301
A generative constraint formalism for configuration problems....Pages 302-313
Selecting observation time in the monitoring and interpretation of time-varying data....Pages 314-325
Spatial reasoning in a holey world....Pages 326-336
![Advances in Artificial Intelligence: Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93 Torino, Italy, October 26–28, 1993 Proceedings [1 ed.]
3540572929, 9783540572923](https://ebin.pub/img/200x200/advances-in-artificial-intelligence-third-congress-of-the-italian-association-for-artificial-intelligence-aiia-93-torino-italy-october-2628-1993-proceedings-1nbsped-3540572929-9783540572923.jpg)
- Author / Uploaded
- Mauro Di Manzo
- Enrico Giunchiglia (auth.)
- Pietro Torasso (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![AIxIA 2020 – Advances in Artificial Intelligence: XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual ... (Lecture Notes in Artificial Intelligence) [1st ed. 2021]
3030770907, 9783030770907](https://ebin.pub/img/200x200/aixia-2020-advances-in-artificial-intelligence-xixth-international-conference-of-the-italian-association-for-artificial-intelligence-virtual-lecture-notes-in-artificial-intelligence-1st-ed-2021-3030770907-9783030770907.jpg)
![Advances in Artificial Intelligence: 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23–25, 1996 Proceedings [1 ed.]
3540618597, 9783540618591](https://ebin.pub/img/200x200/advances-in-artificial-intelligence-13th-brazilian-symposium-on-artificial-intelligence-sbia96-curitiba-brazil-october-2325-1996-proceedings-1nbsped-3540618597-9783540618591.jpg)
![Advances in Artificial Intelligence: 12th Brazilian Symposium on Artificial Intelligence SBIA '95, Campinas, Brazil, October 10–12, 1995 Proceedings [1 ed.]
3540604367, 9783540604365](https://ebin.pub/img/200x200/advances-in-artificial-intelligence-12th-brazilian-symposium-on-artificial-intelligence-sbia-95-campinas-brazil-october-1012-1995-proceedings-1nbsped-3540604367-9783540604365.jpg)
