Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506237532> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1506237532 abstract "Logics for agents are useful when specifying, implementing and verifying agent programs.W e show that modal logic provides a nice tool to define informational, motivational and dynamic aspects of agents. We conclude by showing how an agent programming language can also benefit from this modal approach." @default.
- W1506237532 created "2016-06-24" @default.
- W1506237532 creator A5061257841 @default.
- W1506237532 date "2001-01-01" @default.
- W1506237532 modified "2023-09-23" @default.
- W1506237532 title "Logical Foundations of Agent-Based Computing" @default.
- W1506237532 cites W119570465 @default.
- W1506237532 cites W1494976167 @default.
- W1506237532 cites W1514303417 @default.
- W1506237532 cites W1552797176 @default.
- W1506237532 cites W1625904081 @default.
- W1506237532 cites W2106172458 @default.
- W1506237532 cites W2145899763 @default.
- W1506237532 cites W2149420462 @default.
- W1506237532 cites W2431139695 @default.
- W1506237532 doi "https://doi.org/10.1007/3-540-47745-4_3" @default.
- W1506237532 hasPublicationYear "2001" @default.
- W1506237532 type Work @default.
- W1506237532 sameAs 1506237532 @default.
- W1506237532 citedByCount "13" @default.
- W1506237532 countsByYear W15062375322014 @default.
- W1506237532 countsByYear W15062375322015 @default.
- W1506237532 crossrefType "book-chapter" @default.
- W1506237532 hasAuthorship W1506237532A5061257841 @default.
- W1506237532 hasConcept C115903868 @default.
- W1506237532 hasConcept C121332964 @default.
- W1506237532 hasConcept C128838566 @default.
- W1506237532 hasConcept C154945302 @default.
- W1506237532 hasConcept C165801399 @default.
- W1506237532 hasConcept C172385210 @default.
- W1506237532 hasConcept C185592680 @default.
- W1506237532 hasConcept C188027245 @default.
- W1506237532 hasConcept C199360897 @default.
- W1506237532 hasConcept C27508121 @default.
- W1506237532 hasConcept C2777796570 @default.
- W1506237532 hasConcept C41008148 @default.
- W1506237532 hasConcept C41550386 @default.
- W1506237532 hasConcept C62520636 @default.
- W1506237532 hasConcept C71139939 @default.
- W1506237532 hasConceptScore W1506237532C115903868 @default.
- W1506237532 hasConceptScore W1506237532C121332964 @default.
- W1506237532 hasConceptScore W1506237532C128838566 @default.
- W1506237532 hasConceptScore W1506237532C154945302 @default.
- W1506237532 hasConceptScore W1506237532C165801399 @default.
- W1506237532 hasConceptScore W1506237532C172385210 @default.
- W1506237532 hasConceptScore W1506237532C185592680 @default.
- W1506237532 hasConceptScore W1506237532C188027245 @default.
- W1506237532 hasConceptScore W1506237532C199360897 @default.
- W1506237532 hasConceptScore W1506237532C27508121 @default.
- W1506237532 hasConceptScore W1506237532C2777796570 @default.
- W1506237532 hasConceptScore W1506237532C41008148 @default.
- W1506237532 hasConceptScore W1506237532C41550386 @default.
- W1506237532 hasConceptScore W1506237532C62520636 @default.
- W1506237532 hasConceptScore W1506237532C71139939 @default.
- W1506237532 hasLocation W15062375321 @default.
- W1506237532 hasOpenAccess W1506237532 @default.
- W1506237532 hasPrimaryLocation W15062375321 @default.
- W1506237532 hasRelatedWork W139572677 @default.
- W1506237532 hasRelatedWork W1499268515 @default.
- W1506237532 hasRelatedWork W1504850170 @default.
- W1506237532 hasRelatedWork W1506199548 @default.
- W1506237532 hasRelatedWork W1538723405 @default.
- W1506237532 hasRelatedWork W1561303721 @default.
- W1506237532 hasRelatedWork W1625904081 @default.
- W1506237532 hasRelatedWork W2045081599 @default.
- W1506237532 hasRelatedWork W2069709605 @default.
- W1506237532 hasRelatedWork W2103401874 @default.
- W1506237532 hasRelatedWork W2118324648 @default.
- W1506237532 hasRelatedWork W2120918988 @default.
- W1506237532 hasRelatedWork W2142685525 @default.
- W1506237532 hasRelatedWork W2144423143 @default.
- W1506237532 hasRelatedWork W2146819619 @default.
- W1506237532 hasRelatedWork W2163579179 @default.
- W1506237532 hasRelatedWork W2242536139 @default.
- W1506237532 hasRelatedWork W2526534700 @default.
- W1506237532 hasRelatedWork W2534408717 @default.
- W1506237532 hasRelatedWork W2610599811 @default.
- W1506237532 isParatext "false" @default.
- W1506237532 isRetracted "false" @default.
- W1506237532 magId "1506237532" @default.
- W1506237532 workType "book-chapter" @default.