1 |
| Palamidessi, Catuscia (ed.) |
| |
1 |
| Patel-Schneider, Peter F. (ed.) |
| |
2 |
| Paulson, Lawrence C. (ed.) |
| |
3 |
| Pereira, Luís Moniz (ed.) |
| |
| | 2000 | Mukhopadhyay, Supratik
Podelski, Andreas | Lloyd, John W.
Dahl, Verónica
Furbach, Ulrich
Kerber, Manfred
Lau, Kung-Kiu
Palamidessi, Catuscia
Pereira, Luís Moniz
Sagiv, Yehoshua
Stuckey, Peter J. | | Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612 | Proceedings Article | |
| | 1994 | Dimopoulos, Yannis | MacNish, Craig
Pearce, David
Pereira, Luís Moniz | | The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65 | Proceedings Article | |
| | 1994 | Nonnengart, Andreas | [MacNish, Craig]
[Pearce, David]
[Pereira, Luís Moniz] | | How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378 | Proceedings Article | |