Publications (2002-2014)

I am no longer in academia, so this is a static archive.

  1. ( FOIS 2014 ) Conceptual Models of Energy Transfer and Regulation
  2. ( AAAI 2014 ) Large-Scale Analogical Reasoning
  3. ( SAS 2014 ) The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract)
  4. ( GKRIJCAI 2013 ) Automatic Strengthening of Graph-Structured Knowledge Bases
  5. ( ORE 2013 ) KB_Bio_101: A Challenge for OWL Reasoners
  6. ( KInAR 2013 ) KB_Bio_101: A Challenge for TPTP First-Order Reasoners
  7. ( TC ICLP 2013 ) Object-Oriented Knowledge Bases in Logic Programming
  8. ( ASPOCP 2013 ) Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
  9. ( AAMAS 2013 ) “What If There Was No Oxygen?”: Responding to Hypothetical Questions in an Intelligent Tutoring Agent (Extended Abstract)
  10. ( E-LKR 2012 ) KB_Bio_101: A Repository of Graph-Structured Knowledge
  11. ( DKRC 2012 ) Process Interruption Reasoning
  12. ( SWWS 2012 ) The DReW System for Nonmonotonic DL-Programs
  13. ( TPLP 2011 ) Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
  14. ( Bio Sem 2011 ) Semantic Validation of the Use of SNOMED CT in HL7 Clinical Documents
  15. ( USDL 2011 ) Semantic Web Services Fundamentals
  16. ( JAIR 2010 ) Logical Foundations of RDF(S) with Datatypes
  17. ( ASPOCP 2010 ) An Optimization for Reasoning with Forest Logic Programs
  18. ( WI 2010 ) F-Logic#: Loosely Coupling F-Logic Rules and Ontologies
  19. ( ECAI 2010 ) Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
  20. ( ESWC 2010 ) Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs
  21. ( BuRO 2010 ) DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs
  22. ( LPNMR 2009 ) Complexity of the Stable Model Semantics for Queries on Incomplete Databases
  23. ( ESWC 2009 ) Hybrid Reasoning with Forest Logic Programs
  24. ( RR 2009 ) A Reasoner for Simple Conceptual Logic Programs
  25. ( LFCS 2009 ) Fuzzy Description Logic Reasoning using a Fixpoint Algorithm
  26. ( FI 2008 ) On the Relationship between Description Logic-based and F-Logic-based Ontologies
  27. ( ALPSWS 2008 ) A Sound and Complete Algorithm for Simple Conceptual Logic Programs
  28. ( TPLP 2008 ) Guarded Hybrid Knowledge Bases
  29. ( Onto Mag 2008 ) Ontology Reasoning with Large Data Repositories
  30. ( ACM TOCL 2007 ) Open Answer Set Programming with Guarded Programs
  31. ( RR 2008 ) Ranking Services Using Fuzzy HEX Programs
  32. ( ICLP 2008 ) Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
  33. ( JAIT 2008 ) Towards Pattern-Based Reasoning for Friendly Ontology Debugging
  34. ( URSW 2008 ) Deciding Fuzzy Description Logics by Type Elimination
  35. ( DL 2008 ) The SAT-Tableau Calculus
  36. ( ISWC/ASWC2007 ) Logical Foundations of (e)RDF(S): Complexity and Reasoning
  37. ( RR 2007 ) A Semantic Framework for Language Layering in WSML
  38. ( WEBS 2007 ) RDF and Logic: Reasoning and Extension
  39. ( JAL 2007 ) Open Answer Set Programming for the Semantic Web
  40. ( WEBIST 2007 ) Spinning a corporate Semantic Web for Product Engineering
  41. ( SBPM 2007 ) Semantic Business Process Repository
  42. ( ESWC 2007 ) Two-Phase Web Service Discovery Based on Rich Functional Descriptions
  43. ( WIMBI 2006 ) A Semantically Enabled Service Oriented Architecture
  44. ( RuleML 2006 ) Translating Ontologies from Predicate-based to Frame-based Languages
  45. ( AMAI 2006 ) Conceptual Logic Programs
  46. ( PhD Thesis 2006) Decidable Open Answer Set Programming
  47. ( ALPSWS 2006 ) G-hybrid Knowledge Bases
  48. ( FoIKS 2006 ) Guarded Open Answer Set Programming with Generalized Literals
  49. ( RoW 2006 ) Reasoning with the Description Logic DLRO-lessthan using Bound Guarded Programs
  50. ( EDBT 2006 ) Unsatisfiability Reasoning in ORM Conceptual Schemes
  51. ( ECAI 2006 ) Approximating Extended Answer Sets
  52. ( ICLP 2006 ) Cooperating Answer Set Programming
  53. ( CLIMA-VII 2006 ) Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
  54. ( LPNMR 2005 ) Guarded Open Answer Set Programming
  55. ( ESWC 2005 ) Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
  56. ( ISWC 2005 ) Preferential Reasoning on a Web of Trust
  57. ( ICTCS 2005 ) Synthesis from Temporal Specifications Using Preferred Answer Set Programming
  58. ( PADLD 2005 ) An Ordered Logic Program Solver
  59. ( JELLIA 2004 ) Hierarchical Decision Making by Autonomous Agents
  60. ( RuleML 2004 ) Semantic Web Reasoning with Conceptual Logic Programs
  61. ( ICLP 2004 ) On Programs with Linearly Ordered Multiple Preferences
  62. ( LPAR 2004 ) Weighted Answer Sets and Applications in Intelligence Analysis
  63. ( PPSWR 2003 ) Integrating Description Logics and Answer Set Programming
  64. ( WEBS 2003 ) Integrating Ontology Languages and Answer Set Programming
  65. ( ASP 2003 ) Integrating Semantic Web Reasoning and Answer Set Programming
  66. ( ODBASE 2002 ) A Defeasible Ontology Language
  67. ( WEBS 2002 ) Using Preference Order in Ontologies

You can find bibliographic details for all of these at Bibsonomy.