Sciweavers

1587 search results - page 122 / 318
» The Semantics of Extended SOFL
Sort
View
ICCS
2009
Springer
14 years 3 months ago
Conceptual Graph Rules and Equivalent Rules: A Synthesis
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual...
Marie-Laure Mugnier
KSEM
2007
Springer
14 years 3 months ago
On Defense Strength of Blocking Defeaters in Admissible Sets
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
Diego C. Martínez, Alejandro Javier Garc&ia...
RULEML
2005
Springer
14 years 2 months ago
Uncertainty and RuleML Rulebases: A Preliminary Report
Abstract. Uncertainty, like imprecision and vagueness, has gained considerable attention the last decade. To this extend we present a preliminary report on extending the Rule Marku...
Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...
FASE
1998
Springer
14 years 1 months ago
Reflections on the Design of a Specification language
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
Stefan Kahrs, Donald Sannella
ACL
2008
13 years 10 months ago
Contextual Preferences
The validity of semantic inferences depends on the contexts in which they are applied. We propose a generic framework for handling contextual considerations within applied inferen...
Idan Szpektor, Ido Dagan, Roy Bar-Haim, Jacob Gold...