Matches in SemOpenAlex for { <https://semopenalex.org/work/W2705702900> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2705702900 abstract "Epistemic logic plays an important role in artificial intelligence for reasoning about multi-agent systems. Current approaches for modelling multi-agent systems with epistemic logic use Kripke semantics where the knowledge base of an agent is represented as atomic propositions, but intelligent agents need to be equipped with formulas to derive implicit information. In this paper, we propose a metamodelling approach where agents’ state of affairs are separated in different scopes, and the knowledge base of an agent is represented by a propositional logic language restricted to Horn clauses. We propose to use a model driven approach for the diagrammatic representation of multi-agent systems knowledge (and nested knowledge). We use a message passing for updating the state of affairs of agents and use belief revision to update the knowledge base of agents." @default.
- W2705702900 created "2017-06-30" @default.
- W2705702900 creator A5000311674 @default.
- W2705702900 creator A5005213951 @default.
- W2705702900 creator A5044790089 @default.
- W2705702900 date "2017-01-01" @default.
- W2705702900 modified "2023-09-26" @default.
- W2705702900 title "An MDE Approach for Modelling and Reasoning About Multi-agent Systems" @default.
- W2705702900 cites W2000581100 @default.
- W2705702900 cites W2159131252 @default.
- W2705702900 cites W2344412678 @default.
- W2705702900 cites W2526693570 @default.
- W2705702900 doi "https://doi.org/10.1007/978-3-319-59294-7_5" @default.
- W2705702900 hasPublicationYear "2017" @default.
- W2705702900 type Work @default.
- W2705702900 sameAs 2705702900 @default.
- W2705702900 citedByCount "0" @default.
- W2705702900 crossrefType "book-chapter" @default.
- W2705702900 hasAuthorship W2705702900A5000311674 @default.
- W2705702900 hasAuthorship W2705702900A5005213951 @default.
- W2705702900 hasAuthorship W2705702900A5044790089 @default.
- W2705702900 hasBestOaLocation W27057029002 @default.
- W2705702900 hasConcept C102993220 @default.
- W2705702900 hasConcept C106624574 @default.
- W2705702900 hasConcept C107247716 @default.
- W2705702900 hasConcept C115925183 @default.
- W2705702900 hasConcept C128838566 @default.
- W2705702900 hasConcept C154945302 @default.
- W2705702900 hasConcept C159032336 @default.
- W2705702900 hasConcept C161301231 @default.
- W2705702900 hasConcept C184337299 @default.
- W2705702900 hasConcept C189790780 @default.
- W2705702900 hasConcept C199360897 @default.
- W2705702900 hasConcept C203659156 @default.
- W2705702900 hasConcept C41008148 @default.
- W2705702900 hasConcept C41550386 @default.
- W2705702900 hasConcept C4554734 @default.
- W2705702900 hasConcept C80444323 @default.
- W2705702900 hasConceptScore W2705702900C102993220 @default.
- W2705702900 hasConceptScore W2705702900C106624574 @default.
- W2705702900 hasConceptScore W2705702900C107247716 @default.
- W2705702900 hasConceptScore W2705702900C115925183 @default.
- W2705702900 hasConceptScore W2705702900C128838566 @default.
- W2705702900 hasConceptScore W2705702900C154945302 @default.
- W2705702900 hasConceptScore W2705702900C159032336 @default.
- W2705702900 hasConceptScore W2705702900C161301231 @default.
- W2705702900 hasConceptScore W2705702900C184337299 @default.
- W2705702900 hasConceptScore W2705702900C189790780 @default.
- W2705702900 hasConceptScore W2705702900C199360897 @default.
- W2705702900 hasConceptScore W2705702900C203659156 @default.
- W2705702900 hasConceptScore W2705702900C41008148 @default.
- W2705702900 hasConceptScore W2705702900C41550386 @default.
- W2705702900 hasConceptScore W2705702900C4554734 @default.
- W2705702900 hasConceptScore W2705702900C80444323 @default.
- W2705702900 hasLocation W27057029001 @default.
- W2705702900 hasLocation W27057029002 @default.
- W2705702900 hasLocation W27057029003 @default.
- W2705702900 hasOpenAccess W2705702900 @default.
- W2705702900 hasPrimaryLocation W27057029001 @default.
- W2705702900 hasRelatedWork W116509193 @default.
- W2705702900 hasRelatedWork W1495599482 @default.
- W2705702900 hasRelatedWork W1533142698 @default.
- W2705702900 hasRelatedWork W188308814 @default.
- W2705702900 hasRelatedWork W189167212 @default.
- W2705702900 hasRelatedWork W2037017835 @default.
- W2705702900 hasRelatedWork W2038127099 @default.
- W2705702900 hasRelatedWork W2074934885 @default.
- W2705702900 hasRelatedWork W2083668613 @default.
- W2705702900 hasRelatedWork W2104729867 @default.
- W2705702900 hasRelatedWork W2133560004 @default.
- W2705702900 hasRelatedWork W2136367100 @default.
- W2705702900 hasRelatedWork W2140198764 @default.
- W2705702900 hasRelatedWork W2145154541 @default.
- W2705702900 hasRelatedWork W2157438678 @default.
- W2705702900 hasRelatedWork W2163579179 @default.
- W2705702900 hasRelatedWork W2171441445 @default.
- W2705702900 hasRelatedWork W2174970731 @default.
- W2705702900 hasRelatedWork W2578170406 @default.
- W2705702900 hasRelatedWork W3192697409 @default.
- W2705702900 isParatext "false" @default.
- W2705702900 isRetracted "false" @default.
- W2705702900 magId "2705702900" @default.
- W2705702900 workType "book-chapter" @default.