default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAI*IA 1993: Torino
- Pietro Torasso:
Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings. Lecture Notes in Computer Science 728, Springer 1993, ISBN 3-540-57292-9
Automated Reasoning
- Mauro Di Manzo, Enrico Giunchiglia
, Alessandro Armando, Paolo Pecchiari:
Proving Formulas through Reduction to Decidable Classes. 1-10 - Alessandro Armando, Alessandro Cimatti, Luca Viganò:
Building and Executing Proof Strategies in a Formal Metatheory. 11-22 - Evelina Lamma, Paola Mello:
Computing 3-valued Stable Models by using the ATMS. 23-34 - Grigoris Antoniou:
Abstract properties for the choice provability relation in nonmonotonic logics. 35-40 - Fiora Pirri, Clara Pizzuti:
Characterizing Prime Implicants as Projective Spaces. 41-46
Cognitive Models
- Cristina Conati:
EFH-Soar: Modeling Education in Highly Interactive Microworlds. 47-58 - Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli:
Foundations for Interaction: The Dependency Theory. 59-64 - Gary McGraw, Douglas Hofstadter:
Letter Spirit: An Architecture for Creativity in an Microdomain. 65-70
Connectionist Models and Subsymbolic Approaches
- Edoardo Ardizzone, Antonio Chella, Roberto Pirrone:
New Systems for Extracting 3-D Shape Information from Images. 71-83 - Marco Gori, Giovanni Soda:
Projecting Sub-symbolic Onto Symbolic Representations in Artificial Neural Networks. 84-89 - Alberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito:
Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based NAvigation. 90-95 - Pietro Terna:
Randomness, Imitation or Reason Explain Agents' Behaviour into an Artificial Stock Market? 96-101 - Angelo Monfroglio:
Neural Networks for Constraint Satisfaction. 102-107
Knowledge Representation
- Andrea Schaerf:
Reasoning with Individuals in Concept Languages. 108-119 - Claudio Bettini:
A Family of Temporal Terminological Logics. 120-131 - Marco Schaerf:
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results. 132-141
Languages, Architectures and Tools for AI
- Mauro Gaspari, Enrico Motta, Arthur Stutt:
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. 142-153 - Giovanni Adorni, Agostino Poggi:
MAP - a Language for the Modelling of Multi-Agent Systems. 154-159 - George Vossos, John Zeleznikow:
Developing Co-operating Legal Knowledge Based Systems. 160-165
Machine Learning
- Floriana Esposito, Donato Malerba, Giovanni Semeraro:
Negation as a Specializing Operator. 166-177 - Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre:
Constructing Refinement Operators by Decomposing Logical Implication. 178-189 - Francesco Bergadano, Daniele Gunetti:
Learning Relations: Basing Top-Down Methods on Inverse Resolution. 190-201 - H. Altay Güvenir, Izzet Sirin:
Complexity of the CFP, a Method for Classification Based on Feature Partitioning. 202-207 - Pedro Larrañaga, Manuel Graña, Alicia D'Anjou, Francisco Javier Torrealdea:
Genetic Algorithms Elitist Probabilistic of Degree 1, a generalization of Simulated Annealing. 208-217 - Attilio Giordana, Lorenza Saitta, M. E. Campidoglio, Giuseppe Lo Bello:
Learning Relations Using Genetic Algorithms. 218-229 - Marcello Pelillo, Fabio Abbattista, Angelo Maffione:
Evolutionary Learning for Relaxation Labeling Processes. 230-241
Natural Language
- Elisabeth Maier, Elena Not:
Increasing Cohesion in Automatically Generated Natural Language Texts. 242-253 - Liliana Ardissono, Leonardo Lesmo, Alessandro Lombardo, Dario Sestero:
Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking Dialogues. 254-265 - Fabio Ciravegna, Erica Giorda:
Coping with Modifiers in a Restricted Domain. 266-271 - Giacomo Ferrari, Michele Carenini, Paolo Moreschini:
Explanation Strategies in a Tutoring System. 272-277
Planning and Robotics
- Roberto Cervoni, Amedeo Cesta, Angelo Oddi:
Maintaining Consistency in Quantitative Temporal Constraint Networks for Planning and Scheduling. 278-289 - Silvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo:
Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations. 290-301
Reasoning about Phisical Systems and Artifacts
- Markus Stumptner, Alois Haselböck:
A Generative Constraint Formalism for Configuration Problems. 302-313 - Luigi Portinale:
Selecting Observation Time in the Monitoring and Interpretation of Time-Varying Data. 314-325 - Achille C. Varzi:
Spatial Reasoning in a Holey World. 326-336
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-12-12 20:46 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:
