Sciweavers

3032 search results - page 156 / 607
» Description Logic Rules
Sort
View
SWAP
2007
13 years 12 months ago
OWL-S Atomic Services Composition with SWRL Rules
This paper presents a method for encoding OWL-S atomic processes by means of SWRL rules and composing them using a backward search planning algorithm. A description of the prelimin...
Domenico Redavid, Luigi Iannone, Terry R. Payne
PRICAI
2000
Springer
14 years 2 months ago
Argumentation Semantics for Defeasible Logics
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
Guido Governatori, Michael J. Maher, Grigoris Anto...
KR
2004
Springer
14 years 4 months ago
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
Alexander Bochman
EUSFLAT
2003
105views Fuzzy Logic» more  EUSFLAT 2003»
14 years 4 days ago
Perception based functions with boundary conditions
The methods of reconstruction of perception based functions (PBF) given by the set of rules like “If X is SMALL then Y is VERY QUICKLY INCREASING”, “If X is BETWEEN A and B ...
Ildar Z. Batyrshin
ASIAN
2009
Springer
252views Algorithms» more  ASIAN 2009»
13 years 12 months ago
"Logic Wins!"
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
Jean Goubault-Larrecq