Abstract is missing.
- Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning ReconciledDaniele Nardi, Riccardo Rosati. 1-12 [doi]
- A Description Logic for Image RetrievalEugenio Di Sciascio, Francesco M. Donini, Marina Mongiello. 13-24 [doi]
- Certainty-Factor-Like Structures in Bayesian NetworksPeter J. F. Lucas. 25-36 [doi]
- Sensitive Analysis for Threshold Decision Making with Bayesian Belief NetworksLinda C. van der Gaag, Veerle M. H. Coupé. 37-48 [doi]
- Abduction with Negation as Failure for Active and Reactive RulesFariba Sadri, Francesca Toni. 49-60 [doi]
- An Implementation for Abductive Logic AgentsAnna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni. 61-71 [doi]
- Solving the Satisfiability Problem through Boolean NetworksMichela Milano, Andrea Roli. 72-83 [doi]
- Applying the Davis-Putnam Procedure to Non-clausal FormulasEnrico Giunchiglia, Roberto Sebastiani. 84-94 [doi]
- The SAT-Based Approach for Classical Modal LogicsEnrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella. 95-106 [doi]
- Local Search Techniques for Disjunctive Logic ProgramsNicola Leone, Simona Perri, Pasquale Rullo. 107-118 [doi]
- Labelled Tableaux for Non-normal Modal LogicsGuido Governatori, Alessandro Luppi. 119-130 [doi]
- Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered EventsMassimo Franceschet, Angelo Montanari. 131-142 [doi]
- TimeNetManager - A Software Tool for Generating Random Temporal NetworksAmedeo Cesta, Angelo Oddi, Angelo Susi. 143-154 [doi]
- A Fuzzy Extension of Allen s Interval AlgebraSilvana Badaloni, Massimiliano Giacomin. 155-165 [doi]
- Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic SystemsAndrea Panati. 166-177 [doi]
- Relational Learning: Hard Problems and Phase TransitionsMarco Botta, Attilio Giordana, Lorenza Saitta, Michèle Sebag. 178-189 [doi]
- A Machine Learning Approach to Web MiningFloriana Esposito, Donato Malerba, Luigi Di Pace, Pietro Leo. 190-201 [doi]
- Experiences with a Logic-Based Knowledge Discovery Support EnvironmentFosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini. 202-213 [doi]
- Conceptual Change in Learning Naive Physics: The Computational Model as a Theory Revision ProcessFloriana Esposito, Giovanni Semeraro, Nicola Fanizzi, Stefano Ferilli. 214-225 [doi]
- Using the Hermite Regression Formula to Design a Neural Architecture with Automatic Learning of the Hidden Activation FunctionsSalvatore Gaglio, Giovanni Pilato, Filippo Sorbello, Giorgio Vassallo. 226-237 [doi]
- XIG: Generating from Interchange Format Using Mixed RepresentationsEmanuele Pianta, Lucia M. Tovena. 238-248 [doi]
- Natural Language Access to Public Administration Data: The TAMIC-P SystemClara Bagnasco, Amedeo Cappelli, Bernardo Magnini, Diego Zamatteo. 249-260 [doi]
- On the Application of Personalization Techniques to News Servers on the WWWLiliana Ardissono, Luca Console, Ilaria Torre. 261-272 [doi]
- Levels of Delegation and Levels of Adoption as the Basis for Adjustable AutonomyRino Falcone, Cristiano Castelfranchi. 273-284 [doi]
- Notes on Formalizing CoordinationAlessandro Agostini. 285-296 [doi]
- Autonomous Spacecraft Resource Management: A Multi-agent ApproachNdedi D. Monekosso, Paolo Remagnino. 297-308 [doi]
- Multi-agent Scene InterpretationPaolo Remagnino, James Orwell, Graeme A. Jones. 309-320 [doi]
- An Algorithm for Recruitment of Agents in Agency DesignFrancesco Amigoni, Mauro Villa. 321-332 [doi]
- Towards a Conceptual Representation of ActionsAntonio Chella, Marcello Frixione, Salvatore Gaglio. 333-344 [doi]
- Cellular Automata Based Inverse Perspective Transform as a Tool for Indoor Robot NavigationGiovanni Adorni, Stefano Cagnoni, Monica Mordonini. 345-355 [doi]
- On Plan Adaption through Planning Graph AnalysisAlfonso Gerevini, Ivan Serina. 356-367 [doi]
- Real-Time Motion Planning in Autonomous Vehicles: A Hybrid ApproachMaurizio Piaggio, Antonio Sgorbissa. 368-379 [doi]
- Solving Employee Timetabling Problems by Generalized Local SearchAndrea Schaerf, Amnon Meisels. 380-389 [doi]