Sciweavers

4257 search results - page 62 / 852
» The Logical Modularity of Programs
Sort
View
FSS
2008
145views more  FSS 2008»
15 years 2 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
139
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou...
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 2 months ago
A Homogeneous Reaction Rule Language for Complex Event Processing
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
Adrian Paschke, Alexander Kozlenkov, Harold Boley
JSW
2007
97views more  JSW 2007»
15 years 2 months ago
Using Aspect Programming to Secure Web Applications
—As the Internet users increase, the need to protect  web servers from malicious users has become a priority in  many   organizations   and   companies.   ...
Gabriel Hermosillo, Roberto Gomez, Lionel Seinturi...
ECAI
1998
Springer
15 years 6 months ago
Causal Logic
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
Glenn Shafer