Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marco Aiello 0001 |
Computing Spatial Similarity by Games. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
model comparison games, qualitative spatial reasoning, image similarity |
1 | Andrea Bonarini, Matteo Matteucci, Marcello Restelli |
Concepts for Anchoring in Robotics. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Floriana Esposito (eds.) |
AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Roli, Christian Blum 0001 |
Critical Parallelization of Local Search for MAX-SAT. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Bandini, Sara Manzoni, Giulio Pavesi, Carla Simone |
L*MASS: A Language for Situated Multi-agent Systems. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Valentina A. M. Tamma, Trevor J. M. Bench-Capon |
Characterising Concept's Properties in Ontologies. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Chella, Marcello Frixione, Salvatore Gaglio |
Symbolic and Conceptual Representation of Dynamic Scenes: Interpreting Situation Calculus on Conceptual Spaces. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Martelli, Camilla Schwind |
Reasoning about Actions in a Multiagent Domain. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Chella, Maria Donatella Guarino, Roberto Pirrone |
A SOM/ARSOM Hierarchy for the Description of Dynamic Scenes. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Botta |
Resampling vs Reweighting in Boosting a Relational Weak Learner. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Palma Blonda, Andrea Baraldi 0001, Annarita D'Addabbo, Cristina Tarantino, Roberto De Blasi |
RBF Networks Exploiting Supervised Data in the Adaptation of Hidden Neuron Parameters. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Diego Magro, Pietro Torasso |
Supporting Product Configuration in a Virtual Store. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rosy Barruffi, Michela Milano |
Planning and Execution in Dynamic Environments. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Magnini, Matteo Negri, Roberto Prevete |
Open Domain Question/Answering on the Web. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Amedeo Cesta, Gabriella Cortellessa, Angelo Oddi, Nicola Policella, Angelo Susi |
A Constraint-Based Architecture for Flexible Support to Activity Scheduling. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Orio |
An Automatic Accompanist Based on Hidden Markov Models. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rino Falcone, Cristiano Castelfranchi |
Tuning the Collaboration Level with Autonomous Agents: A Principled Theory. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Remagnino, Graeme A. Jones, Ndedi D. Monekosso |
Reasoning about Dynamic Scenes Using Autonomous Agents. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello (eds.) |
AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings |
AI*IA |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rino Falcone, Cristiano Castelfranchi |
Levels of Delegation and Levels of Adoption as the Basis for Adjustable Autonomy. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Linda C. van der Gaag, Veerle M. H. Coupé |
Sensitive Analysis for Threshold Decision Making with Bayesian Belief Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Panati |
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
constraint programming heuristics, non-binary constraints, diagnosis, qualitative modeling |
1 | Massimo Franceschet, Angelo Montanari |
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Roberto Sebastiani |
Applying the Davis-Putnam Procedure to Non-clausal Formulas. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Nardi, Riccardo Rosati 0001 |
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Leone, Simona Perri, Pasquale Rullo |
Local Search Techniques for Disjunctive Logic Programs. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Remagnino, James Orwell, Graeme A. Jones |
Multi-agent Scene Interpretation. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori, Alessandro Luppi |
Labelled Tableaux for Non-normal Modal Logics. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ndedi D. Monekosso, Paolo Remagnino |
Autonomous Spacecraft Resource Management: A Multi-agent Approach. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fariba Sadri, Francesca Toni |
Abduction with Negation as Failure for Active and Reactive Rules. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fosca Giannotti, Giuseppe Manco 0001, Dino Pedreschi, Franco Turini |
Experiences with a Logic-Based Knowledge Discovery Support Environment. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alfonso Gerevini, Ivan Serina |
On Plan Adaption through Planning Graph Analysis. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bagnasco, Amedeo Cappelli, Bernardo Magnini, Diego Zamatteo |
Natural Language Access to Public Administration Data: The TAMIC-P System. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella |
The SAT-Based Approach for Classical Modal Logics. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
A Description Logic for Image Retrieval. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Piaggio, Antonio Sgorbissa |
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Adorni, Stefano Cagnoni, Monica Mordonini |
Cellular Automata Based Inverse Perspective Transform as a Tool for Indoor Robot Navigation. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Amedeo Cesta, Angelo Oddi, Angelo Susi |
TimeNetManager - A Software Tool for Generating Random Temporal Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni |
An Implementation for Abductive Logic Agents. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Pianta, Lucia M. Tovena |
XIG: Generating from Interchange Format Using Mixed Representations. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore Gaglio, Giovanni Pilato, Filippo Sorbello, Giorgio Vassallo |
Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the "Hidden" Activation Functions. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli |
Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision Process. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Schaerf, Amnon Meisels |
Solving Employee Timetabling Problems by Generalized Local Search. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Badaloni, Massimiliano Giacomin |
A Fuzzy Extension of Allen's Interval Algebra. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. F. Lucas |
Certainty-Factor-Like Structures in Bayesian Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Floriana Esposito, Donato Malerba, Luigi Di Pace, Pietro Leo |
A Machine Learning Approach to Web Mining. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Amigoni, Mauro Villa |
An Algorithm for Recruitment of Agents in Agency Design. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Agostini |
Notes on Formalizing Coordination. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marco Botta, Attilio Giordana, Lorenza Saitta, Michèle Sebag |
Relational Learning: Hard Problems and Phase Transitions. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Chella, Marcello Frixione, Salvatore Gaglio |
Towards a Conceptual Representation of Actions. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michela Milano, Andrea Roli |
Solving the Satisfiability Problem through Boolean Networks. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Ardissono, Luca Console, Ilaria Torre 0001 |
On the Application of Personalization Techniques to News Servers on the WWW. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi |
Introducing Abduction into (Extensional) Inductive Logic Programming Systems. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Donato Malerba, Floriana Esposito, Giovanni Semeraro, Luca de Filippis |
Processing Paper Documents with WISDOM. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | A. Balderi, M. Solimano |
A Prototypal System foe Data-Validation. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Oddi |
A Weakly Backjumping Strategy to Solve Hard Scheduling Problems. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Andrea Giovanardi, Marco Schaerf |
Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré |
An Efficient Algorithm for Temporal Abduction. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bonzano, Padraig Cunningham, Barry Smyth |
Learning Feature Weights for CBR: Global versus Local. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ndedi D. Monekosso, Paolo Remagnino |
Automated Reasoning On-Board Autonomous Spacecraft. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Rosati 0001 |
Embedding Minimal Knowledge into Autoepistemic Logic. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Donato Malerba, Floriana Esposito, Giovanni Semeraro, Sergio Caggese |
Handling Continuous Data in Top-Down Induction of First-Order Rules. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Gaspari |
Efficient Support for Reactive Rules in Prolog. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Castelfranchi, Rino Falcone |
From Task Delegation to Role Delegation. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Frasconi, Marco Gori, Marco Maggini, Enrico Martinelli, Giovanni Soda |
Inductive Inference of Tree Automata by Recursive Neural Networks. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Massacci |
A Proof Theory for Tractable Approximations of Propositional Reasoning. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli, Pasquale Lops |
IDL: A Prototypical Intelligent Digital Library Service. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marco Baioletti, Stefano Marcugini, Alfredo Milani |
Compiling Task Networks into Partial Order Planning Domains. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gabriella Kókai, János Csirik, Tibor Gyimóthy |
Learning the Syntax and Semantic Rules of an ECG Grammar. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Attardi, Antonio Cisternino, Maria Simi |
CompAss: A System for Plans of Study Compilation. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Bernardo Magnini, Carlo Strapparava |
WordNet for Italian and Its Use for Lexical Deiscrimination. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bazzica, Gianni Casonato, Amedeo Cesta |
An Object-Oriented Architecture for the DRS Scheduling Problem. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ezzeddine Zagrouba |
3-D Facets Construction for Stereovision. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Ardissono, Guido Boella, Rossana Damiano |
A Computational Model of Misunderstandings in Agent Communication. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Giuliano Armano, G. Fumera |
Learning Relational Concepts at Different Levels of Granularity. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Avesani, Anna Perini, Francesco Ricci 0001 |
CBET: Acase Base Exploration Tool. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Barboni, Dario Sestero |
Flexible Response Choice Using Problem-Solving Plans and Rhetorical Relations. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Fabio A. Asnicar, Massimo Di Fant, Carlo Tasso |
User Model-Based Information Filtering. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pacholczyk |
Towards a Qualitative Representation of Linguistic Negation of Nuanced Properties. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Chella, Salvatore Gaglio, Giuseppe Sajeva, Fausto Torterolo |
A Hybrid Architecture for Autonomous Agents. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Davide Cavagnino, Giuseppe Lo Bello |
Extraction of Discriminant Features from Image Fractal Encoding. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Lenzerini (eds.) |
AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Berardina De Carolis, Fiorella de Rosis, Sebastiano Pizzutilo |
Generating User-Adapted Hypermedia from Discourse Plans. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Cancedda, Gjertrud Kamstrup, Emanuele Pianta, Ettore Pietrosanti |
A Hybrid Approach to Hypertext Generation. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Neri, Lorenza Saitta, Andrée Tiberghien |
Modelling Conceptual Change: An Interdisciplinary Approach. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Portinale, Pietro Torasso |
A Comparative Analysis of Horn Models and Bayesian Networks for Diagnosis. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Carpineto, Giovanni Romano 0002 |
Inferring Minimal Rule Covers from Relations. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Bergamaschi, Claudio Sartori 0001, Domenico Beneventano, Maurizio Vincini |
ODB-Tools: A Description Logics Based Tool for Schema Validation and Semantic Query Optimization in Object Oriented Databases. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo |
Reasoning with Behavioural Knowledge in Application Domain Models. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Barbero, Vincenzo Lombardo |
Wide-Coverage Lexicalized Grammars. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Basili 0001, Maria Teresa Pazienza, Michele Vindigni |
Corpus-Driven Unsupervised Learning of Verb Subcategorization Frames. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Piaggio, Antonio Sgorbissa, Gianni Viardo Vercelli, Renato Zaccaria |
Autonomous Robot Navigation Using a Reactive Agents. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Enver Sangineto |
Multi-agent Negotiation and Planning Through Knowledge Contextualization. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rodolfo Brancaleoni, Amedeo Cesta, Daniela D'Aloisi |
MASMA: A Personal Assistant for Meetings Management. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Neri |
REGAL3.2: FOL Concept Learning by Cooperative Genetic Algorithms. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Madalinska-Bugaj |
How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark-Jan Nederhof, Giorgio Satta |
A Variant of Earley Parsing. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marco Botta, Attilio Giordana, Roberto Piola |
Refining Numerical Terms in Horn Clauses. |
AI*IA |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Franco Dragoni, Francesca Mascaretti, Paolo Puliti |
A Generalized Approach to Consistency Based Belief Revision. |
AI*IA |
1995 |
DBLP DOI BibTeX RDF |
|