Sciweavers

ECAI
2010
Springer
13 years 5 months ago
A constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
Valerio Genovese, Laura Giordano, Valentina Gliozz...
ECAI
2010
Springer
13 years 5 months ago
LP Solvable Models for Multiagent Fair Allocation Problems
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
Julien Lesca, Patrice Perny
ECAI
2010
Springer
13 years 5 months ago
Parallel TBox Classification in Description Logics - First Experimental Results
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
ECAI
2010
Springer
13 years 5 months ago
Majority Merging: from Boolean Spaces to Affine Spaces
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
Jean-François Condotta, Souhila Kaci, Pierr...
ECAI
2010
Springer
13 years 5 months ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
ECAI
2010
Springer
13 years 5 months ago
Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation
Antonino Freno, Edmondo Trentin, Marco Gori
ECAI
2010
Springer
13 years 5 months ago
Linear Logic for Non-Linear Storytelling
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat
ECAI
2010
Springer
13 years 5 months ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
ECAI
2010
Springer
13 years 5 months ago
A Unified Framework for Non-standard Reasoning Services in Description Logics
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
ECAI
2010
Springer
13 years 5 months ago
Acquisition of Grammar in Autonomous Artificial Systems
Over the past several decades, psycholinguists have gained countless insights into the process of child language acquisition. Can these findings be used for the development of lang...
Kateryna Gerasymova, Michael Spranger