A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Populational Announcement Logic (PPAL)
2020
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy-inspired semantics, where instead of specific agents we have populations and groups. ...
We conclude that the main advantage of PPAL over PAL is the flexibility to work with previously defined agents. ...
Populational Announcement Logic (PPAL) In this section we will introduce the Populational Announcement Logic (PPAL). ...
doi:10.1016/j.entcs.2020.02.007
fatcat:bw7klhzhuveknktfb5fngsr7fi
Populational Announcement Logic (PPAL)
2017
International Conference on Logic Programming and Non-Monotonic Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy semantics, where instead of specific agents we have populations and groups. ...
The semantics and the announcement logic are defined, and an example is provided. We briefly talk about decidability and model checking. ...
We
Populational Announcement Logic (PPAL) Now we introduce PPAL, where we have populations and groups instead of agents. ...
dblp:conf/lpnmr/MachadoB17
fatcat:ezeagyr6wjd6vm64qcoohmodgq
The Atlas of Digitised Newspapers and Metadata: Reports from Oceanic Exchanges
[article]
2020
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Second, they should provide state, or multi-county, coverage of the majority of the state or territory's population. ...
Structure" @
TYPE="LOGICAL"]\mets:div\@LABEL
STR
Hamburger Nachrichten no.
613 31.12.1932
F1ME
mets@LABEL
STR
Suomi no. 1 1841
F1ME
mets\structMap[@LABEL="Logical Structure" @TYPE="LOGI- ...
doi:10.6084/m9.figshare.11560059.v2
fatcat:ccubysksqjbkjlhneszp37bz2m
The Atlas of Digitised Newspapers and Metadata: Reports from Oceanic Exchanges
[article]
2020
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
MCH Monografía HNME::METS:mets\METS:dmdSec\METS:mdWrap\METS:xmlData\DC:category MCH Monografias PPME::mets@TYPE MCH Newspaper PPME::mets\structMap[@LABEL="Logical Structure" @TYPE="LOGICAL"]\div@TYPE MCH ...
Second, they should provide state, or multi-county, coverage of the majority of the state or territory's population. ...
::alto\Layout\Page\TopMargin@ID UID P1_TM00001 PPAL::alto\Layout\Page\LeftMargin@ID UID P1_LM00001 PPAL::alto\Layout\Page\RightMargin@ID UID P1_RM00001 PPAL::alto\Layout\Page\BottomMargin@ID UID P1_BM00001 ...
doi:10.6084/m9.figshare.11560059.v1
fatcat:rxuygynnrffp5obwdcks7tflxa
The new emerging forces in Indonesian foreign policy
[article]
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
See Appendix A, ppAL-
A 2 below.
For an annotated version of the Preamble,
see Indon. ...
See Sukarno's third law of revolution in Sukarno, 'logic of revolution'^. ...
doi:10.25911/5d763437dbd19
fatcat:qs2szyyirjhptolwjzivzxx7wu