630 search results - page 104 / 126 » Combining Two Formalism for Reasoning about Concepts |
PEPM
2010
ACM
13 years 11 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
ODR
2008
13 years 10 months ago
2008
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...