Sciweavers

2696 search results - page 76 / 540
» Semantic Abstraction and Anaphora
Sort
View
COMMA
2008
14 years 11 months ago
Basic influence diagrams and the liberal stable semantics
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
Paul-Amaury Matt, Francesca Toni
AOSE
2004
Springer
15 years 3 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
ER
2004
Springer
348views Database» more  ER 2004»
15 years 3 months ago
Understanding Relationships: Classifying Verb Phrase Semantics
Abstract. Relationships are an essential part of the design of a database because they capture associations between things. Comparing and integrating relationships from heterogeneo...
Veda C. Storey, Sandeep Purao
ESOP
2001
Springer
15 years 2 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 1 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer