Sebastian Sardina
13 papers · 2013–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
๐ Cross-Pollinator (13) ๐งญ Keyword Pioneer ๐ฃ Hot Topic Early Bird ๐ Conference Polyglot (2) ๐ Academic Marathon (9)
๐
Renaissance Researcher
(6)
๐
Interdisciplinary Bridge
๐บ๏ธ
Taxonomy Completionist
(13)
๐
Century Club
(13)
๐
Conference Pioneer
Conferences
IJCAI (12)
AAAI (1)
Top co-authors
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
Towards Discriminant Analysis Classifiers Using Online Active Learning via Myoelectric Interfaces
AAAI 2022
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
IJCAI 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
Handling non-local dead-ends in Agent Planning Programs
IJCAI 2017
Deceptive Path-Planning
IJCAI 2017
Parallel Behavior Composition for Manufacturing
IJCAI 2016
Incomplete Causal Laws in the Situation Calculus Using Free Fluents
IJCAI 2016
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning
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