last updated: Wed Sep 5 15:50:04 PDT 2018
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.