|
Search the dblp DataBase
Renwei Li:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Renwei Li, Luís Moniz Pereira
What Is Believed Is What Is Explained (Sometimes). [Citation Graph (0, 0)][DBLP] AAAI/IAAI, Vol. 1, 1996, pp:550-555 [Conf]
- Renwei Li, Luís Moniz Pereira
Reasoning about Concurrent Actions and Observations. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:549-560 [Conf]
- Renwei Li, Luís Moniz Pereira
Knowledge-Based Situated Agents Among Us: A Preliminary Report. [Citation Graph (0, 0)][DBLP] ATAL, 1996, pp:375-389 [Conf]
- Renwei Li, Luís Moniz Pereira
Temporal Reasoning with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP] ECAI, 1996, pp:13-17 [Conf]
- José Júlio Alferes, Renwei Li, Luís Moniz Pereira
Non-Atomic Actions in the Situation Calculus. [Citation Graph (0, 0)][DBLP] EPIA, 1995, pp:273-284 [Conf]
- Luís Moniz Pereira, Renwei Li
Reasoning about Actions with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP] EPIA, 1997, pp:361-388 [Conf]
- Verónica Dahl, Paul Tarau, Renwei Li
Assumption Grammars for Processing Natural Language. [Citation Graph (0, 0)][DBLP] ICLP, 1997, pp:256-270 [Conf]
- He Pei, Renwei Li, Wenhui Zhang
Theory and Practice for XYZ/VERI System. [Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:239-248 [Conf]
- Renwei Li, José Carmo
An Interval-Based Modal Logic for System Specification. [Citation Graph (0, 0)][DBLP] LFCS, 1992, pp:281-292 [Conf]
- Renwei Li, Luís Moniz Pereira, Verónica Dahl
Refining Action Theories through Abductive Logic Programming. [Citation Graph (0, 0)][DBLP] LPKR, 1997, pp:123-138 [Conf]
- Renwei Li, Luís Moniz Pereira
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1997, v:21, n:2-4, pp:245-303 [Journal]
- Renwei Li, Luís Moniz Pereira
Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1997, v:7, n:1, pp:- [Journal]
- Renwei Li, Amílcar Sernadas
Reasoning about Objects Using a Tableau Method. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1991, v:1, n:5, pp:575-611 [Journal]
Search in 0.017secs, Finished in 0.018secs
|