|
СТ |
ASP - PROLOG: A System for Reasoning about Answer Set Programs in Prolog |
2004 |
Elkhatib O., Pontelli E., Son T. C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms |
2003 |
Villaverde K., Pontelli E., Guo H. -F., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach |
2002 |
Gupta G., Pontelli E. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
|
СТ |
Semantics-Based Filtering: Logic Programming s Killer App? |
2002 |
Gupta G., Guo H. -F., Karshmer A. I., Pontelli E., Iglesias J. R., Ranjan D., Milligan B., Datta N., El Khatib O., Noamany M., Zhou X. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
|
СТ |
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures |
2001 |
Villaverde K., Pontelli E., Guo H., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
|
СТ |
Data Structures for Order-Sensitive Predicates in Parallel Nondeterministic Systems |
2000 |
Ranjan D., Pontelli E., Gupta G. |
|
|
|
Acta Informatica |
29.09.2000 |
|
СТ |
The Complexity of Late-Binding in Dynamic Object-Oriented Languages |
1998 |
Pontelli E., Ranjan D., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Automatic Compile-Time Paralleization of Prolog Programs for Dependent And-Parallelism |
1997 |
Pontelli E., Gupta G., Pulvirenti F., Ferro A. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Implementation Mechanisms for Dependent And-Parallelism |
1997 |
Pontelli E., Gupta G. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Visualization of And/Or-Parallel Execution of Logic Programs |
1997 |
Vaupel R., Pontelli E., Gupta G. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
On the Complexity of Parallel Implementation of Logic Programs |
1997 |
Pontelli E., Ranjan D., Gupta G. |
|
|
|
Lecture Notes in Computer Science |
09.01.1998 |
|
СТ |
Determinacy Driven Optimization of And-parallel Prolog Implementation |
1995 |
Pontelli E., Gupta G., Tang D. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
ACE: And/Or-parallel Copying-based Execution of Logic Program |
1994 |
Gupta G., Hermenegildo M., Pontelli E., Costa V. S. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
|
СТ |
On the Duality Between Or-parallelism and And-parallelism in Logic Programming |
1995 |
Pontelli E., Gupta G. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
|
СТ |
{log}: A Logic Programming Language with Finite Sets |
1991 |
Dovier A., Omodeo E. G., Pontelli E., Rossi G. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
A WAM-Based Implementation of a Logic Language with Sets |
1993 |
Dovier A., Pontelli E. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Embedding Finite Sets in a Logic Programming Language |
1992 |
Dovier A., Omodeo E. G., Pontelli E., Rossi G. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
