840 search results - page 60 / 168 » A low-complexity issue logic |
155
click to vote
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
106
click to vote
WSC
2001
15 years 5 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
146
click to vote
JSC
2000
15 years 3 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
124
click to vote
ESWS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
137
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...