Sciweavers

1587 search results - page 122 / 318
» The Semantics of Extended SOFL
Sort
View
ICCS
2009
Springer
15 years 11 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
15 years 10 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
15 years 10 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
15 years 8 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
15 years 6 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...