Sebastian Sardina

13 papers · 2013–2022 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+4 more ↓

🗺️ Taxonomy Completionist (12) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze

🧭 Keyword Pioneer 🌈 Renaissance Researcher (5) 🚀 Conference Pioneer 💎 Century Club · Bronze

Venues

IJCAI (12) AAAI (1)

Top co-authors

Paolo Felli (3) Nitin Yadav (3) Giuseppe De Giacomo (2) Peta Masters (2) Brian Logan (2) Lin Padgham (1) Nir Lipovetzky (1) Marco E. Benalcázar (1) Fabio Zambetta (1) Lukáš Chrpa (1)

Research topics

Artificial Intelligence (5) Core AI (5) Knowledge & Reasoning (2) Reasoning (2) Computer Science (1) Healthcare & Medicine (1) Machine Learning (1) Mathematics & Optimization (1) Applications (1) Core Methods (1) Foundations (1) Learning Types (1) Optimization (1) Research (1)

Keywords

goal recognition (2) path planning (2) automated planning (1) covariate shift (1) discriminant analysis (1) first-order logic (1) probabilistic planning (1) probabilistic model (1) controller synthesis (1) global information (1) agent planning (1) dead-end detection (1) soft labeling (1) manufacturing system (1) situation calculus (1) plan recognition (1) bdi agent system (1) process planning (1) cost-based planning (1) partial-order plan (1)

Papers

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) IJCAI 2022 Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces AAAI 2022 Optimising Partial-Order Plans Via Action Reinstantiation IJCAI 2020 Cost-Based Goal Recognition for the Path-Planning Domain IJCAI 2018 Agent Design Consistency Checking via Planning IJCAI 2017 Deceptive Path-Planning IJCAI 2017 Handling non-local dead-ends in Agent Planning Programs IJCAI 2017 An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning IJCAI 2016 Incomplete Causal Laws in the Situation Calculus Using Free Fluents IJCAI 2016 Parallel Behavior Composition for Manufacturing IJCAI 2016 Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis IJCAI 2015 Supremal Realizability of Behaviors with Uncontrollable Exogenous Events IJCAI 2013 Using Strategic Logics to Reason about Agent Programs IJCAI 2013