605 search results - page 26 / 121 » Dealing with logical omniscience |
150
click to vote
FLAIRS
2008
15 years 8 months ago
2008
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
195
click to vote
FLAIRS
2009
15 years 3 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...
279
click to vote
ARTCOM
2009
IEEE
16 years 18 days ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
136
click to vote
IAT
2008
IEEE
16 years 7 days 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...
147
Voted
ICLP
2007
Springer
15 years 12 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 ...