3773 search results - page 164 / 755 » Logical Reasoning |
473
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
193
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
170
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
155
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
128
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...