Renwei Li

18 papers A 1B 1C 1Misc 3Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Toward a Dynamic Future With Adaptable Computing and Network Convergence (ACNC).
IEEE Netw.
Masoud Shokrnezhad, Hao Yu, Tarik Taleb, Renwei Li, Kyunghan Lee, JaeSeung Song, Cédric Westphal
2018 C conf
Latency Guarantee for Multimedia Streaming Service to Moving Subscriber with 5G Slicing.
ISNCC
Lijun Dong, Renwei Li
2017 J jnl
OSPF Topology-Transparent Zone.
RFC
Huaimo Chen, Renwei Li, Alvaro Retana, Yi Yang, Zhiheng Liu
1997 B conf
Assumption Grammars for Processing Natural Language.
ICLP
Verónica Dahl, Paul Tarau, Renwei Li
1997 J jnl
Knowledge Assimilation in Domains of Actions: A Possible Causes Approach.
J. Appl. Non Class. Logics
Renwei Li, Luís Moniz Pereira
1997 Misc conf
Reasoning about Actions with Abductive Logic Programming.
EPIA
Luís Moniz Pereira, Renwei Li
1997 — conf
Refining Action Theories through Abductive Logic Programming.
LPKR
Renwei Li, Luís Moniz Pereira, Verónica Dahl
1997 J jnl
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs.
Ann. Math. Artif. Intell.
Renwei Li, Luís Moniz Pereira
1996 — conf
Knowledge-Based Situated Agents Among Us: A Preliminary Report.
ATAL
Renwei Li, Luís Moniz Pereira
1996 — conf
Reasoning about Concurrent Actions and Observations.
APPIA-GULP-PRODE
Renwei Li, Luís Moniz Pereira
1996 A conf
Temporal Reasoning with Abductive Logic Programming.
ECAI
Renwei Li, Luís Moniz Pereira
1996 — conf
What Is Believed Is What Is Explained (Sometimes).
AAAI/IAAI, Vol. 1
Renwei Li, Luís Moniz Pereira
1995 Misc conf
Non-Atomic Actions in the Situation Calculus.
EPIA
José Júlio Alferes, Renwei Li, Luís Moniz Pereira
1995 J jnl
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.
Log. J. IGPL
Renwei Li, José Carmo
1993 J jnl
An introduction to INCAPS system.
J. Comput. Sci. Technol.
Renwei Li, Pei He, Wenhui Zhang
1992 Misc conf
An Interval-Based Modal Logic for System Specification.
LFCS
Renwei Li, José Carmo
1992 — conf
Theory and Practice for XYZ/VERI System.
IWAR
Pei He, Renwei Li, Wenhui Zhang
1991 J jnl
Reasoning about Objects Using a Tableau Method.
J. Log. Comput.
Renwei Li, Amílcar Sernadas