Sciweavers

1096 search results - page 144 / 220
» Abstract Canonical Inference
Sort
View
DIS
2008
Springer
14 years 12 months ago
A Framework for Knowledge Discovery in a Society of Agents
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
Gauvain Bourgne, Vincent Corruble
ECCV
2008
Springer
14 years 12 months ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
FM
2008
Springer
130views Formal Methods» more  FM 2008»
14 years 11 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
CRIWG
2007
14 years 11 months ago
Alternative Dispute Resolution Based on the Storytelling Technique
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
Pedro Antunes, Sara Relvas, Marcos R. S. Borges
COMMA
2008
14 years 11 months ago
Arguments in OWL: A Progress Report
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
Iyad Rahwan, Bita Banihashemi