Sciweavers

97 search results - page 4 / 20
» Some Considerations on the Reason for Bloat
Sort
View
EXACT
2008
13 years 8 months ago
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
Martin Brain, Marina De Vos
LPNMR
2011
Springer
12 years 8 months ago
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
David Poole
IJCAI
1993
13 years 7 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
CSE
2009
IEEE
13 years 3 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
ICDT
2007
ACM
136views Database» more  ICDT 2007»
14 years 4 days ago
Representing Data as Resources in RDF and OWL
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
Pierre-Antoine Champin