View source

From korrekt.org

for Querying Formal Contexts with Answer Set Programs

You do not have permission to do that, for the following reason:

The action you have requested is limited to users in the group user.

You can view and copy the source of this page:

{{publication|
author2=Markus Krötzsch|
author1=Pascal Hitzler|
title=Querying Formal Contexts with Answer Set Programs|
where=ICCS2006|
booktitle=Proceedings of the 14th International Conference on Conceptual Structures (ICCS-06)|
pages=413&ndash;426|
editor1=Henrik Schärfe|
editor2=Pascal Hitzler|
editor3=Peter Ohrstrom|
publisher=Springer|
date=2006|
updated=July 1 2006|
type=Conference paper|
pdf=http://www.aifb.uni-karlsruhe.de/WBS/phi/resources/publications/hk06_aspfca.pdf|
abstract=Recent studies showed how a seamless integration of formal concept analysis (FCA), logic of domains, and answer set programming (ASP) can be achieved. Based on these results for combining hierarchical knowledge with classical rule-based formalisms, we introduce an expressive common-sense query language for formal contexts. Although this approach is conceptually based on order-theoretic paradigms, we show how it can be implemented on top of standard ASP systems. Advanced features, such as default negation and disjunctive rules, thus become practically available for processing contextual data.
}}

== Topics ==

[[topic::Formal Concept Analysis]], [[topic::Logic programming]]

Templates used on this page:

Return to Querying Formal Contexts with Answer Set Programs.

Retrieved from "http://korrekt.org/page/Querying_Formal_Contexts_with_Answer_Set_Programs"

View source

From korrekt.org

Views

Personal tools

Navigation

Search

Toolbox