Sciweavers

170 search results - page 19 / 34
» Reasoning with multiple-source information in a possibilisti...
Sort
View
TIME
2005
IEEE
14 years 1 months ago
A Local Method for Prioritized Fusion of Temporal Information
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
Mahat Khelfallah, Belaid Benhamou
ECCV
2006
Springer
14 years 9 months ago
Multivalued Default Logic for Identity Maintenance in Visual Surveillance
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
Vinay D. Shet, David Harwood, Larry S. Davis
EEE
2005
IEEE
14 years 1 months ago
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassi...
CCS
2005
ACM
14 years 1 months ago
PeerAccess: a logic for distributed authorization
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
Marianne Winslett, Charles C. Zhang, Piero A. Bona...
LPNMR
2001
Springer
13 years 12 months ago
plp: A Generic Compiler for Ordered Logic Programs
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
James P. Delgrande, Torsten Schaub, Hans Tompits