Constrained ABA (CABA) introduces non-ground arguments with constrained variables and defines semantics that conservatively generalize standard ground ABA.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A symbolic UAV agent using s(CASP) executes multi-step tasks with constraint-based reasoning in UE5 simulation and revises plans when data is insufficient.
citing papers explorer
-
Constrained Assumption-Based Argumentation Frameworks
Constrained ABA (CABA) introduces non-ground arguments with constrained variables and defines semantics that conservatively generalize standard ground ABA.
-
Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)
A symbolic UAV agent using s(CASP) executes multi-step tasks with constraint-based reasoning in UE5 simulation and revises plans when data is insufficient.