Catherine Howard

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 4

Top Topics

Situational Awareness

Function Free Horn

Automated Reasoning

Top Venues

CKGSemStats@ISWC

ACM Comput. Surv.

Publications

Leslie F. Sikos, Markus Stumptner, Wolfgang Mayer, Catherine Howard, Shaun Voigt, Dean Philp
Automated Reasoning over Provenance-Aware Communication Network Knowledge in Support of Cyber-Situational Awareness. KSEM (2) (2018)
Leslie F. Sikos, Dean Philp, Shaun Voigt, Catherine Howard, Markus Stumptner, Wolfgang Mayer
Provenance-Aware LOD Datasets for Detecting Network Inconsistencies. CKGSemStats@ISWC (2018)
Leslie F. Sikos, Markus Stumptner, Wolfgang Mayer, Catherine Howard, Shaun Voigt, Dean Philp
Representing network knowledge using provenance-aware formalisms for cyber-situational awareness. KES (2018)
Shaun Voigt, Catherine Howard, Dean Philp, Christopher Penny
Representing and Reasoning About Logical Network Topologies. GKR (2017)
Catherine Howard, Markus Stumptner
A Survey of Directed Entity-Relation-Based First-Order Probabilistic Languages. ACM Comput. Surv. 47 (1) (2014)
Daniela K. Busse, Eli Blevis, Catherine Howard, Brinda Dalal, David Fore, Lara Lee
Designing for a sustainable future. Creativity & Cognition (2009)
Catherine Howard, Markus Stumptner
Automated compilation of Object-Oriented Probabilistic Relational Models. Int. J. Approx. Reason. 50 (9) (2009)
Keith Mason, Catherine Howard, Jeff Sturm, Craig Keogh
An assessment of the impact of ELEXSA visualizations on operator situation awareness. OZCHI (2007)
Catherine Howard, Markus Stumptner
Model Construction Algorithms for Object-Oriented Probabilistic Relational Models. FLAIRS Conference (2006)
Catherine Howard, Markus Stumptner
Applying OPRMs to Recursive Probability Models. ECAI (2006)
Catherine Howard, Markus Stumptner
Representation and Reasoning for Recursive Probability Models. Australian Conference on Artificial Intelligence (2006)
Catherine Howard, Markus Stumptner
Object and Knowledge Modeling for Impact Fusion. SEKE (2006)
Catherine Howard, Markus Stumptner
Probabilistic Reasoning Techniques for the Tactical Military Domain. KES (3) (2005)
Catherine Howard, Markus Stumptner
Probabilistic Reasoning Techniques for Situation Assessments. ICITA (1) (2005)
Catherine Howard, Markus Stumptner
Situation Assessment with Object Oriented Probabilistic Relational Models. ICEIS (2) (2005)
Keith Mason, Catherine Howard
Knowledge Intensive Interpretation of Signal Data. IEA/AIE (2004)