I am no longer in academia, so this is a static archive.
- ( FOIS 2014 ) Conceptual Models of Energy Transfer and Regulation
- ( AAAI 2014 ) Large-Scale Analogical Reasoning
- ( SAS 2014 ) The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract)
- ( GKRIJCAI 2013 ) Automatic Strengthening of Graph-Structured Knowledge Bases
- ( ORE 2013 ) KB_Bio_101: A Challenge for OWL Reasoners
- ( KInAR 2013 ) KB_Bio_101: A Challenge for TPTP First-Order Reasoners
- ( TC ICLP 2013 ) Object-Oriented Knowledge Bases in Logic Programming
- ( ASPOCP 2013 ) Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
- ( AAMAS 2013 ) “What If There Was No Oxygen?”: Responding to Hypothetical Questions in an Intelligent Tutoring Agent (Extended Abstract)
- ( E-LKR 2012 ) KB_Bio_101: A Repository of Graph-Structured Knowledge
- ( DKRC 2012 ) Process Interruption Reasoning
- ( SWWS 2012 ) The DReW System for Nonmonotonic DL-Programs
- ( TPLP 2011 ) Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
- ( Bio Sem 2011 ) Semantic Validation of the Use of SNOMED CT in HL7 Clinical Documents
- ( USDL 2011 ) Semantic Web Services Fundamentals
- ( JAIR 2010 ) Logical Foundations of RDF(S) with Datatypes
- ( ASPOCP 2010 ) An Optimization for Reasoning with Forest Logic Programs
- ( WI 2010 ) F-Logic#: Loosely Coupling F-Logic Rules and Ontologies
- ( ECAI 2010 ) Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
- ( ESWC 2010 ) Dealing with Inconsistency when Combining Ontologies and Rules using DL-Programs
- ( BuRO 2010 ) DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs
- ( LPNMR 2009 ) Complexity of the Stable Model Semantics for Queries on Incomplete Databases
- ( ESWC 2009 ) Hybrid Reasoning with Forest Logic Programs
- ( RR 2009 ) A Reasoner for Simple Conceptual Logic Programs
- ( LFCS 2009 ) Fuzzy Description Logic Reasoning using a Fixpoint Algorithm
- ( FI 2008 ) On the Relationship between Description Logic-based and F-Logic-based Ontologies
- ( ALPSWS 2008 ) A Sound and Complete Algorithm for Simple Conceptual Logic Programs
- ( TPLP 2008 ) Guarded Hybrid Knowledge Bases
- ( Onto Mag 2008 ) Ontology Reasoning with Large Data Repositories
- ( ACM TOCL 2007 ) Open Answer Set Programming with Guarded Programs
- ( RR 2008 ) Ranking Services Using Fuzzy HEX Programs
- ( ICLP 2008 ) Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
- ( JAIT 2008 ) Towards Pattern-Based Reasoning for Friendly Ontology Debugging
- ( URSW 2008 ) Deciding Fuzzy Description Logics by Type Elimination
- ( DL 2008 ) The SAT-Tableau Calculus
- ( ISWC/ASWC2007 ) Logical Foundations of (e)RDF(S): Complexity and Reasoning
- ( RR 2007 ) A Semantic Framework for Language Layering in WSML
- ( WEBS 2007 ) RDF and Logic: Reasoning and Extension
- ( JAL 2007 ) Open Answer Set Programming for the Semantic Web
- ( WEBIST 2007 ) Spinning a corporate Semantic Web for Product Engineering
- ( SBPM 2007 ) Semantic Business Process Repository
- ( ESWC 2007 ) Two-Phase Web Service Discovery Based on Rich Functional Descriptions
- ( WIMBI 2006 ) A Semantically Enabled Service Oriented Architecture
- ( RuleML 2006 ) Translating Ontologies from Predicate-based to Frame-based Languages
- ( AMAI 2006 ) Conceptual Logic Programs
- ( PhD Thesis 2006) Decidable Open Answer Set Programming
- ( ALPSWS 2006 ) G-hybrid Knowledge Bases
- ( FoIKS 2006 ) Guarded Open Answer Set Programming with Generalized Literals
- ( RoW 2006 ) Reasoning with the Description Logic DLRO-lessthan using Bound Guarded Programs
- ( EDBT 2006 ) Unsatisfiability Reasoning in ORM Conceptual Schemes
- ( ECAI 2006 ) Approximating Extended Answer Sets
- ( ICLP 2006 ) Cooperating Answer Set Programming
- ( CLIMA-VII 2006 ) Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
- ( LPNMR 2005 ) Guarded Open Answer Set Programming
- ( ESWC 2005 ) Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
- ( ISWC 2005 ) Preferential Reasoning on a Web of Trust
- ( ICTCS 2005 ) Synthesis from Temporal Specifications Using Preferred Answer Set Programming
- ( PADLD 2005 ) An Ordered Logic Program Solver
- ( JELLIA 2004 ) Hierarchical Decision Making by Autonomous Agents
- ( RuleML 2004 ) Semantic Web Reasoning with Conceptual Logic Programs
- ( ICLP 2004 ) On Programs with Linearly Ordered Multiple Preferences
- ( LPAR 2004 ) Weighted Answer Sets and Applications in Intelligence Analysis
- ( PPSWR 2003 ) Integrating Description Logics and Answer Set Programming
- ( WEBS 2003 ) Integrating Ontology Languages and Answer Set Programming
- ( ASP 2003 ) Integrating Semantic Web Reasoning and Answer Set Programming
- ( ODBASE 2002 ) A Defeasible Ontology Language
- ( WEBS 2002 ) Using Preference Order in Ontologies
You can find bibliographic details for all of these at Bibsonomy.