17054 search results - page 142 / 3411 » Logics of Dynamical Systems |
256
click to vote
DAMAS
2005
Springer
16 years 16 days ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
197
Voted
MLQ
2000
15 years 6 months ago
2000
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
174
click to vote
LPNMR
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
157
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...