2540 search results - page 64 / 508 » Abstract Logics as Dialgebras |
166
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
190
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
128
click to vote
TFS
2010
15 years 1 months ago
2010
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
170
click to vote
INTERSENSE
2006
ACM
16 years 10 days ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
163
click to vote
PEPM
2007
ACM
16 years 15 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...