A Comparison of Sceptical NAF-Free Logic Programming Approaches

A Defeasible Logic Reasoner for the Semantic Web

article by Nick Bassiliades et al published 2004 in Lecture Notes in Computer Science

A Formal Theory for Modular ERDF Ontologies

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

article by Efstratios Kontopoulos et al published January 2011 in International Journal on Semantic Web and Information Systems

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

scholarly article

A Multi-agent Environment for Serving Proof Explanations in the Semantic Web

A Reasoning Framework for Ambient Intelligence

A Semantic Web Primer (3rd edition)

A Semantically Enriched Hypercat-enabled Internet of Things Data Hub

artículo científico publicado en 2017

A Semantics-Based User Model for the Support of Personalized, Context-Aware Navigational Services

A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report

A System for Nonmonotonic Rules on the Web

A TOOL FOR ADDRESSING THE RAMIFICATION PROBLEM IN TEMPORAL DATABASES

A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web

A context-aware meeting alert using semantic web and rule technology

A defeasible logic programming system for the Web

A framework for modular ERDF ontologies

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

A system for modal and deontic defeasible reasoning

A tutorial on default logics

Access control for RDF graphs using abstract models

article published in 2012

AlertMe: A Semantics-Based Context-Aware Notification System

Alternative Strategies for Conflict Resolution in Multi-Context Systems

An inclusion theorem for defeasible logics

Answering an Inquiry from Heterogeneous Contexts

Applying SLD-Resolution to a Class of Non-Horn Logic Programs

Combining Description Logic and Defeasible Logic for the Semantic Web

artículo científico publicado en 2004

Concept and Role Forgetting in ${\mathcal {ALC}}$ Ontologies

artículo científico publicado en 2009

Connections between default reasoning and partial constraint satisfaction

Conservative expansion concepts for default theories

Contextual Argumentation in Ambient Intelligence

Contextual Defeasible Logic and Its Application to Ambient Intelligence

Controlling Access to RDF Graphs

DEAL

DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering

DR-BROKERING: A semantic brokering system

DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

Data quality assessment and anomaly detection via map/reduce and linked data: A case study in the medical domain

scholarly article published October 2015

Default Logic

artículo científico publicado en 2007

Defeasible Contextual Reasoning with Arguments in Ambient Intelligence

Defeasible logic versus Logic Programming without Negation as Failure

Defeasible logic with dynamic priorities

Defeasible reasoning: A discussion of some intuitions

Deploying defeasible logic rule bases for the semantic web

Design and challenges of a semantics-based framework for context-aware services

ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS

artículo científico publicado en 2012

Efficient Computation of the Well-Founded Semantics over Big Data ⬇️

Efficient defeasible reasoning systems

Embedding defeasible logic into logic programming

Embeddings of Simple Modular Extended RDF

article by Carlos Viegas Damásio et al published 2010 in Lecture Notes in Computer Science

Evolving Ontology Evolution

Exploiting Semantics for Indoor Navigation and User-Tracking

Exten: A system for computing default logic extensions

Extended RDF: Computability and complexity issues

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

scholarly article published December 2008

Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

FleXConf: A Flexible Conference Assistant Using Context-Aware Notification Services

Forgetting for Defeasible Logic

artículo científico publicado en 2012

Formal foundations for RDF/S KB evolution

Integrated Representation of Temporal Intervals and Durations for the Semantic Web

article published in 2015

Integrity and rule checking in nonmonotonic knowledge bases

Justifications for Logic Programming

Large-Scale Reasoning with (Semantic) Data

Learning and Reasoning with Complex Representations

Logics in Artificial Intelligence

MWeb

Massively Parallel Reasoning under the Well-Founded Semantics Using X10

artículo científico publicado en 2014

Message from ICEBE 2009 Program Chairs

Minimal change: Relevance and recovery revisited

artículo científico publicado en 2013

Modularity in the Rule Interchange Format

New proofs in default logic theory

scholarly article by Antoniou Grigoris et al published December 1994 in Annals of Mathematics and Artificial Intelligence

Nonmonotonic Rule Systems on Top of Ontology Layers

artículo científico publicado en 2002

On Applying the AGM Theory to DLs and OWL

article published in 2005

On RDF/S Ontology Evolution

On the Computability and Complexity Issues of Extended RDF

On the Deployment of Contextual Reasoning in Ambient Intelligence Environments

On the dynamics of default reasoning

article

On the verification of modular logical knowledge bases

article

Ontology change: classification and survey

article by GIORGOS FLOURIS et al published 23 May 2008 in Knowledge Engineering Review

Ontology evolution: a process-centric survey

Operational concepts of nonmonotonic logics part 1: Default logic

Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic

Priorities in Default Logic revisited

Proof explanation for a nonmonotonic Semantic Web rules language

Provenance for SPARQL Queries

artículo científico publicado en 2012

Reasoning over Spatial Orientation Relations Using Rules

Reasoning with Imperfect Context and Preference Information in Multi-Context Systems

article published in 2010

Representing Time for the Semantic Web

Representing and Reasoning over Topological Relations in OWL

Rule-Based Real-Time ADL Recognition in a Smart Home Environment

S-CRETA: Smart Classroom Real-Time Assistance

Semantic Web dynamics

article

Some approaches to reasoning with incomplete and changing information

artículo científico publicado en 1998

Special Issue on Ontology Dynamics

Stable Model Theory for Extended RDF Ontologies

article

Strategies for contextual reasoning with conflicts in ambient intelligence

Structuring and modules for knowledge bases: motivation for a new model

Studying properties of classes of default logics — Preliminary report

Task-Based Dependency Management for the Preservation of Digital Objects Using Rules

The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework

The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web

The Ramification Problem in Temporal Databases: A Solution Implemented in SQL

The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints

The Semantic Web: Research and Applications: 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II

ESWC 2010 proceedings, part II

The ramification problem in temporal databases: Changing beliefs about the past

The ramification problem in temporal databases: Concurrent execution

The verification of modules

Uniform Interpolation for $\mathcal{ALC}$ Revisited

artículo científico publicado en 2009

Using Constraint Optimization for Conflict Resolution and Detail Control in Activity Recognition

Using Hadoop To Implement a Semantic Method Of Assessing The Quality Of Research Medical Datasets

VISUAL MODELING OF DEFEASIBLE LOGIC RULES WITH DR-VisMo

Visual Stratification of Defeasible Logic Rule Bases

Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

scholarly article by Efstratios Kontopoulos et al published April 2011 in Knowledge-Based Systems

Web Ontology Languages

Why-provenance information for RDF, rules, and negation

iCurate: A Research Data Management System