Sciweavers

2308 search results - page 10 / 462
» Representing Symbolic Reasoning
Sort
View
AAAI
2004
13 years 8 months ago
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...
Francesca Rossi, Kristen Brent Venable, Toby Walsh
APIN
2005
94views more  APIN 2005»
13 years 7 months ago
Extension of Petri Nets for Representing and Reasoning with Tasks with Imprecise Durations
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
Stanislav Kurkovsky, Rasiah Loganantharaj
COMPSAC
2010
IEEE
13 years 5 months ago
Representing and Reasoning about Web Access Control Policies
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong M...
ISMIS
1997
Springer
13 years 11 months ago
Representing and Reasoning on SGML Documents
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...