Abstract. We give an overview of the coinductive logic programming paradigm. We discuss its applications to modeling ω-automata, model checking, verification, non-monotonic reasoning, developing SAT solvers, etc. We also discuss future research directions.
Answer Set Programming (ASP) is a powerful paradigm based on logic programming for non-monotonic reasoning. Current ASP implementations are restricted to "grounded range-restricted function-free normal programs" and use an evaluation strategy that is "bottom-up" (i.e., not goal-driven). Recent introduction of coinductive Logic Programming (co-LP) has allowed the development of topdown goal evaluation strategies for ASP. In this paper we present this novel goaldirected, top-down approach to executing predicate answer set programs with co-LP. Our method eliminates the need for grounding, allows functions, and effectively handles a large class of predicate answer set programs including possibly infinite ones.
Hague Convention cases are a growing niche in forensic assessments. These cases focus on returning children, or preventing their return, after international abductions, by one of the parents, has occurred. This article focuses on the legal underpinnings of the Hague Abduction Convention, the “affirmative defenses” that may be invoked to prevent a return order, including “grave risk of harm,” “mature objection”, and the “well settled defense.” The article will also focus on the increasing roles that forensic evaluators play in these matters, the distinction between the role of forensic experts in custody proceedings and Hague cases, and the inherent limitations present in these unique kinds of evaluations.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.