| 1997 |
|---|
| 14 | | Luís Moniz Pereira,
Renwei Li:
Reasoning about Actions with Abductive Logic Programming.
EPIA 1997: 361-388 |
| 13 | | Verónica Dahl,
Paul Tarau,
Renwei Li:
Assumption Grammars for Processing Natural Language.
ICLP 1997: 256-270 |
| 12 | EE | Renwei Li,
Luís Moniz Pereira,
Verónica Dahl:
Refining Action Theories through Abductive Logic Programming.
LPKR 1997: 123-138 |
| 11 | | Renwei Li,
Luís Moniz Pereira:
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs.
Ann. Math. Artif. Intell. 21(2-4): 245-303 (1997) |
| 10 | | Renwei Li,
Luís Moniz Pereira:
Knowledge Assimilation in Domains of Actions: A Possible Causes Approach.
Journal of Applied Non-Classical Logics 7(1): (1997) |
| 1996 |
|---|
| 9 | | Renwei Li,
Luís Moniz Pereira:
What Is Believed Is What Is Explained (Sometimes).
AAAI/IAAI, Vol. 1 1996: 550-555 |
| 8 | | Renwei Li,
Luís Moniz Pereira:
Reasoning about Concurrent Actions and Observations.
APPIA-GULP-PRODE 1996: 549-560 |
| 7 | | Renwei Li,
Luís Moniz Pereira:
Knowledge-Based Situated Agents Among Us: A Preliminary Report.
ATAL 1996: 375-389 |
| 6 | | Renwei Li,
Luís Moniz Pereira:
Temporal Reasoning with Abductive Logic Programming.
ECAI 1996: 13-17 |
| 1995 |
|---|
| 5 | | José Júlio Alferes,
Renwei Li,
Luís Moniz Pereira:
Non-Atomic Actions in the Situation Calculus.
EPIA 1995: 273-284 |
| 4 | EE | Renwei Li,
José Carmo:
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.
Logic Journal of the IGPL 3(5): 765-790 (1995) |
| 1992 |
|---|
| 3 | | He Pei,
Renwei Li,
Wenhui Zhang:
Theory and Practice for XYZ/VERI System.
IWAR 1992: 239-248 |
| 2 | | Renwei Li,
José Carmo:
An Interval-Based Modal Logic for System Specification.
LFCS 1992: 281-292 |
| 1991 |
|---|
| 1 | | Renwei Li,
Amílcar Sernadas:
Reasoning about Objects Using a Tableau Method.
J. Log. Comput. 1(5): 575-611 (1991) |
