Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marco Baioletti, Stefano Marcugini, Alfredo Milani |
A Weakest Precondition Semantics for Conditional Planning. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Daniel Zucker |
Reformulation of Examples in Concept Learning of Structural Descriptions. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Camargo Silva |
Fuzzy Congitive Maps in Multi-Agent Environments. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Baroglio, Marco Botta |
Multiple Predicate Learning with RTL. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Chella, Marcello Frixione, Salvatore Gaglio |
Knowledge Representation for Robotic Vision Based on Conceptual Spaces and Attentive Mechanisms. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Antonio D'Angelo |
Using a Chemical Metaphor to Implement Autonomous Systems. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Pogliano, Luisella Riccardi |
Modeling Process Diagnostic Knowledge Through Causal Networks. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johann Gamper, Wolfgang Nejdl |
Formalizing Reasoning About Change: A Temporal Diagnosis Approach. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Theseider Dupré, Mauro Rossotto |
The Different Roles of Abstraction in Abductive Reasoning. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gori, Giovanni Soda (eds.) |
Topics in Artificial Intelligence, 4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13, 1995, Proceedings |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Elena Not, Emanuele Pianta |
Issues of Multilinguality in the Automatic Generation of Administrative Instructional Texts. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Antonella Carassa, Alessandra Valpiani, Giuliano Carlo Geminiani, Stefania Bandini |
A Cognitive Model of Causal Reasoning about the Physical World. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hachemi Bennaceur |
Boolean approch for representing and solving constraint-satisfaction problems. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini |
Agents as Reasoners, Observers or Believers. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Humphrey, Anna Bramanti-Gregor, Henry W. Davis |
Learning While -Solving Problems in Single Agent Search: Preliminary Results. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Blanzieri, Attilio Giordana |
Mapping Symbolic Knowledge into Locally Receptive Field Networks. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Di Manzo, Paolo Pecchiari |
Composing decision procedures: the approach and a case study. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Giacomo, Maurizio Lenzerini |
PDL-based framework for reasoning about actions. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bonarini |
Extending Q-learning to Fuzzy Classifier Systems. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Enrico Denti, Antonio Natali |
Agent Coordination and Control through Logic Theories. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Orilia |
Knowledge Representation, Exemplification, and the Gupta-Belnap Theory of Circular Definitions. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Ferrari, Enrico Pagello, Jun Ota 0001, Tamio Arai |
A Method for Solving Multiple Autonomous Robots Collisions Problem Using Space and Time Representation. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Ciravegna, Nicola Cancedda |
Integrating Shallow and Linguistic Techniques for Information Extraction from Text. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
Seeing is Believing. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giuliano Armano |
Exceptions-Based Synthesis of Boolean Functions as a Core Mechanism to Perform Concept Learning. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Man Leung Wong, Kwong-Sak Leung |
Learning Programs in Different Paradigms using Genetic Programming. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Barbero, Vincenzo Lombardo |
Dependency Graphs in Natural Language Processing. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Rumolo, Ernesto Compatangelo |
TRDL: a language for conceptual modelling in Information Systems Engineering. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Carpineto, Giovanni Romano 0002 |
Automatic Construction of Navigable Concept Networks Characterizing Text Databases. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Nils Lenke |
Natural Language Generation as Constraint-Based Configuration. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Castelfranchi, Daniela D'Aloisi, Fabrizio Giacomelli |
A Framework for Dealing with Belief-Goal Dynamics. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Gaspari |
Modelling Interactions in Agent System. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Semeraro, Floriana Esposito, Nicola Fanizzi, Donato Malerba |
Revision of Logical Theories. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati 0001 |
Non-first-order features in concept languages. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | João Pedro Guerreiro Neto, Fernando Moura-Pires |
Integrated Model - a Proposal to Handle Noise. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Ardissono, Guido Boella, Dario Sestero |
Recognizing preliminary sentences in dialogue interpretation. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Amedeo Cesta, Angelo Oddi |
A Formal Domain Description Language for a Temporal Planner. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ionnas Kanellos, Victor Hugo Zaldivar-Carrillo |
Contextuality and Non-extensional Identity: the Inescapable Symbiosis in NLP. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Guida, Marina Zanella |
Preventive Diagnosis: Definition and Logical Model. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gazza, Pietro Torasso |
Temporal Prediction: Dealing with Change and Interactions within a Causal Framework. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou |
Priorities in Default Logic Revisited. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Nolfi, Domenico Parisi |
Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Frixione, Maurizio Piaggio, Gianni Viardo Vercelli, Renato Zaccaria |
A Cognitive Hybrid Model for Autonomous Navigation. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth Maier, Elena Not |
Increasing Cohesion in Automatically Generated Natural Language Texts. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Conati |
EFH-Soar: Modeling Education in Highly Interactive Microworlds. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Fiora Pirri, Clara Pizzuti |
Characterizing Prime Implicants as Projective Spaces. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Larrañaga, Manuel Graña, Alicia D'Anjou, Francisco Javier Torrealdea |
Genetic Algorithms Elitist Probabilistic of Degree 1, a generalization of Simulated Annealing. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Gaspari, Enrico Motta, Arthur Stutt |
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Torasso (eds.) |
Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Schaerf |
Reasoning with Individuals in Concept Languages. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Ardissono, Leonardo Lesmo, Alessandro Lombardo, Dario Sestero |
Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking Dialogues. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | H. Altay Güvenir, Izzet Sirin |
Complexity of the CFP, a Method for Classification Based on Feature Partitioning. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gary McGraw, Douglas Hofstadter |
Letter Spirit: An Architecture for Creativity in an Microdomain. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gori, Giovanni Soda |
Projecting Sub-symbolic Onto Symbolic Representations in Artificial Neural Networks. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello |
Computing 3-valued Stable Models by using the ATMS. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Alessandro Cimatti, Luca Viganò 0001 |
Building and Executing Proof Strategies in a Formal Metatheory. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Portinale |
Selecting Observation Time in the Monitoring and Interpretation of Time-Varying Data. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Monfroglio |
Neural Networks for Constraint Satisfaction. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Ciravegna, Erica Giorda |
Coping with Modifiers in a Restricted Domain. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Adorni, Agostino Poggi |
MAP - a Language for the Modelling of Multi-Agent Systems. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre |
Constructing Refinement Operators by Decomposing Logical Implication. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Achille C. Varzi |
Spatial Reasoning in a Holey World. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou |
Abstract properties for the choice provability relation in nonmonotonic logics. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | George Vossos, John Zeleznikow |
Developing Co-operating Legal Knowledge Based Systems. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Pelillo, Fabio Abbattista, Angelo Maffione |
Evolutionary Learning for Relaxation Labeling Processes. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Ardizzone, Antonio Chella, Roberto Pirrone |
New Systems for Extracting 3-D Shape Information from Images. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Terna |
Randomness, Imitation or Reason Explain Agents' Behaviour into an Artificial Stock Market? |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bergadano, Daniele Gunetti |
Learning Relations: Basing Top-Down Methods on Inverse Resolution. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Markus Stumptner, Alois Haselböck |
A Generative Constraint Formalism for Configuration Problems. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Attilio Giordana, Lorenza Saitta, M. E. Campidoglio, Giuseppe Lo Bello |
Learning Relations Using Genetic Algorithms. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo |
Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito |
Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based NAvigation. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari |
Proving Formulas through Reduction to Decidable Classes. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Ferrari, Michele Carenini, Paolo Moreschini |
Explanation Strategies in a Tutoring System. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli |
Foundations for Interaction: The Dependency Theory. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Cervoni, Amedeo Cesta, Angelo Oddi |
Maintaining Consistency in Quantitative Temporal Constraint Networks for Planning and Scheduling. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Floriana Esposito, Donato Malerba, Giovanni Semeraro |
Negation as a Specializing Operator. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Bettini |
A Family of Temporal Terminological Logics. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marco Schaerf |
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results. |
AI*IA |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Attilio Giordana, Lorenza Saitta, R. Finelli, M. Paderni, Davide Roverso |
Extending Inverse Resolution to Build Up Abstractions. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello (eds.) |
Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Danilo Fum, Carlo Tasso, L. Tiepolo, A. Tramontini |
A Computational Model of Tense Selection and its Experimentation within an Intellegent Tutor. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gianni Viardo Vercelli, Renato Zaccaria, Pietro Morasso |
A Theory of Sensor-Based Robot Navigation using Local Information. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Brajnik, Luca Chiattro, Giovanni Guida, Carlo Tasso, Elio Toppano |
Representation and Use of Teleological Knowledge in the Multi-Modeling Approach. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Ardizzone, Antonio Chella, Roberto Pirrone, Filippo Sorbello |
A System Based on Neural Architectures for the Reconstruction of 3-D Shapes from Images. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Attardi, Mauro Gaspari, Pietro Iglio |
Effiecient Compilation of First Order Predicates. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maria Simi |
Viewpoints Subsume Beliefs, Truth and Situations. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | P. De Pinto, M. Sette |
On Neural Network Programming. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
A Hybrid System with Datalog and Concept Languages. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Basili 0001, Maria Teresa Pazienza, Paola Velardi |
Using Word Association for Syntactic Disambiguation. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | M. Gioiello, Giorgio Vassallo, Antonio Chella, Filippo Sorbello |
Self-Organizing Maps: A new Digital Architecture. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Maria Luisa Sapino |
Negation as Failure and Constraints through Abduction and Defaults. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bagnasco, Paola Petrin, Luca Spampinato |
Taxonomic Reasoning in Configuration Tasks. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mark Klein, Stephen C. Y. Lu |
Insight into Cooperative Group Design: Experience with the LAN Designer System. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Milanese, Jean-Marc Bost, Thierry Pun |
Visual Indexing with an Attentive System. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Cerbone, Thomas G. Dietterich |
Knowledge Compilation to Speed Up Numerical Optimisation. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Strapparava |
From Scopings to Interpretation: The Semantic Interpretation within the AlFresco System. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Abbati, Stefano Odoardi |
A Logic for the Representation of Spatial Knowledge. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Wahlster, Elisabeth André, Winfried Graf, Thomas Rist |
Knowledge-Based Media Coordination in Intelligent User Interfaces. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Badaloni, Alberto Zanardo |
Typicality for Plausible Reasoning. |
AI*IA |
1991 |
DBLP DOI BibTeX RDF |
|