![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Automated legal reasoning with discretion to act using s(LAW)
Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reason...
-
Chapter and Conference Paper
On Admissible Behaviours for Goal-Oriented Decision-Making of Value-Aware Agents
The emerging field of value awareness engineering claims that software agents and systems should be value-aware, i.e. they should be able to explicitly reason about the value-alignment of their actions. Values ar...
-
Chapter and Conference Paper
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
We present the AutoConcierge system that can “understand” human dialogs in a specific domain, namely, restaurant recommendation. AutoConcierge will interactively “understand” a user’s utterances, and request t...
-
Chapter
Prolog: Past, Present, and Future
We argue that various extensions proposed for Prolog—tabling, constraints, parallelism, coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how goal-directed predicate answer se...
-
Chapter and Conference Paper
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming
Answer Set Programming (ASP) is a well known paradigm for knowledge representation and for automating commonsense reasoning. Query-driven implementations of Predicate ASP, e.g., the s(CASP) system, permit top-...
-
Chapter and Conference Paper
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Modeling a cyber-physical system’s requirement specifications makes it possible to verify its properties w.r.t. the expected behavior. Standard modeling approaches based on automata theory model these systems ...
-
Chapter and Conference Paper
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CA...
-
Chapter and Conference Paper
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Automated legal reasoning and its application in smart contract is getting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms ...
-
Article
Open AccessA sco** review on incentives for adoption of sustainable agricultural practices and their outcomes
The increasing pressure on agricultural production systems to achieve global food security and prevent environmental degradation necessitates a transition towards more sustainable practices. The purpose of thi...
-
Chapter and Conference Paper
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a so...
-
Chapter and Conference Paper
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
Aggregates are used to compute single pieces of information from separate data items, such as records in a database or answers to a query to a logic program. The maximum and minimum are well-known examples of ...