Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings > Planning under Uncertainty in Linear Time Logic
AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings |
Amedeo Cappelli; Franco Turini
Springer Berlin Heidelberg
AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings
Planning under Uncertainty in Linear Time Logic
Authors

Marta Cialdea Mayer; Carla Limongelli; Andrea Orlandini; Valentina Poggioni

ARI Id

1664908761118_4028765

Access

Not Available Free

Pages

324-335

DOI

10.1007/978-3-540-39853-0_27

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-39853-0_27

Table of Contents of Book
Showing 1 to 20 of 48 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
A Complete Subsumption Algorithm
Stefano Ferilli; Nicola Di Mauro; Teresa M. A. Basile; Floriana Esposito
1-13
Temporal Decision Trees for Diagnosis: An Extension
Claudia Picardi
14-26
Obligations as Social Constructs
Guido Boella; Leendert van der Torre
27-38
Automatically Decomposing Configuration Problems
Luca Anselma; Diego Magro; Pietro Torasso
39-52
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning
Francesca A. Lisi; Donato Malerba
53-64
A Methodology for the Induction of Ontological Knowledge from Semantic Annotations
Nicola Fanizzi; Floriana Esposito; Stefano Ferilli; Giovanni Semeraro
65-77
Qualitative Spatial Reasoning in a Logical Framework
Alessandra Raffaetà; Chiara Renso; Franco Turini
78-90
On Managing Temporal Information for Handling Durative Actions in LPG
Alfonso Gerevini; Alessandro Saetti; Ivan Serina
91-104
An Abductive Proof Procedure Handling Active Rules
Paolo Mancarella; Giacomo Terreni
105-117
BackPropagation through Cyclic Structures
M. Bianchini; M. Gori; L. Sarti; F. Scarselli
118-129
A Neural Architecture for Segmentation and Modelling of Range Data
Roberto Pirrone; Antonio Chella
130-141
A Combination of Support Vector Machines and Bidirectional Recurrent Neural Networks for Protein Secondary Structure Prediction
Alessio Ceroni; Paolo Frasconi; Andrea Passerini; Alessandro Vullo
142-153
Adaptive Allocation of Data-Objects in the Web Using Neural Networks
Joaquin Pérez O.; Rodolfo A. Pazos R.; Hector J. Fraire H.; Laura Cruz R.; Johnatan E. Pecero S.
154-164
Improving the SLA Algorithm Using Association Rules
Evelina Lamma; Fabrizio Riguzzi; Andrea Stambazzi; Sergio Storari
165-175
Incremental Induction of Rules for Document Image Understanding
Stefano Ferilli; Nicola Di Mauro; Teresa M. A. Basile; Floriana Esposito
176-188
Explaining Bagging with Monte Carlo Theory
Roberto Esposito; Lorenza Saitta
189-200
Pairwise Data Clustering Using Monotone Game Dynamics
Massimiliano Pavan; Marcello Pelillo
201-212
Abduction in Classification Tasks
Maurizio Atzori; Paolo Mancarella; Franco Turini
213-224
MQL: An Algebraic Query Language for Knowledge Discovery
Miriam Baglioni; Franco Turini
225-236
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 48 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings