Sciweavers

2476 search results - page 106 / 496
» Faceted Knowledge Representation
Sort
View
WWW
2003
ACM
15 years 10 months ago
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
Benjamin N. Grosof, Terrence C. Poon
LPNMR
2005
Springer
15 years 3 months ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer
ICAISC
2004
Springer
15 years 3 months ago
ActiveMath: An Intelligent Tutoring System for Mathematics
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and archite...
Erica Melis, Jörg H. Siekmann
STAIRS
2008
109views Education» more  STAIRS 2008»
14 years 11 months ago
Representing Case Variations for Learning General and Specific Adaptation Rules
Adaptation is a task of case-based reasoning systems that is largely domain-dependant. This motivates the study of adaptation knowledge acquisition (AKA) that can be carried out th...
Fadi Badra, Jean Lieber
FLAIRS
2004
14 years 11 months ago
Towards a Linguistically Motivated Ontology of Motion: Situation Based Synsets of Motion Verbs
The paper aims at contributing to the problem of designing ontologies for spatio-temporal knowledge representation. We consider a linguistically oriented, situation-based methodol...
Zygmunt Vetulani