Matches in SemOpenAlex for { <https://semopenalex.org/work/W575651505> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W575651505 abstract "Cet travail presente une solution au probleme du decor inferenciel. Nous realisons cela en donnant une education polynomiale d'un fragment du calcul des situations vers la logique epistemique dynamique (DEL). En suite, une nouvelle methode de preuve pour DEL, dont la complexite algorithmique est inferieure a celle de la methode de Reiter pour le calcul de situations, est proposee. Ce travail presente aussi une nouvelle logique pour raisonner sur les actions. Cette logique permet d'exprimer formellement qu'il existe une suite d'action conduisant au but. L'idee etant que, avec la quantification sur les actions, la planification devient un probleme de validite. Une axiomatisation et quelques resultats d'expressivite sont donnes, ainsi qu'une methode de preuve basee sur les tableaux semantiques." @default.
- W575651505 created "2016-06-24" @default.
- W575651505 creator A5070512275 @default.
- W575651505 date "2007-01-01" @default.
- W575651505 modified "2023-09-27" @default.
- W575651505 title "Optimal methods for reasoning about actions and plans in multi-agent systems" @default.
- W575651505 cites W12345318 @default.
- W575651505 cites W1483339275 @default.
- W575651505 cites W1496894800 @default.
- W575651505 cites W1497596523 @default.
- W575651505 cites W1497616999 @default.
- W575651505 cites W1502646816 @default.
- W575651505 cites W1527743161 @default.
- W575651505 cites W1530131999 @default.
- W575651505 cites W1533142698 @default.
- W575651505 cites W1536217426 @default.
- W575651505 cites W1545815294 @default.
- W575651505 cites W1549321680 @default.
- W575651505 cites W1562472473 @default.
- W575651505 cites W1570374618 @default.
- W575651505 cites W1575334337 @default.
- W575651505 cites W1599735882 @default.
- W575651505 cites W1603551967 @default.
- W575651505 cites W1667362966 @default.
- W575651505 cites W1693457958 @default.
- W575651505 cites W1697494518 @default.
- W575651505 cites W1977208552 @default.
- W575651505 cites W1993512664 @default.
- W575651505 cites W2013766526 @default.
- W575651505 cites W2025460523 @default.
- W575651505 cites W2034679184 @default.
- W575651505 cites W2038809129 @default.
- W575651505 cites W2045474169 @default.
- W575651505 cites W2061146398 @default.
- W575651505 cites W2061504687 @default.
- W575651505 cites W2068829386 @default.
- W575651505 cites W2070368455 @default.
- W575651505 cites W2076073997 @default.
- W575651505 cites W2088979754 @default.
- W575651505 cites W2096959337 @default.
- W575651505 cites W2097025526 @default.
- W575651505 cites W2100973247 @default.
- W575651505 cites W2120613606 @default.
- W575651505 cites W2138162238 @default.
- W575651505 cites W2142947219 @default.
- W575651505 cites W2146819619 @default.
- W575651505 cites W2150780510 @default.
- W575651505 cites W2163230101 @default.
- W575651505 cites W2164322797 @default.
- W575651505 cites W2168359464 @default.
- W575651505 cites W2172984480 @default.
- W575651505 cites W2337392266 @default.
- W575651505 cites W2339651901 @default.
- W575651505 cites W2484384945 @default.
- W575651505 cites W35931405 @default.
- W575651505 cites W4789806 @default.
- W575651505 cites W5642659 @default.
- W575651505 cites W81942528 @default.
- W575651505 hasPublicationYear "2007" @default.
- W575651505 type Work @default.
- W575651505 sameAs 575651505 @default.
- W575651505 citedByCount "3" @default.
- W575651505 countsByYear W5756515052013 @default.
- W575651505 countsByYear W5756515052015 @default.
- W575651505 crossrefType "dissertation" @default.
- W575651505 hasAuthorship W575651505A5070512275 @default.
- W575651505 hasConcept C138885662 @default.
- W575651505 hasConcept C15708023 @default.
- W575651505 hasConceptScore W575651505C138885662 @default.
- W575651505 hasConceptScore W575651505C15708023 @default.
- W575651505 hasLocation W5756515051 @default.
- W575651505 hasOpenAccess W575651505 @default.
- W575651505 hasPrimaryLocation W5756515051 @default.
- W575651505 isParatext "false" @default.
- W575651505 isRetracted "false" @default.
- W575651505 magId "575651505" @default.
- W575651505 workType "dissertation" @default.