Sciweavers

1205 search results - page 195 / 241
» Conservativity in Structured Ontologies
Sort
View
ACL
2009
15 years 2 months ago
A Metric-based Framework for Automatic Taxonomy Induction
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
Hui Yang, Jamie Callan
EDM
2009
147views Data Mining» more  EDM 2009»
15 years 2 months ago
an Argument Learning Environment Using Agent-Based ITS (ALES)
This paper presents an agent-based educational environment to teach argument analysis (ALES). The idea is based on the Argumentation Interchange Format Ontology (AIF) using "W...
Safia Abbas, Hajime Sawamura
SEMWEB
2010
Springer
14 years 11 months ago
The Semantic Web needs more cognition
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
Martin Raubal, Benjamin Adams
AAAI
2012
13 years 6 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
ICFP
2005
ACM
16 years 4 months ago
PolyAML: a polymorphic aspect-oriented functional programming language
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
Daniel S. Dantas, David Walker, Geoffrey Washburn,...