| 2008 |
|---|
| 22 | EE | Carla Limongelli,
Filippo Sciarrone,
Giulia Vaste:
LS-Plan: An Effective Combination of Dynamic Courseware Generation and Learning Styles in Web-Based Education.
AH 2008: 133-142 |
| 21 | EE | Carla Limongelli,
Filippo Sciarrone,
Marco Temperini,
Giulia Vaste:
Lecomps5: A Framework for the Automatic Building of Personalized Learning Sequences.
WSKS (1) 2008: 296-303 |
| 20 | | Carla Limongelli,
Filippo Sciarrone,
Marco Temperini,
Giulia Vaste:
Lecomps5: A Web-Based Learning System For Course Personalization And Adaptation.
e-Learning 2008: 325-332 |
| 2007 |
|---|
| 19 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Linear temporal logic as an executable semantics for planning languages.
Journal of Logic, Language and Information 16(1): 63-89 (2007) |
| 2005 |
|---|
| 18 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Planning with graded fluents and actions.
IJCAI 2005: 1711-1712 |
| 17 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Pdk: The System and Its Language.
TABLEAUX 2005: 307-311 |
| 16 | | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
A Proposal for Planning with Graded Fluents and Actions.
Intelligenza Artificiale 2(4): 66-73 (2005) |
| 2003 |
|---|
| 15 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Planning under Uncertainty in Linear Time Logic.
AI*IA 2003: 324-335 |
| 2002 |
|---|
| 14 | EE | Marta Cialdea Mayer,
Carla Limongelli:
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.
TABLEAUX 2002: 70-84 |
| 2000 |
|---|
| 13 | | Marta Cialdea Mayer,
Andrea Orlandini,
Giulio Balestreri,
Carla Limongelli:
A Planning Fully Based on Linear Time Logic.
AIPS 2000: 347-354 |
| 1996 |
|---|
| 12 | | Jacques Calmet,
Carla Limongelli:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings
Springer 1996 |
| 11 | | Carla Limongelli,
Giuseppina Malerba,
Marco Temperini:
Uniform Representation of Basic Algebraic Structures in Computer Algebra.
DISCO 1996: 202-203 |
| 10 | | Wolfgang Gehrke,
Carla Limongelli:
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting.
DISCO 1996: 98-111 |
| 9 | | Carla Limongelli,
Roberto Pirastu:
p-adic Arithmetic and Parallel Symbolic Computation: An Implementation for Solving Linear Systems Over Rationals.
Computers and Artificial Intelligence 15(1): (1996) |
| 1994 |
|---|
| 8 | | Carla Limongelli,
Roberto Pirastu:
Exact Solution of Linear Systems over Rational Numbers by Parallel p-adic Arithmetic.
CONPAR 1994: 313-323 |
| 1993 |
|---|
| 7 | | Carla Limongelli,
Hans-Wolfgang Loidl:
Rational Number Artihmetic by Parallel P-adic Algorihtms.
ACPC 1993: 72-86 |
| 6 | | Carla Limongelli,
Marco Temperini:
On the Uniform Representation of Mathematical Data Structures.
DISCO 1993: 319-330 |
| 5 | | Carla Limongelli:
On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics.
J. Symb. Comput. 15(2): 181-197 (1993) |
| 1992 |
|---|
| 4 | | Carla Limongelli,
Marco Temperini:
Abstract Specification of Structures and Methods in Symbolic Mathematical Computation.
Theor. Comput. Sci. 104(1): 89-107 (1992) |
| 1991 |
|---|
| 3 | | Carla Limongelli,
Alfonso Miola,
Marco Temperini:
Design and Implementation of Symbolic Computation Systems.
Programming Environments for High-Level Scientific Problem Solving 1991: 217-227 |
| 1990 |
|---|
| 2 | | Carla Limongelli,
M. Beatrice Mele,
Mauro Regio,
Marco Temperini:
Abstract Specification Of Mathematical Structures And Methods.
DISCO 1990: 61-70 |
| 1988 |
|---|
| 1 | | Attilio Colagrossi,
Carla Limongelli:
Big Numbers p-adic Arithmetic: A Parallel Approach.
AAECC 1988: 169-180 |
