Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Rojina Panta

dblp:376/8023 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Planning, search and constraint satisfaction · 77% Knowledge representation and reasoning · 12% Reinforcement learning · 12%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › goal reasoning
goal specification
0.812024
Specifying Goals to Deep Neural Networks with Answer Set Programming · ICAPS 2024
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
heuristic search
0.812024
Specifying Goals to Deep Neural Networks with Answer Set Programming · ICAPS 2024
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming
answer set programming
0.212024
Specifying Goals to Deep Neural Networks with Answer Set Programming · ICAPS 2024
Machine learning › Reinforcement learning
goal representation
0.212024
Specifying Goals to Deep Neural Networks with Answer Set Programming · ICAPS 2024

Methods — techniques the papers use, named apart from their topics

deep reinforcement learning · 0.8answer set solvers · 0.8answer set programming · 0.8
YearPublicationVenuePosition
2024 Specifying Goals to Deep Neural Networks with Answer Set Programming
abstract
Recently, methods such as DeepCubeA have used deep reinforcement learning to learn domain-specific heuristic functions in a largely domain-independent fashion. However, such methods either assume a predetermined goal or assume that goals will be given as fully-specified states. Therefore, specifying a set of goal states to these learned heuristic functions is often impractical. To address this issue, we introduce a method of training a heuristic function that estimates the distance between a given state and a set of goal states represented as a set of ground atoms in first-order logic. Furthermore, to allow for more expressive goal specification, we introduce techniques for specifying goals as answer set programs and using answer set solvers to discover sets of ground atoms that meet the specified goals. In our experiments with the Rubik's cube, sliding tile puzzles, and Sokoban, we show that we can specify and reach different goals without any need to re-train the heuristic function. Our code is publicly available at https://github.com/forestagostinelli/SpecGoal.
Forest Agostinelli, Rojina Panta, Vedant Khandelwal
ICAPS2