Sotabase

Career

· Senior Research Scientist, GE Aerospace Research2024–

Publications (44)

A Novel Architecture for Situation Awareness Systems
International Conference on Theorem Proving with Analytic Tableaux and Related Methods · 2009
58
cited
Non-Markovian control in the situation calculus
Artificial Intelligence · 2002
46
cited
Precondition Control and the Progression Algorithm
International Conference on Automated Planning and Scheduling · 2004
30
cited
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
AAAI Conference on Artificial Intelligence · 2007
28
cited
Activity Recognition with Intended Actions
International Joint Conference on Artificial Intelligence · 2009
25
cited
Programming Hierarchical Task Networks in the Situation Calculus
2002
25
cited
Formalizing Narratives Using Nested Circumscription
Artificial Intelligence · 1996
24
cited
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
International Joint Conference on Artificial Intelligence · 2003
15
cited
Compound Knowledge Graph-Enabled AI Assistant for Accelerated Materials Discovery
Integrating Materials and Manufacturing Innovation · 2022
12
cited
Abductive understanding of dialogues about joint activities
2014
11
cited
Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents
AAAI Conference on Artificial Intelligence · 2005
11
cited
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence · 1999
10
cited
Integrating Meta-Level and Domain-Level Knowledge for Interpretation and Generation of Task-Oriented Dialogue
2013
8
cited
Integrating meta-level and domain-level knowledge for task-oriented dialogue
2014
8
cited
A Cognitive Systems Analysis of Personality and Conversational Style
2017
7
cited
From Functional Specifications to Logic Programms
ILPS · 1997
7
cited
Evolving Logic Programming Based Agents with Temporal Operators
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology · 2008
6
cited
Making Golog Norm Compliant
Computational Logic in Multi-Agent Systems · 2011
6
cited
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligence and Information Systems · 2010
6
cited
Representing Action Domains with Numeric-Valued Fluents
European Conference on Logics in Artificial Intelligence · 2006
5
cited
Sotabase