2302 search results - page 215 / 461 » Basic Description Logics |
124
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
170
click to vote
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
159
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
138
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
131
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...