Gopal Gupta
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- PADL4 editions2022–2025
on a stage with
all 21 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Complex Autonomous UAV Task Execution and Decision-Making Using s(CASP) | LOPSTR+PPDP 2026 | 2026-08-27 |
A symbolic UAV agent called VEXERA uses s(CASP) with AirSim on Unreal Engine 5 to execute navigation, search, debris detection, precision spraying, transport… | ||
| Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A(…) | PADL 2025 | 2025-01-20 |
Claims an ASP encoding of provenance graphs that supports nonmonotonic reasoning and encodes reachability, temporal and causal dependencies to do attack-path… | ||
| Automated Playing of Survival Video Games with Commonsense Reasoning (short paper) | PADL 2025 | 2025-01-20 |
An agent for Don't Starve converts in-game Lua JSON into predicate facts, applies about 22 rules and 8 assumptions encoded in answer set programming, and uses… | ||
| FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explai... | PADL 2024 | 2024-01-15 |
FOLD-SE is a rule learner that outputs default rules as an answer-set-style normal logic program, using a Magic Gini Impurity heuristic, a refined comparison… | ||
| Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co... | PADL 2024 | 2024-01-15 |
NeSyFOLD-G converts last-layer CNN kernels into a compact logic program: it clusters similar filters by cosine similarity (kernel-grouping), binarizes each… | ||
| Automated Interactive Domain-Specific Conversational Agents that Understand Huma... | PADL 2024 | 2024-01-15 |
AutoConcierge maps utterances to structured predicates and back to sentences: uses GPT-3 to convert dialogs into predicates then runs those predicates through… | ||
| Jury-trial Story Construction and Analysis using Goal-directed Answer Set Progra... | PADL 2023 | 2023-01-16 |
Goal-directed Answer Set Programming with s(CASP) top-down ASP models Commonwealth of Massachusetts v. Johnson as facts and defaults, then queries for… | ||
| Building Information Modeling Using Constraint Logic Programming (Extended Ab... | ProLaLa 2023 | 2023-01-15 |
Claims a unified BIM verifier that mixes geometric constraints and symbolic rules using CLP(Q/R) and an ASP-with-constraints engine, with a prototype 3D… | ||
| Graph-based Interpretation of Normal Logic Programs | PADL 2022 | 2022-01-17 |
Proposes a graph encoding that adds an explicit conjunction node to capture rule bodies, shows how negating edges (De Morgan) transforms that graph back into… | ||
| Modeling and Verification of Real-Time Systems with the Event Calculus and s(CAS | PADL 2022 | 2022-01-17 |
Models the Train-Gate-Controller in Event Calculus encoded for s(CASP), using CLP(R) so dense time and continuous positions/angles require no discretization… | ||
| Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Progr | PADL 2022 | 2022-01-17 |
Dynamic Consistency Checking interleaves generation of goal-directed partial stable models in s(CASP) with early evaluation of global constraints (called… | ||
| nothing matches | ||