Representing and Reasoning with Defaults for Learning Agents
Benjamin N. Grosof
AAAI-SS 1993
This paper describes the ℒ script D sign ℒ++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the ℒ script D sign ℒ++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new constructs and to facilitate the integration with existing DBMSs and applications. Finally, we describe the lessons learned by using ℒ script D sign ℒ++ on various tested applications, such as middleware and datamining.
Benjamin N. Grosof
AAAI-SS 1993
Harsha Kokel, Aamod Khatiwada, et al.
VLDB 2025
Jehanzeb Mirza, Leonid Karlinsky, et al.
NeurIPS 2023
Gang Liu, Michael Sun, et al.
ICLR 2025