The SCEAS System
Navigation Menu

Conferences in DBLP

Congress of the Italian Association for Artificial Intelligence (AI*IA) (aiia)
1993 (conf/aiia/1993)

  1. Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Proving Formulas through Reduction to Decidable Classes. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:1-10 [Conf]
  2. Alessandro Armando, Alessandro Cimatti, Luca Viganò
    Building and Executing Proof Strategies in a Formal Metatheory. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:11-22 [Conf]
  3. Evelina Lamma, Paola Mello
    Computing 3-valued Stable Models by using the ATMS. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:23-34 [Conf]
  4. Grigoris Antoniou
    Abstract properties for the choice provability relation in nonmonotonic logics. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:35-40 [Conf]
  5. Fiora Pirri, Clara Pizzuti
    Characterizing Prime Implicants as Projective Spaces. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:41-46 [Conf]
  6. Cristina Conati
    EFH-Soar: Modeling Education in Highly Interactive Microworlds. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:47-58 [Conf]
  7. Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
    Foundations for Interaction: The Dependency Theory. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:59-64 [Conf]
  8. Gary McGraw, Douglas Hofstadter
    Letter Spirit: An Architecture for Creativity in an Microdomain. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:65-70 [Conf]
  9. Edoardo Ardizzone, Antonio Chella, Roberto Pirrone
    New Systems for Extracting 3-D Shape Information from Images. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:71-83 [Conf]
  10. Marco Gori, Giovanni Soda
    Projecting Sub-symbolic Onto Symbolic Representations in Artificial Neural Networks. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:84-89 [Conf]
  11. Alberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito
    Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based NAvigation. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:90-95 [Conf]
  12. Pietro Terna
    Randomness, Imitation or Reason Explain Agents' Behaviour into an Artificial Stock Market? [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:96-101 [Conf]
  13. Angelo Monfroglio
    Neural Networks for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:102-107 [Conf]
  14. Andrea Schaerf
    Reasoning with Individuals in Concept Languages. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:108-119 [Conf]
  15. Claudio Bettini
    A Family of Temporal Terminological Logics. [Citation Graph (1, 0)][DBLP]
    AI*IA, 1993, pp:120-131 [Conf]
  16. Marco Schaerf
    Logic Programming and Autoepistemic Logics: New Relations and Complexity Results. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:132-141 [Conf]
  17. Mauro Gaspari, Enrico Motta, Arthur Stutt
    Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:142-153 [Conf]
  18. Giovanni Adorni, Agostino Poggi
    MAP - a Language for the Modelling of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:154-159 [Conf]
  19. George Vossos, John Zeleznikow
    Developing Co-operating Legal Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:160-165 [Conf]
  20. Floriana Esposito, Donato Malerba, Giovanni Semeraro
    Negation as a Specializing Operator. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:166-177 [Conf]
  21. Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre
    Constructing Refinement Operators by Decomposing Logical Implication. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:178-189 [Conf]
  22. Francesco Bergadano, Daniele Gunetti
    Learning Relations: Basing Top-Down Methods on Inverse Resolution. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:190-201 [Conf]
  23. H. Altay Güvenir, Izzet Sirin
    Complexity of the CFP, a Method for Classification Based on Feature Partitioning. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:202-207 [Conf]
  24. Pedro Larrañaga, Manuel Graña, Alicia D'Anjou, Francisco Javier Torrealdea
    Genetic Algorithms Elitist Probabilistic of Degree 1, a generalization of Simulated Annealing. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:208-217 [Conf]
  25. Attilio Giordana, Lorenza Saitta, M. E. Campidoglio, Giuseppe Lo Bello
    Learning Relations Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:218-229 [Conf]
  26. Marcello Pelillo, Fabio Abbattista, Angelo Maffione
    Evolutionary Learning for Relaxation Labeling Processes. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:230-241 [Conf]
  27. Elisabeth Maier, Elena Not
    Increasing Cohesion in Automatically Generated Natural Language Texts. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:242-253 [Conf]
  28. Liliana Ardissono, Leonardo Lesmo, Alessandro Lombardo, Dario Sestero
    Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking Dialogues. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:254-265 [Conf]
  29. Fabio Ciravegna, Erica Giorda
    Coping with Modifiers in a Restricted Domain. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:266-271 [Conf]
  30. Giacomo Ferrari, Michele Carenini, Paolo Moreschini
    Explanation Strategies in a Tutoring System. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:272-277 [Conf]
  31. Roberto Cervoni, Amedeo Cesta, Angelo Oddi
    Maintaining Consistency in Quantitative Temporal Constraint Networks for Planning and Scheduling. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:278-289 [Conf]
  32. Silvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo
    Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:290-301 [Conf]
  33. Markus Stumptner, Alois Haselböck
    A Generative Constraint Formalism for Configuration Problems. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:302-313 [Conf]
  34. Luigi Portinale
    Selecting Observation Time in the Monitoring and Interpretation of Time-Varying Data. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:314-325 [Conf]
  35. Achille C. Varzi
    Spatial Reasoning in a Holey World. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1993, pp:326-336 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002