Sciweavers

2136 search results - page 318 / 428
» A Game-Theoretic Operational Semantics
Sort
View
KR
2000
Springer
15 years 8 months ago
Representing and Aggregating Conflicting Beliefs
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
Pedrito Maynard-Reid II, Daniel J. Lehmann
ICLP
1991
Springer
15 years 8 months ago
{log}: A Logic Programming Language with Finite Sets
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontell...
LISA
2007
15 years 6 months ago
PolicyVis: Firewall Security Policy Visualization and Inspection
Firewalls have an important role in network security. However, managing firewall policies is an extremely complex task because the large number of interacting rules in single or d...
Tung Tran, Ehab S. Al-Shaer, Raouf Boutaba
ESWS
2008
Springer
15 years 6 months ago
Entity Identifiers for Lineage Preservation
Abstract. The generation of entity identifiers is a key issue in the context of semantic web technologies. Entity identifiers are needed when we perform any kind of operation (e.g....
Julien Gaugaz, Gianluca Demartini
LREC
2008
142views Education» more  LREC 2008»
15 years 6 months ago
RACAI's Linguistic Web Services
Nowadays, there are hundreds of Natural Language Processing applications and resources for different languages that are developed and/or used, almost exclusively with a few but no...
Dan Tufis, Radu Ion, Alexandru Ceausu, Dan Stefane...