Answer sets

M Gelfond - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary This chapter discusses Answer Set Prolog, which is a language for
knowledge representation and reasoning based on the answer set/stable model semantics …

Answer set planning: a survey

SC Tran, E Pontelli, M Balduccini… - Theory and Practice of …, 2023 - cambridge.org
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …

Applications of answer set programming

E Erdem, M Gelfond, N Leone - Ai Magazine, 2016 - ojs.aaai.org
ASP has been applied fruitfully to a wide range of areas in AI and in other fields, both in
academia and in industry, thanks to the expressive representation languages of ASP and …

[KNJIGA][B] Deep reinforcement learning

A Plaat - 2022 - Springer
Deep reinforcement learning has gathered much attention recently. Impressive results were
achieved in activities as diverse as autonomous driving, game playing, molecular …

[KNJIGA][B] Knowledge representation and reasoning

R Brachman, H Levesque - 2004 - books.google.com
Knowledge representation is at the very core of a radical idea for understanding intelligence.
Instead of trying to understand or build brains from the bottom up, its goal is to understand …

SDRL: interpretable and data-efficient deep reinforcement learning leveraging symbolic planning

D Lyu, F Yang, B Liu, S Gustafson - … of the AAAI Conference on Artificial …, 2019 - ojs.aaai.org
Deep reinforcement learning (DRL) has gained great success by learning directly from high-
dimensional sensory inputs, yet is notorious for the lack of interpretability. Interpretability of …

[KNJIGA][B] Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach

M Gelfond, Y Kahl - 2014 - books.google.com
Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …

The DLV system for knowledge representation and reasoning

N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob… - ACM Transactions on …, 2006 - dl.acm.org
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge
representation and reasoning, which is very expressive in a precise mathematical sense: it …

Potassco: The Potsdam answer set solving collection

M Gebser, B Kaufmann, R Kaminski… - Ai …, 2011 - content.iospress.com
Potassco: The Potsdam Answer Set Solving Collection Page 1 AI Communications 24 (2011)
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …

[KNJIGA][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …