3773 search results - page 164 / 755 » Logical Reasoning |
352
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
150
Voted
AGP
2003
IEEE
15 years 9 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...
124
Voted
ATAL
2003
Springer
15 years 9 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...
116
Voted
ACSC
2002
IEEE
15 years 8 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 ...
97
Voted
CSL
2000
Springer
15 years 8 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...