Sciweavers

8337 search results - page 278 / 1668
» Reasoning With Characteristic Models
Sort
View
ASP
2005
Springer
16 years 6 days ago
Possibilistic Stable Model Computing
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
Pascal Nicolas, Claire Lefèvre
ENC
2003
IEEE
15 years 12 months ago
Modelling Norms for Autonomous Agents
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...
Fabiola López y López, Michael Luck
210
Voted
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
15 years 6 months ago
First workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2008)
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
Fernando Silva Parreiras, Jeff Z. Pan, Uwe Aß...
TSMC
2010
15 years 1 months ago
An Object-Process-Based Modeling Language for Multiagent Systems
Abstract--While a number of modeling languages for constructing multiagent systems (MASs) have been suggested, none of them is widely accepted and used. A prominent reason for this...
Arnon Sturm, Dov Dori, Onn Shehory
MODELS
2009
Springer
16 years 1 months ago
Towards Semantic Modeling of Network Physical Devices
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, T...