Sciweavers

16616 search results - page 34 / 3324
» Extending Extended Vacuity
Sort
View
EPIA
1997
Springer
14 years 3 months ago
Vivid Agents Arguing about Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
Michael Schroeder, Iara de Almeida Móra, Jo...
CONCUR
2004
Springer
14 years 2 months ago
Extended Process Rewrite Systems: Expressiveness and Reachability
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
Mojmír Kretínský, Vojtech Reh...
ECAI
2006
Springer
14 years 2 months ago
Approximating Extended Answer Sets
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
IJCAI
2003
14 years 10 days ago
Extended Gloss Overlaps as a Measure of Semantic Relatedness
This paper presents a new measure of semantic relatedness between concepts that is based on the number of shared words (overlaps) in their definitions (glosses). This measure is ...
Satanjeev Banerjee, Ted Pedersen
PTS
2003
108views Hardware» more  PTS 2003»
14 years 10 days ago
Fault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtush...