Cover Image

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rizwan, Momina, Patoglu, Volkan, Erdem, Esra
Format:	Preprint
Published:	2020
Subjects:	Artificial Intelligence Logic in Computer Science Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
by: Ahmad, Faseeh, et al.
Published: (2019)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
by: Dogmus, Zeynep, et al.
Published: (2013)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Long-term Power Grid Planning via Answer Set Programming
by: Ielo, Antonio, et al.
Published: (2026)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

Human Conditional Reasoning in Answer Set Programming
by: Sakama, Chiaki
Published: (2023)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
by: Xu, Shaojun, et al.
Published: (2024)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
by: Fandinno, Jorge, et al.
Published: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
by: Cardellini, Matteo, et al.
Published: (2024)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
by: Fidan, Müge, et al.
Published: (2025)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
by: Bertagnon, Alessandro, et al.
Published: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

Human-in-the-Loop Pareto Optimization: Trade-off Characterization for Assist-as-Needed Training and Performance Evaluation
by: Tolasa, Harun, et al.
Published: (2026)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
by: Balakrishnan, Anand, et al.
Published: (2022)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Question Answering with LLMs and Learning from Answer Sets
by: Borroto, Manuel, et al.
Published: (2025)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
by: Hansen, Zachary, et al.
Published: (2025)

Preference-Based Planning in Stochastic Environments: From Partially-Ordered Temporal Goals to Most Preferred Policies
by: Rahmani, Hazhar, et al.
Published: (2024)

Ontological foundations for contrastive explanatory narration of robot plans
by: Olivares-Alarcos, Alberto, et al.
Published: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)