3776 search results - page 407 / 756 » Partition-Based Logical Reasoning |
121
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
The use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI Logic being a widely used architecture to repres...
133
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
122
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
135
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
138
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...